Modeling workflow process models with statechart

Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003

Volumn , Issue , 2003, Pages 55-61

  Yang, Dong ^a   Zhang, Shensheng ^a  

^a SHANGHAI JIAO TONG UNIVERSITY   (China)

Author keywords

Automata; Automatic control; Business communication; Concurrent computing; Contracts; Logic; Office automation; Software systems; Technology management; Workflow management software

Indexed keywords

AUTOMATION; COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; CONCURRENCY CONTROL; CONTRACTS; CONTROL; LOGIC CIRCUITS; OFFICE AUTOMATION; SEMANTICS; VISUAL LANGUAGES; WORK SIMPLIFICATION;

AUTOMATA; BUSINESS COMMUNICATIONS; CONCURRENT COMPUTING; LOGIC; SOFTWARE SYSTEMS; TECHNOLOGY MANAGEMENTS; WORKFLOW MANAGEMENTS;

MODELING LANGUAGES;

EID: 46249095024     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2003.1194783     Document Type: Conference Paper

References (12)

1. Lawrence,ditor. Workflow Handbook 1997, Workflow Management Coalition. John Wiley and Sons, New York, 1997.
2. Alonso, G., Mohan, C. Workflow Management: The Next Generation of Distributed Processing Tools, Chapter 2 in Advanced Transaction Models and Architectures, S. Jajodia, L. Kerschberg (Eds.), Kluwer Academic Publishers, 1997
3. F. Casati, P. Grefen, G. Sanchez., WIDE - A Distributed Architecture for workflow Management. Proceedings 7th International Workshop on Research Issues in Data Engineering (Birmingham,England, April 1997).
4. G. Kappel, S. Rausch-Schott, W. Retschitzegger, "Coordination in Workflow Management Systems - A Rule-based Approach", Springer LNCS 1364, 1998
5. Andreas Geppert, Markus Kradolfer, Dimitris Tombros: Realization of Cooperative Agents using an Active Object-Oriented Database System. Rules in Database Systems 1995: 327-341
6. Krishnakumar and Sheth, 1995,N. Krishnakumar, A Sheth. Managing Heterogeneous Multi-System Tasks to Support Enterprise-Wide Operations. Distributed and Parallel Databases, 3(2), pp. 155-186, 1995.
7. Curtis B., Kellner M.I., Over J. Process Modeling. Communications of ACM, 35, 9, 75-90, 1992.
8. David Harel. Statecharts: A Visual Formalism for Complex System. Science of Computer Programming, 8(3):231-274, 1987. 32, 33, 152.
9. D. Harel and A. Naamad, "The Statemate Semantics of Statecharts," ACM Transactions on Software Engineering and Methodology, vol. 5, pp. 293-333, 1996
10. Dimitrios Georgakopoulos, Mark F. Hornick, Amit P. Sheth: An Overview of Workflow Management: From Process Modeling to Workflow Automation. Distributed and Parallel Databases, 3(2): 119-153 (1995).
11. Harel, D., H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, M. Trakhtenbrot, "STATEMATE: A Working Environment for the Development of Complex Reactive Systems," IEEE Transactions on Software Engineering, Vol. 16, No. 4, April 1990.
12. David Harel, Amir Pnueli, J. P. Schmidt, and Rivi Sherman. On the Formal Semantic of Statecharts. In Proc. of IEEE Symposium on Logic in Computer Science (LICS 1987), pages 54-64, 1987. 32, 33.