A Minimal Transition System Semantics for Lightweight Class and Behavior Diagrams

We give a semantics for lightweight UML class diagrams and ultra-lightweight stat-echarts in terms of labeled step transition systems that embody a minimal change, maximal step semantics, and in which changes generated in a step have eeect in the following step. In order to deene the semantics, we introduce dynamic step logic.

[1]  José Meseguer,et al.  Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations , 1992, Theor. Comput. Sci..

[2]  Tom Maibaum,et al.  DESCRIBING AND STRUCTURING OBJECTS FOR CONCEPTUAL SCHEMA DEVELOPMENT , 1992 .

[3]  D.R. Chand,et al.  Essential systems analysis , 1986, Proceedings of the IEEE.

[4]  Nancy A. Lynch,et al.  An introduction to input/output automata , 1989 .

[5]  Gabriel M. Kuper,et al.  Updating Logical Databases , 1986, Adv. Comput. Res..

[6]  John Daniels,et al.  Designing object systems: object-oriented modelling with Syntropy , 1995 .

[7]  Roelf J. Wieringa,et al.  Minimal Semantics for Action Specifications in First-order Dynamic Logic , 1997 .

[8]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

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

[10]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[11]  Betty H. C. Cheng,et al.  A Formal Semantics for Object Model Diagrams , 1995, IEEE Trans. Software Eng..

[12]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[13]  Roel Wieringa,et al.  Algebraic Specification of Object Dynamics in Knowledge Base Domains , 1990, DS-3.

[14]  Manfred Broy,et al.  State Transition Diagrams , 1996 .

[15]  Gérard Berry,et al.  The ESTEREL Synchronous Programming Language and its Mathematical Semantics , 1984, Seminar on Concurrency.

[16]  Betty H. C. Cheng,et al.  Formalizing and Integrating the Dynamic Model within OMT , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[17]  José Luiz Fiadeiro,et al.  Sharing Actions and Attributes in Modal Action Logic , 1991, TACS.

[18]  Bernhard Rumpe,et al.  Towards a Formalization of theUni ed Modeling Language ? , 1997 .

[19]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[20]  Chris Dollin,et al.  Object-oriented development: the fusion method , 1994 .

[21]  Roel Wieringa,et al.  Using Dynamic Classes and Role Classes to Model Object Migration , 1995, Theory Pract. Object Syst..

[22]  Roel Wieringa,et al.  A Formalization of Objects Using Equational Dynamic Logic , 1991, DOOD.

[23]  T. S. E. Maibaum,et al.  The Prescription and Description of State Based Systems , 1987, Temporal Logic in Specification.

[24]  Dieter Hogrefe,et al.  SDL - with applications from protocol specification , 1991, BCS practitioner series.

[25]  John-Jules Ch. Meyer,et al.  A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic , 1987, Notre Dame J. Formal Log..

[26]  Amir Pnueli,et al.  What is in a Step: On the Semantics of Statecharts , 1991, TACS.

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