Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
On a temporal logic for object-based systems
Fourth International Conference on Formal methods for open object-based distributed systems IV
An axiomatic basis for computer programming
Communications of the ACM
Reflections on the Object Constraint Language
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
On Formalizing the UML Object Constraint Language OCL
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
On the Expressive Power of OCL
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
From use cases to system operation specifications
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Validating UML models and OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Modular architecture for a toolset supporting OCL
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Consistency checking and visualization of OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Extending OCL to include actions
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Defining the context of OCL expressions
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Typechecking UML static models
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Constraint checking in UML modeling
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Development of UML Descriptions with USE
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
A Formal Semantics for OCL 1.4
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Analysis of UML Stereotypes within the UML Metamodel
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Tool support for validating UML and OCL models through automatic snapshot generation
SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Formal hardware specification languages for protocol compliance verification
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Automating commutativity analysis at the design level
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Checking BART test scenarios with UML's object constraint language
Formal methods for embedded distributed systems
USE: A UML-based specification environment for validating UML and OCL
Science of Computer Programming
Reliable UML Models and Profiles
Electronic Notes in Theoretical Computer Science (ENTCS)
Invariant-driven specifications in Maude
Science of Computer Programming
Semantics of OCL Operation Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Visual specifications of policies and their verification
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Model driven language engineering with kermeta
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Model transformations? transformation models!
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
An OCL-Based technique for specifying and verifying refinement-oriented transformations in MDE
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Validation of business document types based on feature models
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Heuristics on the definition of UML refinement patterns
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
An extended type system for OCL supporting templates and transformations
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A semantics for UML-RT active classes via mapping into circus
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Towards tracking "guilty" transformation rules: a requirements perspective
Proceedings of the First Workshop on the Analysis of Model Transformations
Hi-index | 0.00 |
The Object Constraint Language OCL allows to formally specify constraints on a UML model. We present a formal syntax and semantics for OCL based on set theory including expressions, invariants and pre- and postconditions. A formal foundation for OCL makes the meaning of constraints precise and helps to eliminate ambiguities and inconsistencies. A precise language definition is also a prerequisite for implementing CASE tools providing enhanced support for UML models and OCL constraints. We give a survey of some OCL tools and discuss one of the tools in some more detail. The design and implementation of the USE tool supporting the validation of UML models and OCL constraints is based on the formal approach presented in this paper.