Activity-driven synthesis of state machines

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

Volumn 4422 LNCS, Issue , 2007, Pages 87-101

  Hennicker, Rolf ^a   Knapp, Alexander ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS;

MODEL TRANSFORMATION; STATE MACHINES; UML 2.0 META-MODEL;

SYSTEMS ANALYSIS;

EID: 37149005030     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71289-3_8     Document Type: Conference Paper

References (12)

1. Fowler, M.: UML Distilled: Applying the Standard Object Modeling Language. AddisonWesley, Boston-&c. (1997)
2. nd Int. Conf. Software Engineering (ICSE'OO), IEEE Press (2000) 314-323
3. Krüger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. In Rammig, F.J., ed.: Distributed and Parallel Embedded Systems, Kluwer Academic, Boston-Dordrecht (1999) 61-71
4. nd Int. Wsh. Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'03), Portland, Oregon (2003)
5. Uchitel, S., Kramer, J., Magee, J.: Synthesis of Behavioral Models from Scenarios. IEEE Trans. Softw. Eng. 29 (2003) 99-115
6. nd Int. Wsh. Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06), Shanghai (2006) 5-12
7. Mellor, S.J., Balcer, M.J.: Executable UML -A Foundation for Model-Driven Architecture. Addison-Wesley, Boston-&c. (2002)
8. nd edn. Pearson Education, Upper Saddle River, N. J. (2005)
9. Object Management Group: Unified Modeling Language: Superstructure, version 2.0. (2005) http://www.omg.org/cgi-bin/doc?formal/05-07-04(06/12/28).
10. Gamma, E., Helm, R., Johnson, R.E., Vlissides, J.: Design Patterns. Addison-Wesley, Boston-&c. (1995)
11. nd IEEE Int. Conf. Software Engineering (ICSE'01), IEEE Computer Society (2001) 15-24
12. nd Int. Conf. Fundamental Approaches to Software Engineering (FASE'03). Volume 2621 of Lect. Notes Comp. Sei., Springer, Berlin (2003) 135-149