Semantics of control-flow in UML 2.0 activities

Proceedings - 2004 IEEE Symposium on Visual Languages and Human Centric Computing

Volumn , Issue , 2004, Pages 235-242

  Störrle, Harald ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

Activity Diagrams; Denotational and compositional semantics; Modeling of web services; Service oriented architectures; UML 2.0; Work flows

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; INFORMATION SERVICES; PETRI NETS; REENGINEERING; SEMANTICS; SYNTACTICS; WORLD WIDE WEB;

ACTIVITY DIAGRAMS; DENOTATIONAL AND COMPOSITIONAL SEMANTICS; MODELING OF WEB-SERVICES; SERVICE-ORIENTED ARCHITECTURES; UML 2.0; WORK FLOWS;

SOFTWARE ENGINEERING;

EID: 16244408332     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (31)

1. T. Allweyer and P. Loos. Process Orientation in UML through Integration of Event-Driven Process Chains. In P.A. Muller and J. Bézivin, editors, International Workshop «UML»'98: Beyond the Notation, pages 183-193. Ecole Supérieure des Sciences Appliquées pour l'Ingénieur - Mulhouse, Université de Haute-Alsace, 1998.
2. L. Apvrille, P. de Saqui-Sannes, C. Lohr, P. Sénac, and J.-P. Courtiat. A New UML Profile for Real-Time System Formal Dessigne and Validation. In Gogolla and Kobryn [19], pages 287-301.
3. J. P. Barros and L. Gomes. Actions as Activities as Petri nets. In Weber et al. [31], pages 129-135.
4. B. Baumgarten. Petri-Netze. Grundlagen und Anwendungen. Spektrum Akademischer Verlag, Heidelberg, 1996. 2. Aufl.
5. C. Bolton and J. Davies. Activity graphs and processes. In W. Griesskamp, T. Santen, and W. Stoddart, editors, Proc. Intl. Conf. Integrated Formal Methods (IFM'00). Springer Verlag, 2000. LNCS.
6. C. Bolton and J. Davies. On giving a behavioural semantics to activity graphs. In Reggio et al. [27], pages 17-22.
7. th Intl. Conf. Algebraic Methodology and Software Technology (AMAST 2000), pages 293-308. Springer Verlag, May 2000. LNCS 1816.
8. R. J. A. Buhr. Use Case Maps as Architectural Entities for Complex Systems. IEEE Transactions on Software Engineering, 24(12):1131-1155, December 1998.
9. M. Dumas and A. H. ter Hofstede. UML Activity Diagrams as a Workflow Specification Language. In Gogolla and Kobryn [19], pages 76-90.
10. H. Eshuis. Semantics and Verification of UML Activity Diagrams for Workflow Modelling. PhD thesis, CTIT, U. Twente, 2002. Author's first name sometimes appears as "Rik".
11. R. Eshuis and R. Wieringa. A formal semantics for UML Activity Diagrams - Formalising workflow models. Technical Report CTIT-01-04, U. Twente, Dept. of Computer Science, 2001.
12. th Intl. Conf. Fundamental approaches to software engineering (FASE'01), number 2029 in LNCS, pages 76-90. Springer Verlag, 2001. Also available as wwwhome.cs.utwente.n1/ ~tcm/fase.pdf.
13. R. Eshuis and R. Wieringa. An Execution Algorithm for UML Activity Graphs. In Gogolla and Kobryn [19], pages 47-61.
14. th Intl. Conf. on Software Engineering (ICSE'02), pages 166-176. IEEE, 2002.
15. R. Eshuis and R. Wieringa. Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets. In Weber et al. [31], pages 321-351.
16. R. Fehling. Hierarchische Petrinetze. Beiträge zur Theorie und formale Basis für zugehörige Werkzeuge. Verlag Dr. Kovač, Hamburg, 1992.
17. T. Gehrke, U. Goltz, and H. Wehrheim. The Dynamic Models of UML: Towards a Semantics and its Application in the Development Process. Technical Report 11/98, Institut für Informatik, Universität Hildesheim, 1998.
18. H. Genrich and K. Lautenbach. Predicate/Transition Nets. Springer Verlag, 1991.
19. th Intl. Conf. on the Unified Modeling Language («UML» 2001), number 2185 in LNCS. Springer Verlag, 2001.
20. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol. I. EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1992.
21. A. Kiehn. A Structuring Mechanism for Petri Nets. Dissertation, TU München, 1989. appeared as Technical Report TUM-I8902 of the TU München in March, 1989.
22. X. Li, M. Cui, Y. Pei, Z. Jianhua, and Z. Guoliang. Timing Analysis of UML Activity Diagrams. In Gogolla and Kokyn [19], pages 62-75.
23. 30.
24. J. L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice Hall Inc., Englewood Cliffs NJ, 1981.
25. rd Intl. Conf. «UML» 2000 - Advancing the Standard, number 1939 in LNCS, pages 369-382. Springer Verlag, October 2000.
26. P. Pinheiro da Silva. A proposal for a LOTOS-based semantics for UML. Technical Report UMCS-01-06-1, Dept. of Computer Science, U. Manchester, 2001.
27. G. Reggio, A. Knapp, B. Rumpe, B. Selic, and R. Wieringa, editors. Dynamic Behavior in UML Models: Semantic Questions. Workshop Proceedings, October 2000.
28. W. Reisig. Petri-Nets: an Introduction. Springer Verlag, 1985.
29. R. W. Rodrigues. Formalising UML Activity Diagrams using Finite State Processes. In Reggio et al. [27], pages 92-98.
30. I. Suzuki and T. Murata. A method for stepwise refinement and abstraction of petri nets. Journal of Computer and Systems Science, 27:51-76, 1983.
31. M. Weber, H. Ehrig, and W. Reisig, editors. Petri Net Technology/or Communication-Based Systems. DFG Research Group "Petri Net Technology", 2003.