An ASM semantics of token flow in UML 2 activity diagrams

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

Volumn 4378 LNCS, Issue , 2007, Pages 349-362

  Sarstedt, Stefan ^a   Guttmann, Walter ^a  

^a UNIVERSITY OF ULM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; BOUNDARY CONDITIONS; COMPUTER SIMULATION; MARKUP LANGUAGES; PROBLEM SOLVING;

INTEGRATED ENVIRONMENT; UML;

SEMANTICS;

EID: 38049134593     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70881-0_30     Document Type: Conference Paper

References (18)

1. Object Management Group: UML 2.0 Superstructure Specification. (2005)
2. Börger, E., Stärk, R.: Abstract State Machines. Springer-Verlag (2003)
3. Sarstedt, S.: Semantic Foundation and Tool Support for Model-Driven Development with UML 2 Activity Diagrams. PhD thesis, Universität Ulm (2006)
4. Gurevich, Y., Tillmann, N.: Partial updates: Exploration. Journal of Universal Computer Science 7(11) (2001) 917-951
5. Bock, C.: UML 2 activity and action models part 4: Object nodes. Journal of Object Technology 3(1) (2004) 27-41
6. Hausmann, J.: Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages. PhD thesis, Universität Paderborn (2005)
7. Sarstedt, S.: Overcoming the limitations of signal handling when simulating UML 2 activity charts. In Feliz-Teixeira, J., Carvalho Brito, A., eds.: Proceedings of the 2005 European Simulation and Modelling Conference (ESM'05). (2005) 61-65
8. Börger, E., Cavarra, A., Riccobene, E.: An ASM semantics for UML activity diagrams. In Rus, T., ed.: Algebraic Methodology and Software Technology. Volume 1816 of Lecture Notes in Computer Science, Springer-Verlag (2000) 293-308
9. Störrle, H.: Semantics of control-flow in UML 2.0 activities. In: Symposium On Visual Language And Human Centric Computing. IEEE (2004) 235-242
10. Störrle, H.: Semantics and verification of data flow in UML 2.0 activities. In Minas, M., ed.: Workshop on Visual Languages and Formal Methods. Volume 127, Issue 4 of Electronic Notes in Theoretical Computer Science, Elsevier (2005) 35-52
11. Störrle, H., Hausmann, J.: Towards a formal semantics of UML 2.0 activities. In Liggesmeyer, P., Pohl, K., Goedicke, M., eds.: Software Engineering 2005. Volume P-64 of Lecture Notes in Informatics, Gesellschaft für Informatik (2005) 117-128
12. Barros, J., Gomes, L.: Actions as activities and activities as Petri nets. In Jürjens, J., Rumpe, B., France, R., Fernandez, E., eds.: Critical Systems Development with UML: Proceedings of the UML'03 workshop. TUM-I0317 (2003) 129-135
13. Vitolins, V., Kalnins, A.: Semantics of UML 2.0 activity diagram for business modeling by means of virtual machine. In: Ninth International EDOC Enterprise Computing Conference. IEEE (2005) 181-192
14. UML 2.0 Semantics Project: Web page (2006) http://www.cs.queensu.ca/~stl/ internal/uml2/
15. Modelware Project, WP1 Modelling Techniques: D1.3 Model Simulation Scheme: Definition (2005) available from http://www.modelware-ist.org/
16. Winter, K.: Model Checking Abstract State Machines. PhD thesis, Technische Universität Berlin (2001)
17. Gargantini, A., Riccobene, E.: Encoding abstract state machines in PVS. In Gurevich, Y., Kutter, P., Odersky, M., Thiele, L., eds.: Abstract State Machines: Theory and Applications. Volume 1912 of Lecture Notes in Computer Science, Springer-Verlag (2000) 303-322
18. Sarstedt, S., Gessenharter, D., Kohlmeyer, J., Raschke, A., Schneiderhan, M.: ActiveChartsIDE: An integrated software development environment comprising a component for simulating UML 2 activity charts. In Feliz-Teixeira, J., Carvalho Brito, A., eds.: Proceedings of the 2005 European Simulation and Modelling Conference (ESM'05). (2005) 66-73