On the Expressive Power of the Object Constraint Language OCL (original) (raw)
Related papers
The Object Constraint Language (OCL)
Guide to Applying the UML, 2002
On the pursuit of a standard language for object-oriented constraint modeling
2008
Object Modeling With the OCL: the Rationale Behind the Object Constraint Language
2002
Electronic Notes in Theoretical Computer Science, 2014
On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages
Lecture Notes in Computer Science, 2009
XOCL - an XML Language for Specifying Logical Constraints in Object Oriented Models
Journal of Universal Computer Science, 2003
2000
2002
Model-Driven Development of an Interpreter for the Object Constraint Language
2018
Constrained types for object-oriented languages
ACM SIGPLAN Notices, 2008
A meta-model facility for a family of UML Constraint languages
2002
The object constraint language for UML 2.0overview and assessment
UPGRADE,(2), 2004
An extended type system for OCL supporting templates and transformations
Formal Methods for Open Object-Based Distributed …, 2005
A Controlled Experiment on the Impact of the Object Constraint Language in UML-Based Development
2004
Conceptualization and implementation of a constraint-modeling-language
2016
Imperative versus declarative constraint specification languages: a controlled experiment
Software and Systems Modeling, 2020
Semantics, calculi, and analysis for object-oriented specifications
Acta Informatica, 2009
Constraint Diagrams: A Step Beyond UML
1999
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness
Software and Systems Modeling, 2004
Regular papers OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness
Exploring the semantics of UML type structures with Z
1997
A Type-Theoretic Basis for an Object-Oriented Refinement Calculus
1996
Importance of Object Constraints in Software Development
International Journal of Programming Languages and Applications, 2012
2008
Precise Modeling with UML: Why OCL?
OCL constraints generation from natural language specification
Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC, 2010
Ontology-Based Transformation and Verification of UML/OCL Constraints
Sukkur IBA Journal of Computing and Mathematical Sciences, 2021
Towards specifying constraints for object-oriented frameworks
Proceedings of the 2001 conference of the Centre …, 2001