@inproceedings{5e1de25d1ce24b3b9a4cf8d26e23041b,
title = "Supporting dynamic process specifications using communication based processes",
abstract = "In this paper, we introduce the M-Trans system, which is able to record the specification of the design process for the communicative process, which is designed in a discussion and is specified incompletely, to create the communicative process according to the specification, and to support dynamic process specifications utilizing the record of executed communicative process. The system is based on the model that provides integrated specification of a process and communication. The execution of the communicative process may be performed in parallel with the design process, and the design process and the implementation may have interactions for coordination. Moreover, we present a method for verifying consistency between the communicative process and its specification. Managing the communicative process is important since it realizes adaptation to unexpected situations, including exception handling and dynamic re-composition of a process in WFMS.",
keywords = "Collaborative work, Control systems, Disk recording, Electronic mail, Environmental management, Humans, Informatics, Information science, Process design, Workflow management software",
author = "S. Inoue and M. Iwaihara",
note = "Publisher Copyright: {\textcopyright} 2002 IEEE.; 35th Annual Hawaii International Conference on System Sciences, HICSS 2002 ; Conference date: 07-01-2002 Through 10-01-2002",
year = "2002",
doi = "10.1109/HICSS.2002.994507",
language = "English",
series = "Proceedings of the Annual Hawaii International Conference on System Sciences",
publisher = "IEEE Computer Society",
pages = "10",
editor = "Sprague, {Ralph H.}",
booktitle = "Proceedings of the 35th Annual Hawaii International Conference on System Sciences, HICSS 2002",
}