Abstract
The procedure of process models executing in workflow engine is described using operational semantic. The formalized description of process instances and activity instances lead directly to the realization of workflow engine. Therefore, it provides a unified processing procedure for the realization of the workflow engine software, which makes it convenient for the cooperation among heterogeneous workflow engines.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
REFERENCES
Fan Yu-shun (2001), Foundation of Workflow Management and Technology. Tsinghua University Press, Beijing, China.
Zhao Wen and Hu Wen-hui (2003), Study and application of a workflow meta-model. Journal of Software, 14, 6, pp. 8–14.
SUN Rui-Zhi and ShiMei-Lin (2003), A process meta-supporting dynamic change of workflow. Journal of Software, 14, 1, pp. 62–7.
WFMC (1994), WorkFlow Management Coalition, Workflow Reference Model. WFMC-TC00-1003 Brussels, Belgium.
Jin Cheng-zhi (1997), Theory and Technology of Program. Jilin University Press, Changchun, China.
Wil M.P. van der Aalst (2003), Patterns and XPDL : A Critical Evaluation of the XML Process Definition Language [DB/OL]. http://tmitwww.tm.tue.nl/research/patterns/ download/ce-xpdl.pdf.
G. Winskel (1993), The Formal Semantics of Programming Languages: An Introduction. Massachusetts Institute of Technology.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer
About this paper
Cite this paper
Yan-ning, F., Lei, L., Bo, L. (2006). OPERATIONAL SEMANTIC TO THE EXECUTION OF THE PROCESS MODEL. In: LIU, G., TAN, V., HAN, X. (eds) Computational Methods. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-3953-9_24
Download citation
DOI: https://doi.org/10.1007/978-1-4020-3953-9_24
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-3952-2
Online ISBN: 978-1-4020-3953-9
eBook Packages: EngineeringEngineering (R0)