A discrete-time UML semantics for concurrency and communication in safety-critical applications

Science of Computer Programming

Volumn 55, Issue 1-3 SPEC. ISS., 2005, Pages 81-115

  Damm, Werner ^a   Josko, Bernhard ^a   Pnueli, Amir ^b   Votintseva, Angelika ^a  

^a OFFIS INSTITUTE FOR INFORMATION TECHNOLOGY   (Germany)

^b WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STORAGE EQUIPMENT; MATHEMATICAL MODELS; REAL TIME SYSTEMS; SCHEDULING; TOPOLOGY; VISIBILITY;

ASYNCHRONOUS COMMUNICATION; DYNAMIC OBJECT CREATION; SHARED MEMORY; SYNCHRONOUS COMMUNICATION;

SEMANTICS;

EID: 13144259719     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2004.05.012     Document Type: Conference Paper

References (34)

1. J.M. Alvarez, T. Clark, A. Evans, and P. Sammut An action semantics for MML Proc. UML 2001 2001 http://www.cs.york.ac.uk/puml/mmf/AlvarezUML2001.pdf
2. E. Börger, A. Cavarra, and E. Riccobene An ASM semantics for UML activity diagrams T. Rus Proc. AMAST 2000 LNCS vol. 1816 2000 Springer-Verlag 293 308
3. E. Börger, A. Cavarra, and E. Riccobene Modeling the dynamics of UML state machines Y. Gurevich Ph.W. Kutter M. Odersky L. Thiele Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Proceedings LNCS vol. 1912 2000 Springer-Verlag 223 241 DBLP http://dblp.uni-trier.de
4. T. Clark, A. Evans, and S. Kent The metamodelling language calculus: foundation semantics for UML Proc. FASE 2001 2001 17 31 www.dcs.kcl.ac.uk/staff/ tony/docs/MMLCalculus.ps
5. T. Clark, A. Evans, S. Kent, S. Brodsky, and S. Cook A feasibility study in rearchitecting UML as a family of languages using a precise OO meta-modelling approach, version 1.0, September 2000 Available from http://www.puml.org
6. T. Clark, A. Evans, S. Kent, and P. Sammut The MMF approach to engineering object-oriented design languages Proc. Workshop on Language Descriptions, Tools and Applications LDTA2001 2001 Available via http://www.puml.org
7. K. Compton, J. Huggins, and W. Shen A semantic model for the state machine in the UML G. Reggio A. Knapp B. Rumpe B. Selic R. Wieringa Dynamic Behaviour in UML Models: Semantic Questions, Workshop Proceedings, UML 2000 Workshop Bericht 0006, October 2000 2000 Ludwig-Maximilians-Universität München, Institut für Informatik 25 31 http://www.kettering.edu/ ~jhuggins/papers/uml2000.ps
8. W. Damm, B. Josko, A. Pnueli, and A. Votintseva A formal semantics for a UML kernel language, Omega Technical Report, part 1 of the deliverable D1.1.2, Project IST-2001-33522 OMEGA, January 2003 Available from http://www-omega.imag. fr/doc/d1000009_6/D112_KL.pdf
9. W. Damm, and B. Westphal Live and Let Die: LSC-based Verification of UML-Models F.S.d. Boer Proceedings of the First International Symposium on Formal Methods for Components and Objects, FMCO October LNCS vol. 2852 2003 Springer-Verlag
10. G. Engels, J.H. Hausmann, R. Heckel, and S. Sauer Dynamic meta modeling: a graphical approach to the operational semantics of behavioral diagrams in UML Proceed. of the 3rd International Conference on the UML 2000 October 2000
11. A.S. Evans, and A.N. Clark Foundations of the unified modeling language 2nd Northern Formal Methods Workshop, Ilkley, Electronic Workshops in Computing 1998 Springer-Verlag http://www.cs.york.ac.uk/puml/papers/nfmw97.ps
12. A. Evans, R. France, K. Lano, and B. Rumpe The UML as a formal modeling notation The Unified Modeling Language: the First International Workshop June 1998 1999 Springer-Verlag
13. S. Graf, and I. Ober Semantics of time extensions, Omega Technical Report, Deliverable D1.1.4, Project IST-2001-33522 OMEGA, December 2003 Available from http://www-omega.imag.fr/doc/d1000199_2/D1.1.4-time- extensions-v2.pdf
14. D. Harel, and E. Gery Executable object modeling with statecharts IEEE Computer 30 7 1997 31 42
15. H. Hußmann Loose semantics for UML, OCL Proceedings 6th World Conference on Integrated Design and Process Technology IDPT 2002, June 2002 Society for Design and Process Science
16. I-Logix Inc. Rhapsody 2002 http://www.ilogix.com/products/rhapsody/index. cfm
17. S.-K. Kim, and D. Carrington Formalizing the UML class diagrams using object-Z France Rumpe Proc. UML'99 LNCS vol. 1723 1999 Springer-Verlag 83 98
18. A. Kleppe, and J. Warmer Unification of static and dynamic semantics of UML 2001 http://www.klasse.nl/english/uml/unification-report.pdf
19. G. Kwon Rewrite rules and operational semantics for model checking UML statcharts Proceed. of the 3rd International Conference on the UML 2000 October 2000 University of York
20. J. Lilius, I.P. Paltor, vUML: a tool for verifying UML models. Turku Centre for Computer Science, Abo Akademi University, Finland, 1999. Technical Report
21. Z. Manna, and A. Pnueli The Temporal Logic of Reactive and Concurrent Systems: Specification 1991 Springer-Verlag New York
22. B. Meyer Eiffel: The Language 1998 Prentice-Hall
23. I. Ober, Harmonizing design languages with object-oriented extensions and an executable semantics, Ph.D. Thesis. Institut National Polytechnique de Toulouse, France, April 2001
24. Object Management Group. UML 1.4 with Action Semantics, Final Adopted Specification, ptc/02-01-09, January 2002 Available from http://www.kc.com/ as_site/home.html
25. Object Management Group. UML Profile for Schedulability, Performance, and Time Specification, September 2003 V.1.0, formal/03-09-01. Available at http://www.omg.org/docs/formal/03-09-01.pdf
26. Object Management Group. Unified Modeling Language: Superstructure, v.2.0, Final Adopted Specification ptc/03-08-02, August 2003 Available from http://www.omg.org/cgi-bin/doc?ptc/03-08-02
27. G. Övergaard Formal specification of object-oriented meta-modelling T. Maibaum Proceedings Fundamental Approaches to Software Engineering, FASE LNCS vol. 1783 2000 Springer-Verlag
28. G. Övergaard Using the BOOM framework for formal specification of the UML Proceedings of Defining Precise Semantics for UML 2000
29. G. Övergaard, and K. Palmkvist A formal approach to use cases and their relationships UML 1998 1998
30. Rational~Software Corporation. Rational Rose Family 2003 http://www.rational.com/products/rose/index.jsp
31. G. Reggio, E. Astesiano, C. Choppy, and H. Hußmann Analyzing UML active classes and associated state machines - a lightweight formal approach FEAS 2000 2000 ftp://ftp.disi.unige.it/pub/person/ReggioG/Reggio99a.ps
32. G. Reggio, M. Cerioli, and E. Astesiano Towards a rigorous semantics of UML supporting its multiview approach FASE 2001 2001 ftp://ftp.disi.unige.it/ pub/person/CerioliM/FASE2001.pdf
33. M. Richters, and M. Gogolla On formalizing the UML object constraint language OCL T.-W. Ling S. Ram M.L. Lee Proc. 17th International Conference Conceptual Modelling, ER'98 LNCS vol. 1507 1998 Springer-Verlag 449 464
34. Telelogic AB. Telelogic Tau 2003 http://www.telelogic.com/products/tau/ index.cfm