The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
The KeY Approach: Integrating Object Oriented Design and Formal Verification
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Proceedings of the Workshop on Object-Oriented Technology
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Architectural description languages (ADLs) vs UML: a review
ACM SIGSOFT Software Engineering Notes
On the evolution of OCL for capturing structural constraints in modelling languages
Rigorous Methods for Software Construction and Analysis
Hi-index | 0.00 |
OCL was introduced as a part of UML in 1997 as a business modeling language by IBM. Ever since its inception, the actual use of OCL in the industry has been almost negligible, even amongst the business application development community, for which it was specifically created. But now with the inception of MDA and related OMG standards the role of OCL is changing. UML 2.0 has introduced new concepts and refined some other including OCL in a way that UML 2.0 is now almost software architectures conformant too. This paper makes an investigation into the recent developments and explores the role of OCL in the current scenario and its future applications.