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.
[ PostScript ]