Program code generation based on UML statechart models

Periodica Polytechnica Electrical Engineering

Volumn 47, Issue 3-4, 2003, Pages 187-204

  Pintér, Gergely ^a   Majzik, István ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Code generation; Statechart; UML

Indexed keywords

CODES (SYMBOLS); COMPUTER ARCHITECTURE; EMBEDDED SYSTEMS; FORMAL LOGIC; MICROCONTROLLERS; MICROPROCESSOR CHIPS; SEMANTICS;

CODE GENERATION; OPERATIONAL SEMANTICS; STATE CHARTS; UNIFIED MODELING LANGUAGE (UML);

COMPUTER PROGRAMMING LANGUAGES;

EID: 3042732129     PISSN: 03246000     EISSN: 15873781     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (14)

1. GAMMA, E. - HELM, R. - JOHNSON, R. - VLISSIDES, J., Design Patterns Elements of Reusable Object-Oriented Software, Addison Wesley, 1994.
2. I-Logix, Rhapsody, http://ilogix.com.
3. Bell Labs, SPIN, http://spinroot.com.
4. LATELLA, D. - MAJZIK, I. - MASSINK, M., Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker, Formal Aspects of Computing, Springer, 11 (1999), pp. 637-664.
5. LATELLA, D. - MAJZIK, I. - MASSINK, M., Towards a Formal Operational Semantics of UML Statechart Diagrams, Proc. FMOODS'99, the Third IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, February, 1999, Firenze, Italy, pp. 331-347.
6. th European Workshop on Dependable Computing, 1999.
7. SAMEK, M., Practical Statecharts in C/C++, CMP Books, 2002.
8. SAMEK, M. - MONTGOMERY, P. Y., State Oriented Programming, Embedded Systems Programming, 2000.
9. OMG, Object Constraint Language Specification, 2001.
10. OMG, Unified Modeling Language (UML) Version 1.4, 2001.
11. PINTÉR, G. - MAJZIK, I., Automatic Code Generation based on Formally Analyzed UML Statechart Models, In: Formal Methods for Railway Operation and Control Systems, Budapest, Hungary, May 15-16, 2003.
12. PINTÉR, G. - MAJZIK, I., Automatic Implementation of Extended Hierarchical Automata, Budapest University of Technology and Economics, July, 2003, http://www.inf.mit.bme.hu/∧pinterg/publications.html.
13. FLAKE, S. - MUELLER, W., An OCL Extension for Real-Time Constraints, Lecture Notes in Computer Science, 2002.
14. VARRÓ, D. - VARRÓ, G. - PATARICZA, A., Designing the Automatic Transformation of Visual Languages, Science of Computer Programming, 44 No. 2 (2002), pp. 205-227.