The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Alcoa: the alloy constraint analyzer
Proceedings of the 22nd international conference on Software engineering
On Formalizing the UML Object Constraint Language OCL
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
Real-time reactive system development: a formal approach based on uml and pvs
Real-time reactive system development: a formal approach based on uml and pvs
Core meta-modelling semantics of UML: the pUML approach
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Formal methods for distributed processing
Constraint checking in UML modeling
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Modular architecture for a toolset supporting OCL
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
The Metamodelling Language Calculus: Foundation Semantics for UML
FASE '01 Proceedings of the 4th 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
Object-Oriented Theories for Model Driven Architecture
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
ECOOP '02 Proceedings of the Workshops and Posters on Object-Oriented 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
A Metamodel for Package Extension with Renaming
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Practical Experiences in the Application of MDA
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
A Relational Approach to Defining Transformations in a Metamodel
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Configuration Knowledge Representation Using UML/OCL
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
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
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
A UML Validation Toolset Based on Abstract State Machines
Proceedings of the 16th IEEE international conference on Automated software engineering
Articulating and enforcing authorisation policies with UML and OCL
SESS '05 Proceedings of the 2005 workshop on Software engineering for secure systems—building trustworthy applications
Supporting transparent model update in distributed CASE tool integration
Proceedings of the 2006 ACM symposium on Applied computing
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
Overview and Evaluation of Constraint Validation Approaches in Java
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Automated size analysis for OCL
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Specifying and validating structural constraints of analysis class models using OCL
Information and Software Technology
Collaborative software engineering on large-scale models: requirements and experience in ModelBus
Proceedings of the 2008 ACM symposium on Applied computing
Scenario-Based Static Analysis of UML Class Models
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
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
Integrated System Analysis Environment for the Continuous Consistency and Completeness Checking
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
Maintaining constraints of UML models in distributed collaborative environments
Journal of Systems Architecture: the EUROMICRO Journal
Ensuring UML Models Consistency Using the OCL Environment
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics of OCL Operation Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Combining OCL and Programming Languages for UML Model Processing
Electronic Notes in Theoretical Computer Science (ENTCS)
An ASM semantics of UML derived from the meta-model and incorporating actions
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Visual specifications of policies and their verification
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Modular architecture for a toolset supporting OCL
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
An approach to testing conceptual schemas
Data & Knowledge Engineering
Editorial: Detection of semantic conflicts in ontology and rule-based information systems
Data & Knowledge Engineering
Model checking security policy model using both UML static and dynamic diagrams
Proceedings of the 4th international conference on Security of information and networks
Formal object-oriented development of a voting system test oracle
Innovations in Systems and Software Engineering
Specification and validation of authorisation constraints using UML and OCL
ESORICS'05 Proceedings of the 10th European conference on Research in Computer Security
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
Elucidative development for model-based documentation
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach
International Journal of Information System Modeling and Design
| Hi-index | 0.00 |
The UML has been widely accepted as a standard for modeling software systems and is supported by a great number of CASE tools. However, UML tools often provide only little support for validating models early during the design stage. Also, there is generally no substantial support for constraints written in the Object Constraint Language (OCL). We present an approach for the validation of UML models and OCL constraints that is based on animation. The USE tool (UML-based Specification Environment) supports developers in this process. It has an animator for simulating UML models and an OCL interpreter for constraint checking. Snapshots of a running system can be created, inspected, and checked for conformance with the model. As a special case study, we have applied the tool to parts of the UML 1.3 metamodel and its well-formedness rules. The tool enabled a thorough and systematic check of the OCL well-formedness rules in the UML standard.