论文信息 - Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework

Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework

The Unified Modeling Language UML is a language for specifying object-oriented systems. It is a standard in the domain of object-oriented analysis and design. Due to the missing formal foundation of the UML the syntax and the semantics of a number of UML costructs are not precisely defined.

Claudia Pons | Miguel Felder | Gabriel Baum

[1] Robert B. France,et al. An Integrated Object-Oriented and Formal Modeling Environment , 1997, J. Object Oriented Program..

[2] Bernhard Rumpe,et al. The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.

[3] Roel Wieringa,et al. Roles and Dynamic Subclasses: A Modal Logic Approach , 1994, ECOOP.

[4] S. J. Goldsack,et al. Formal Methods and Object Technology , 1996, Formal Approaches to Computing and Information Technology.

[5] Ian M. Holland,et al. Contracts: specifying behavioral compositions in object-oriented systems , 1990, OOPSLA/ECOOP '90.

[6] Roelf J. Wieringa,et al. A Minimal Transition System Semantics for Lightweight Class and Behavior Diagrams , 1998 .