Related Communities:

Process canonical model

Process canonical model and its formal interpretation.

Author(s): Kalinichenko L.A., Stupnikov S.A., Zemtsov N.A.
Published:Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 130--151. (In Russian)
This paper is devoted to the synthesis of canonical process model. Basic principles of the canonical model synthesis include fixing of its kernel, constructing the kernel extensions for each specific information model of the environment so that this extension together with the kernel could be refined by this information model, and forming the canonical model as a union of all such extensions. Previously these principles have been successfully applied to the synthesis of structural and object canonical models. This paper extends this technique to synthesis of the process canonical model. The method synthesis of the process canonical model proposed is based on interpretation of process model semantics in first order predicate logics, that made possible to construct provable refinements of process specifications. This method has been applied to the environment of process models defined by workflow patterns classified by W.M.P. van der Aalst. Thus the canonical process model synthesized possesses a property of completeness with respect to broad class of process models used in various Workflow Management Systems as well as the languages used for process composition of Web services. The paper presents the essence of the approach to the synthesis of extensible canonical process model and shows the technique for construction of refining extensions of the canonical process model kernel exploiting one of the workflow patterns as an example.
Download: [ PostScript ]

Supported by Synthesis Group