Modeling the dynamics of UML State Machines

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

Volumn 1912 LNCS, Issue , 2000, Pages 223-241

  Börger, Egon ^a,b   Cavarra, Alessandra ^c   Riccobene, Elvinia ^c  

^a UNIVERSITY OF PISA   (Italy)

^b MICROSOFT RESEARCH   (United States)

^c UNIVERSITY OF CATANIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; COMPUTATION THEORY; CONCURRENCY CONTROL; DATA FLOW ANALYSIS;

CONCURRENT EXECUTION; DYNAMIC SEMANTIC; INTERNAL ACTIVITY; OBJECT INTERACTIONS; OBJECT MODEL; SEQUENTIAL EXECUTION; UML ACTIVITY DIAGRAMS; UML STATE MACHINE; EVENT-DRIVEN;

DATA FLOW ANALYSIS; C (PROGRAMMING LANGUAGE);

EID: 84889588664     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44518-8_13     Document Type: Conference Paper

References (21)

1. Abstract State Machines. http://www.eecs.umich.edu/gasm/.
2. Rational Software Corporation, Unified Modeling Language UML, version 1.3, 1999.
3. UML 1.3 Notation, 1999. (Published as part of [2]).
4. UML 1.3 Semantics, 1999. (Published as part of [2]).
5. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison Wesley, 1999.
6. E. Börger. High Level System Design and Analysis using Abstract State Machines. In D. Hutter and W. Stephan and P. Traverso and M. Ullmann, editor, Current Trends in Applied Formal Methods (FM-Trends 98), number 1641 in LNCS, pages 1-43. Springer-Verlag, 1999.
7. E. Börger, A. Cavarra, and E. Riccobene. An ASM Semantics for UML Activity Diagrams. In T. Rus, editor, AMAST2000, volume 1816 of LNCS, pages 293-308. Springer Verlag, May 2000.
8. E. Börger and J. Schmid. Composition and Submachine Concepts for Sequential ASMs. In Gurevich Festschrift CSL 2000, 2000. (To appear).
9. A. S. Evans, J-M. Bruel, K. Lano R. France, and B. Rumpe. Making UML Precise. In In OOPSLA '98 Workshop on Formalizing UML. Why and How?, October 1998.
10. R. B. France, A. S. Evans, K. C. Lano, and B. Rumpe. Developing the UML as a formal modeling notation. Computer Standards and Interfaces: Special Issues on Formal Development Techniques, Accepted for publication, 1998.
11. Martin Gogolla and Francesco Parisi-Presicce. State diagrams in UML: A formal semantics using graph transformations. In Manfred Broy, Derek Coleman, Tom S. E. Maibaum, and Bernhard Rumpe, editors, Proceedings PSMT 98 Workshop on Precise Semantics for Modeling Techniques. Technische Universitöat Muönchen, TUM-I9803, 1998.
12. Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Borger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, 1995.
13. Y. Gurevich. Sequential Abstract State Machines capture Sequential Algorithms. ACM Transactions on Computational Logic, 1, 2000. (To appear).
14. D. Harel and E. Gery. Executable Object Modeling with Statecharts. Computer, IEEE Computer Society, 30(7):31-42, 1997.
15. D. Harel and A. Naamad. The STATEMATE Semantics of Statecharts. ACM Trans. Soft. Eng. method, 5(4):293-333, 1996.
16. D. Harel and M. Politi. Modeling Reactive Systems with Statecharts. McGraw-Hill, 1998.
17. Ivan Paltor and Johan Lilius. Formalising UML state machines for model checking. In Robert France and Bernhard Rumpe, editors, UML '99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28-30. 1999, Proceedings, volume 1723 of LNCS. Springer, 1999
18. The precise UML group. http://www.cs.york.ac.uk/puml/.
19. G. Reggio, E. Astesiano, C. Choppy, and H. Hussmann. Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. In FASE 2000 - Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, 2000. (To appear).
20. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison Wesley, 1999.
21. M. von der Beek. A Comparison of Statechart Variants. In Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 526. Lecture Notes in Computer Science, 1994.