An execution algorithm for UML activity graphs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2185, Issue , 2001, Pages 47-61

  Eshuis, Rik ^a   Wieringa, Roel ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL LINGUISTICS; GRAPHIC METHODS; MODEL CHECKING; MODELING LANGUAGES; SEMANTICS;

REAL TIME; REAL TIME EXECUTION; UML ACTIVITIES; UML STATE MACHINE; WORK-FLOW SYSTEMS; WORKFLOW MODELLING;

UNIFIED MODELING LANGUAGE;

EID: 84948984448     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-45441-1_5     Document Type: Article

References (15)

1. W.M.P. van der Aalst. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1):21-66, 1998
2. W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros. Advanced workflow patterns. In O. Etzion and P. Scheuermann, editors, Proc. CoopIS 2000, LNCS 1901. Springer, 2000
3. C. Bolton and J. Davies. Activity graphs and processes. In W. Grieskamp, T. Santen, and B. Stoddart, editors, Proc. IFM2000, LNCS 1945. Springer, 2000
4. E. Börger, A. Cavarra, and E. Riccobene. An ASM Semantics for UML Activity Diagrams. In T. Rus, editor, Proc. AMAST 2000, LNCS 1826. Springer, 2000
5. H.-E. Eriksson and M. Penker. Business Modeling With UML: Business Patterns at Work. Wiley Computer Publishing, 2000
6. R. Eshuis and R. Wieringa. A formal semantics for UML activity diagrams. Technical Report TR-CTIT-01-04, University of Twente, 2001
7. R. Eshuis and R. Wieringa. A real-time execution semantics for UML activity diagrams. In H. Hussmann, editor, Proc. FASE 2001, LNCS 2029. Springer, 2001
8. P. Grefen and R. Remmerts de Vries. A reference architecture for workflow management systems. Journal of Data and Knowledge Engineering, 27(1):31-57, 1998
9. D. Harel and A. Naamad. The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293-333, 1996
10. I-Logix. Rhapsody. http://www.ilogix.com
11. F. Leymann and D. Roller. Production Workflow: Concepts and Techniques. Prentice Hall, 2000
12. J. Lilius and I. Porres Paltor. Formalising UML state machines for model checking. In R. France and B. Rumpe, editors, Proc. UML’99, LNCS 1723. Springer, 1999
13. B. Paech. On the role of activity diagrams in UML. In Jean Bézivin and Pierre-Alain Muller, editors, Proc. UML’98, LNCS 1618. Springer, 1999
14. UML Revision Taskforce. OMG UML Specification v. 1.3. Object Management Group, 1999
15. Workflow Management Coalition. The workflow reference model (WFMC-TC-1003), 1995. http://www.wfmc.org.