Related Communities:

Formal modeling of process specifications

Formal modeling of process specifications for compositional development of workflows.

Author(s): Zemtsov N.A., Stupnikov S.A.
Published:The Systems and Means of Informatics, Issue 14. -- M.: Nauka, 2004. -- P. 186-198. (In Russian)
In this paper a method of formal modeling of SYNTHESIS language process specifications using Abstract Machine Notation (AMN) is considered. The method is used for the formal justification of correctness of workflow compositional development.
Download: [ Adobe PDF ]

Supported by Synthesis Group