Dynamic logic semantics for UML consistency

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

Volumn 4066 LNCS, Issue , 2006, Pages 113-127

  O'Keefe, Greg ^a  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; FORMAL LOGIC; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING;

DOMAIN SPECIFIC LANGUAGES; MODEL TRANSFORMATIONS; UML DIAGRAMS;

SEMANTICS;

EID: 33746462778     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11787044_10     Document Type: Conference Paper

References (17)

1. Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, and Peter H. Schmitt. The KeY tool. Software and System Modeling, 4(1):32-54, 2005.
2. Bernhard Beckert. A dynamic logic for the formal verification of Java card programs. In Java on Smart Cards: Programming and Security, number 2041 in LNCS, pages 6-24. Springer, 2001.
3. Bernhard Beckert, Uwe Keller, and Peter H. Schmitt. Translating the object constraint language into first-order predicate logic. In Proceedings of VERIFY, Workshop at Federated Logic conferences (FLoC), 2002.
4. M D'Agostino, D Gabbay, R Haehnle, and J Posegga, editors. Handbook of Tableau Methods, chapter Tableau methods for modal and temporal logics, by Rajeev Gore. Kluwer, 1999. http://rsise.anu.edu.au/-rpg/Publications/Handbook- Tableau-Methods/TR-ARP-15-95.ps.gz.
5. Werner Damm, Bernhard Josko, Amir Pnueli, and Angelika Votintseva. Understanding UML: A formal semantics of concurrency and communication in real-time UML. In Formal Methods for Components and Objects, Proceedings 2002, volume 2852 of LNCS. Springer, 2003.
6. Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, and Stefan Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioural diagrams in UML. In Proceedings of UML, volume 1939. LNCS, 2000.
7. David Harel, Dexter Kozen, and Jerzy Tiuryn. Dynamic Logic. MIT Press, 2000.
8. Brian Henderson-Sellers. UML - the good, the bad or the ugly? perspectives from a panel of experts. Software and System Modeling, 4(1):4-13, 2005.
9. Stephen J. Mellor. A framework for aspect-oriented modelling. In The 4th AOSD Modeling With UML Workshop, 2003.
10. Stephen J. Mellor and Marc J. Balcer. Executable UML, A Foundation for ModelDriven Architecture. Object Technology Series. Addison-Wesley, 2002.
11. Object Management Group. Unified modeling language: Superstructure. Technical report, Object Management, Group, August 2005. http://www.omg.org/ docs/formal/05-07-04.pdf.
12. David Peleg. Concurrent dynamic logic. Journal of the ACM, 34(2):450-479, April 1987.
13. Gianna Reggio, Maura Cerioli, and Egidio Astesiano, Towards a rigourous semantics of UML supporting its multiview approach. In H. Hussmann, editor, FASE 2001, volume 2029 of LNCS, pages 171-186. Springer, 2001.
14. Bran V. Selic. On the semantic foundations of standard UML 2.0, In Marco Bernardo and Flavio Corradini, editors, Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, number 3185 in LNCS, 2004.
15. Sally Shlaer and Stephen J. Mellor. Object Lifecycles: Modeling the World in States. Yourdon Press, 1992.
16. R.J. Wieringa and G. Saake. A formal analysis of the Shlaer-Mellor method: Towards a toolkit of formal and informal requirements specification techniques. Requirements Engineering, pages 106-131, 1996.
17. Roel Wieringa and Jan Broerson. Minimal transition system semantics for light-weight class and behaviour diagrams. In Manfred Broy, Derek Coleman, Tom S. E. Maibaum, and Bernhard Rumpe, editors, Proceedings PSMT'98 Workshop on Precise Semantics for Modeling Techniques. Technische Universitaet Muenchen, TUM-I9803, April 1997.