Supporting dynamic process specifications using communication based processes

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.

[1]  Sozo Inoue,et al.  Adapting transactions to exceptional situations using structured messages , 1999, Proceedings 1999 International Symposium on Database Applications in Non-Traditional Environments (DANTE'99) (Cat. No.PR00496).

[2]  M. Lynn.  Hawaii International Conference on System Sciences , 1996 .

[3]  Andrzej Cichocki,et al.  Managing escalation of collaboration processes in crisis mitigation situations , 2000, Proceedings of 16th International Conference on Data Engineering (Cat. No.00CB37073).

[4]  Simon M. Kaplan,et al.  Flexible, active support for collaborative work with ConversationBuilder , 1992, CSCW '92.

[5]  Mark Klein.  iDCSS: Integrating Workflow, Conflict and Rationale-Based Concurrent Engineering Coordination Technologies , 1995 .

[6]  Sozo Inoue,et al.  Structured Message Management for Group Interaction , 1998, ER Workshops.

[7]  Brad Hartfield,et al.  Computer systems and the design of organizational interaction , 1988, TOIS.

[8]  Marc I. Kellner,et al.  Software Process Modeling Example , 1989, [1989] Proceedings of the 5th International Software Process Workshop.

[9]  Simon M. Kaplan,et al.  Supporting dynamic interdependencies among collaborative activities , 1993, COCS '93.

[10]  Otthein Herzog,et al.  Managing evolving workflow specifications , 1998, Proceedings. 3rd IFCIS International Conference on Cooperative Information Systems (Cat. No.98EX122).

[11]  Gustavo Alonso,et al.  Flexible exception handling in the OPERA process support system , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[12]  Dickson K. W. Chiu,et al.  E-Adome: A framework for enacting e-services , 2000, TES.

[13]  John Mylopoulos,et al.  Representing and Using Nonfunctional Requirements: A Process-Oriented Approach , 1992, IEEE Trans. Software Eng..

[14]  Leon J. Osterweil,et al.  Software Process Modeling Example Problem , 1990, 'Support for the Software Process'.,Proceedings of the 6th International Software Process Workshop.

[15]  Terminology and Glossary , 2000 .

[16]  Manfred Reichert,et al.  Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.

[17]  Simon M. Kaplan,et al.  Supporting collaborative process with conversation builder , 1991, COCS '91.

[18]  MylopoulosJ.,et al.  Representing and Using Nonfunctional Requirements , 1992 .

[19]  Calton Pu,et al.  Methodical restructuring of complex workflow activities , 1998, Proceedings 14th International Conference on Data Engineering.

[20]  Fabio Casati,et al.  Specification and implementation of exceptions in workflow management systems , 1999, TODS.

[21]  Michael L. Begeman,et al.  gIBIS: a hypertext tool for exploratory policy discussion , 1988, CSCW '88.