Analysing Graph Transformation Rules through OCL
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Verifying UML/OCL Operation Contracts
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Verification and validation of declarative model-to-model transformations through invariants
Journal of Systems and Software
Dependencies between ontology design parameters
International Journal of Metadata, Semantics and Ontologies
Verifying UML/OCL models using Boolean satisfiability
Proceedings of the Conference on Design, Automation and Test in Europe
Synthesis of OCL pre-conditions for graph transformation rules
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Managing embedded systems complexity with aspect-oriented model-driven engineering
ACM Transactions on Embedded Computing Systems (TECS)
AuRUS: automated reasoning on UML/OCL schemas
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Towards hybrid reasoning for verifying and validating multilevel models
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
Feature and meta-models in Clafer: mixed, specialized, and coupled
SLE'10 Proceedings of the Third international conference on Software language engineering
UOST: UML/OCL aggressive slicing technique for efficient verification of models
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
Extensive validation of OCL models by integrating SAT solving into USE
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
Encoding OCL data types for SAT-based verification of UML/OCL models
TAP'11 Proceedings of the 5th international conference on Tests and proofs
MEDI'11 Proceedings of the First international conference on Model and data engineering
Proceedings of the 14th international conference on Model driven engineering languages and systems
Evaluation of tools and slicing techniques for efficient verification of UML/OCL class diagrams
Advances in Software Engineering
Test data generation for web application using a UML class diagram with OCL constraints
Innovations in Systems and Software Engineering
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
On the interaction of inter-relationship constraints
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
Data & Knowledge Engineering
Verifying and validating multi-layered models with OWL FA toolkit
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Using formal methods with SysML in aerospace design and engineering
Annals of Mathematics and Artificial Intelligence
A logic-based semantics for the verification of multi-diagram UML models
ACM SIGSOFT Software Engineering Notes
SMT-based enumeration of object graphs from UML class diagrams
ACM SIGSOFT Software Engineering Notes
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
Formalizing a domain specific language using SOS: an industrial case study
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Model-based automated and guided configuration of embedded software systems
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
MADES: a tool chain for automated verification of UML models of embedded systems
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
UMLtoCSP (UOST): a tool for efficient verification of UML/OCL class diagrams through model slicing
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Model checking of OSEK/VDX OS design model based on environment modeling
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
From UML and OCL to relational logic and back
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
A modeling approach to support the similarity-based reuse of configuration data
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Transformation and validation with SWRL and OWL of ODM-based models
MEDI'12 Proceedings of the 2nd international conference on Model and Data Engineering
Formal software verification at model and at source code levels
MEDI'12 Proceedings of the 2nd international conference on Model and Data Engineering
Transformation rules from UML4MBT meta-model to SMT meta-model for model animation
Proceedings of the 12th Workshop on OCL and Textual Modelling
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach
International Journal of Information System Modeling and Design
Determining relevant model elements for the verification of UML/OCL specifications
Proceedings of the Conference on Design, Automation and Test in Europe
Towards a generic verification methodology for system models
Proceedings of the Conference on Design, Automation and Test in Europe
Finite satisfiability of UML class diagrams with constrained class hierarchy
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Debugging of inconsistent UML/OCL models
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Formal methods for exchange policy specification
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
| Hi-index | 0.00 |
In the MDD and MDA approaches, models become the primary artifacts of the development process. Therefore, assessment of the correctness of such models is a key issue to ensure the quality of the final application. In that sense, this paper presents an automatic method that uses the Constraint Programming paradigm to verify UML class diagrams extended with OCL constraints. In our approach, both class diagrams and OCL constraints are translated into a Constraint Satisfaction Problem. Then, compliance of the diagram with respect to several correctness proper- ties such as weak and strong satisfiability or absence of con- straint redundancies can be formally verified.