 |
|
Related Communities:
|
 |
|
 |
Formal modeling of process specifications for compositional development of workflows.
| Author(s): | Zemtsov N.A., Stupnikov S.A. |
| Created: | 2004/01/01 |
| Published: | The Systems and Means of Informatics, Issue 14. -- M.: Nauka, 2004. -- P. 186-198. (In Russian) |
| Abstract: | |
| 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 ]
|
|
|
