Understanding the new SQL: a complete guide
Understanding the new SQL: a complete guide
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
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
Computer
Validating UML models and OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Using UML/OCL constraints for relational database design
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
The Metamodelling Language Calculus: Foundation Semantics for UML
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
An Authoring Tool for Informal and Formal Requirements Specifications
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Engineering Modelling Languages: A Precise Meta-Modelling Approach
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software 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
OCL as a Specification Language for Business Rules in Database Applications
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A Visualization of OCL Using Collaborations
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
On Querying UML Data Models with OCL
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A New Type Checking Approach for OCL Version 2.0?
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
OCL: Syntax, Semantics, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
On the Precise Meaning of OCL Constraints
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
OCL-Based Automated Validation Method for UML Specifications
Programming and Computing Software
Toward Formalizing Domain Modeling Semantics in Language Syntax
IEEE Transactions on Software Engineering
Checking BART test scenarios with UML's object constraint language
Formal methods for embedded distributed systems
Keeping track of crosscutting requirements in UML models via context-based constraints
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Cross Checking Rules to Improve Consistency between UML Static Diagram and Dynamic Diagram
IDEAL '08 Proceedings of the 9th International Conference on Intelligent Data Engineering and Automated Learning
A model-prover for constrained dynamic conversations
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
An aspect-oriented methodology for designing secure applications
Information and Software Technology
XMI2USE: A Tool for Transforming XMI to USE Specifications
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
OCL 2.0 - Implementing the Standard for Multiple Metamodels
Electronic Notes in Theoretical Computer Science (ENTCS)
A Metamodel-Based OCL-Compiler for UML and MOF
Electronic Notes in Theoretical Computer Science (ENTCS)
Combining OCL and Programming Languages for UML Model Processing
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
APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143
Modeling and debugging numerical constraints of cyber-physical systems design
Proceedings of the Fourth Symposium on Information and Communication Technology
DropsBox: the Dresden Open Software Toolbox
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
The practical application of the Object Constraint Language, which is part of the UML specification since version 1.1, depends crucially on the existence of adequate tool support. This paper discusses general design issues for OCL tools. It is argued that the nature of OCL will lead to a large variety of tools, applied in combination with a variety of different UML tools. Therefore, a flexible modular architecture for a UML/OCL toolset is proposed. The paper reports on the first results of an ongoing project which aims at the provision of such an OCL toolset for the public domain.