Using Transition Systems to Unify UML Models
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
rCOS: a refinement calculus of object systems
Theoretical Computer Science - Components and objects
Electronic Notes in Theoretical Computer Science (ENTCS)
A predicative semantic model for integrating UML models
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Decoupling in object orientation
FM'05 Proceedings of the 2005 international conference on Formal Methods
Operational semantics for model checking circus
FM'05 Proceedings of the 2005 international conference on Formal Methods
| Hi-index | 0.00 |
This paper presents a refinement calculus for object systems with visibility, dynamic binding and mutual dependency. The intention is to support effective use of a relational model for specifying and reasoning in activities of an object system development process. The semantics framework will define the meaning of the combinators in the exactly same way as their counterparts in the imperative programming languages. This makes the approach more accessible to the users who are already familiar with the algebraic laws and the verifiation tools developed for these languages. The paper also provides a set of transformation rules in support of object system refinement.