Generating repairs for inconsistent models
There are many repair alternatives for resolving model inconsistencies, each involving one
or more model changes. Enumerating them all could overwhelm the developer because the …
or more model changes. Enumerating them all could overwhelm the developer because the …
A framework for interoperability between models with hybrid tools
Complex system development and maintenance face the challenge of dealing with different
types of models due to language affordances, preferences, sizes, and so forth that involve …
types of models due to language affordances, preferences, sizes, and so forth that involve …
OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints
C Dania, M Clavel - Proceedings of the ACM/IEEE 19th International …, 2016 - dl.acm.org
In this paper we propose a mapping from OCL to many-sorted first-order logic, called
OCL2MSFOL. This new mapping significantly improves our previous results in two key …
OCL2MSFOL. This new mapping significantly improves our previous results in two key …
[PDF][PDF] Managing Design-time Uncertainty in OCL Expressions.
During the software design phase software models are created. These models must be
eventually complete and correct. But achieving this state is challenging, and even more in …
eventually complete and correct. But achieving this state is challenging, and even more in …
Ensuring the semantic correctness of a BAUML artifact-centric BPM
M Estañol, MR Sancho, E Teniente - Information and software technology, 2018 - Elsevier
Context Using models to represent business processes provides several advantages, such
as facilitating the communication between the stakeholders or being able to check the …
as facilitating the communication between the stakeholders or being able to check the …
OCL Rebuilt, From the Ground Up
The Object Constraint Language (OCL) serves the expression of complex conditions and
queries over UML-based models in an object-oriented style. We note that OCL's grounding …
queries over UML-based models in an object-oriented style. We note that OCL's grounding …
A tool for debugging unsatisfiable integrity constraints in UML/OCL class diagrams
Software models are the basis of the Model-Driven Engineering paradigm. The most popular
modeling notation is UML class diagrams, which can be annotated with OCL predicates to …
modeling notation is UML class diagrams, which can be annotated with OCL predicates to …
[HTML][HTML] Generating valid test data through data cloning
One of the most difficult, time-consuming and error-prone tasks during software testing is that
of manually generating the data required to properly run the test. This is even harder when …
of manually generating the data required to properly run the test. This is even harder when …
Detection of inconsistencies in SysML/OCL models using OWL reasoning
Requirement change management is a challenging issue in software development. One of
the main objectives of the Intent-Defined Adaptive Software program is to verify the …
the main objectives of the Intent-Defined Adaptive Software program is to verify the …
Formalizing UML/OCL structural features with FoCaLiZe
M Abbas, CB Ben-Yelles, R Rioboo - Soft Computing, 2020 - Springer
Abstract Unified Modeling Language (UML) is the de facto standard for the development of
software models, and Object Constraint Language (OCL) is used within UML models to …
software models, and Object Constraint Language (OCL) is used within UML models to …