Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
On a temporal logic for object-based systems
Fourth International Conference on Formal methods for open object-based distributed systems IV
Extending OCL to include actions
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
A UML Profile for Real-Time Constraints with the OCL
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Towards the compositional verification of real-time UML designs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Modelling concurrent interactions
Theoretical Computer Science - Algebraic methodology and software technology
Invariant-driven specifications in Maude
Science of Computer Programming
Combining Sequence Diagrams and OCL for Liveness
Electronic Notes in Theoretical Computer Science (ENTCS)
On Message Specifications in OCL
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Semantics of OCL Messages
Electronic Notes in Theoretical Computer Science (ENTCS)
A UML-based approach for problem frame oriented software development
Information and Software Technology
Joint structural and temporal property specification using timed story scenario diagrams
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
A program logic for handling JAVACARD's transaction mechanism
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Model checking of extended OCL constraints on UML models in SOCLe
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
The theory and practice of SALT
NFM'11 Proceedings of the Third international conference on NASA Formal methods
A dynamic assertion-based verification platform for validation of UML designs
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
The Object Constraint Language is a textual specification language which forms part of the Unified Modelling Language[8]. Its principal uses are specifying constraints such as well-formedness conditions (e.g. in the definition of UML itself) and specifying contracts between parts of a system being modelled in UML. Focusing on the latter, we propose a systematic way to extend OCL with temporal constructs in order to express richer contracts. Our approach is based on observational mu-calculus, a two-level temporal logic in which temporal features at the higher level interact cleanly with a domain specific logic at the lower level. Using OCL as the lower level logic, we achieve much improved expressiveness in a modular way. We present a unified view of invariants and pre/post conditions, and we show how the framework can be used to permit the specification of liveness properties.