Formal verification of static software models in MDE: A systematic review
CA González, J Cabot - Information and Software Technology, 2014 - Elsevier
Abstract Context Model-driven Engineering (MDE) promotes the utilization of models as
primary artifacts in all software engineering activities. Therefore, mechanisms to ensure …
primary artifacts in all software engineering activities. Therefore, mechanisms to ensure …
Feature and meta-models in clafer: Mixed, specialized, and coupled
K Bąk, K Czarnecki, A Wąsowski - … , The Netherlands, October 12-13, 2010 …, 2011 - Springer
We present Clafer, a meta-modeling language with first-class support for feature modeling.
We designed Clafer as a concise notation for meta-models, feature models, mixtures of meta …
We designed Clafer as a concise notation for meta-models, feature models, mixtures of meta …
From UML and OCL to relational logic and back
M Kuhlmann, M Gogolla - … on model driven engineering languages and …, 2012 - Springer
Languages like UML and OCL are used to precisely model systems. Complex UML and
OCL models therefore represent a crucial part of model-driven development, as they …
OCL models therefore represent a crucial part of model-driven development, as they …
Extensive validation of OCL models by integrating SAT solving into USE
Abstract The Object Constraint Language (OCL) substantially enriches modeling languages
like UML, MOF or EMF with respect to formulating meaningful model properties. In model …
like UML, MOF or EMF with respect to formulating meaningful model properties. In model …
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
To ensure the quality of an information system we must guarantee the correctness of the
conceptual schema that represents the knowledge about its domain. The high expressivity of …
conceptual schema that represents the knowledge about its domain. The high expressivity of …
A graph solver for the automated generation of consistent domain-specific models
O Semeráth, AS Nagy, D Varró - … of the 40th international conference on …, 2018 - dl.acm.org
Many testing and benchmarking scenarios in software and systems engineering depend on
the systematic generation of graph models. For instance, tool qualification necessitated by …
the systematic generation of graph models. For instance, tool qualification necessitated by …
CD2Alloy: Class diagrams analysis using Alloy revisited
We present CD2Alloy, a novel, powerful translation of UML class diagrams (CDs) to Alloy.
Unlike existing translations, which are based on a shallow embedding strategy, and are thus …
Unlike existing translations, which are based on a shallow embedding strategy, and are thus …
Spectrum-based fault localization in model transformations
Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they
provide the essential mechanisms for manipulating and transforming models. The …
provide the essential mechanisms for manipulating and transforming models. The …
Model-transformation design patterns
K Lano, S Kolahdouz-Rahimi - IEEE Transactions on Software …, 2014 - ieeexplore.ieee.org
This paper defines a catalogue of patterns for the specification and design of model
transformations, and provides a systematic scheme and classification of these patterns …
transformations, and provides a systematic scheme and classification of these patterns …
Synthetic data generation for statistical testing
G Soltana, M Sabetzadeh… - 2017 32nd IEEE/ACM …, 2017 - ieeexplore.ieee.org
Usage-based statistical testing employs knowledge about the actual or anticipated usage
profile of the system under test for estimating system reliability. For many systems, usage …
profile of the system under test for estimating system reliability. For many systems, usage …