The RHAPSODY semantics of statecharts (or, on the executable core of the UML)

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

Volumn 3147, Issue , 2004, Pages 325-354

  Harel, David ^a   Kugler, Hillel ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

UNIFIED MODELING LANGUAGE;

DESIGN DECISIONS; EXECUTABLE SEMANTICS; OBJECT ORIENTED; STATECHARTS; ZERO TIME;

SEMANTICS;

EID: 35048831026     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27863-4_19     Document Type: Article

References (14)

1. G. Booch. Object Oriented Analysis and Design with Applications. Benjamin/Cummings, California, 1994.
2. E. Borger, A. Cavarra, and E. Riccobene. Modeling the Dynamics of UML State Machines. In Int. Workshop on Abstract State Machines (ASM'00), volume 1912 of Lect. Notes in Comp. Sci. Springer-Verlag, 2000.
3. W. Damm, B. Josko, A. Pnueli, and A. Votintseva. Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. In Formal Methods for Components and Objects (FMCO'02), volume 2852 of Lect. Notes in Comp. Sci. Springer-Verlag, 2003.
4. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987. (Preliminary version: Technical Report CS84-05, The Weizmann Institute of Science, Rehovot, Israel, February 1984.).
5. D. Harel and E. Gery. Executable Object Modeling with Statecharts. IEEE Computer, 30(7):31-42, July 1997.
6. (Also in Proc. 18th Int. Conf. Soft. Eng., Berlin, IEEE Press, March, 1996, pp. 246-257.).
7. D. Harel and A. Naamad. The STATEMATE semantics of statecharts. ACM TRANS. Software Engineering and Methodology, 5(4):293-333, October 1996.
8. D. Harel and M. Politi. Modeling Reactive Systems with Statecharts: The STATEMATE Approach. McGraw-Hill, 1998.
9. J. Hooman and M. Van Der Zwaag. A Semantics of Communicating Active Objects with Timing. In Specification and Validation of UML Models for Real-Time and Embedded Systems (SVERTS'03), 2003. Available from the European Project OMEGA homepage http://www-omega.imag.fr.
10. I-logix,inc., products web page. http://www.ilogix.com/fs_prod.htm.
11. G. Reggio, E. Astesiano, C. Choppy, and H. Husmann. Analysing UML active classes and associated statecharts - a lightweight formal approach. In Proceedings Fundamental Approaches to Software Engineering (FASE'00), volume 1783 of Lect. Notes in Comp. Sci. Springer-Verlag, 2000.
12. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object Oriented Modeling and Design. Prentice - Hall, New York, 1991.
13. B. Selic, G. Gullekson, and P. Ward. Real-Time Object-Oriented Modeling. John Wiley & Sons, New York, 1994.
14. UML. Documentation of the unified modeling language (UML). Available from the Object Management Group (OMG), http://www.omg.org.