Conflict management techniques for model merging: a systematic mapping review
Abstract Model merging conflicts occur when different stakeholders aim to integrate their
contradicting changes that are applied concurrently to update software models. We conduct …
contradicting changes that are applied concurrently to update software models. We conduct …
Operads for complex system design specification, analysis and synthesis
JD Foley, S Breiner… - Proceedings of the …, 2021 - royalsocietypublishing.org
As the complexity and heterogeneity of a system grows, the challenge of specifying,
documenting and synthesizing correct, machine-readable designs increases dramatically …
documenting and synthesizing correct, machine-readable designs increases dramatically …
A feature-based survey of model view approaches
When dealing with complex systems, information is very often fragmented across many
different models expressed within a variety of (modeling) languages. To provide the relevant …
different models expressed within a variety of (modeling) languages. To provide the relevant …
Use case diagram similarity measurement: A new approach
Building a UML diagram from scratch usually requires a lot of resources of software
developer. UML reuse is the solution for speeding up software development process …
developer. UML reuse is the solution for speeding up software development process …
A tridimensional approach for studying the formal verification of model transformations
In Model Driven Engineering (MDE), models are first-class citizens, and model
transformation is MDE's" heart and soul". Since model transformations are executed for a …
transformation is MDE's" heart and soul". Since model transformations are executed for a …
Verification of model transformations: A survey of the state-of-the-art
D Calegari, N Szasz - Electronic notes in theoretical computer science, 2013 - Elsevier
Within the Model-Driven Engineering paradigm, software development is based on the
definition of models providing different views of the system to be constructed and model …
definition of models providing different views of the system to be constructed and model …
Formal verification techniques for model transformations: A tridimensional classification
In Model Driven Engineering (MDE), models are first-class citizens, and model
transformation is MDE's" heart and soul". Since model transformations are executed for a …
transformation is MDE's" heart and soul". Since model transformations are executed for a …
Class diagram similarity measurement: a different approach
Unified Modeling Language (UML) is a standard modeling language for specifying,
documenting, and building software. One of the problems of designing a model using UML …
documenting, and building software. One of the problems of designing a model using UML …
[PDF][PDF] UML class diagrams: Similarity aspects and matching
MAR Al-Khiaty, M Ahmed - Lecture Notes on Software Engineering, 2016 - academia.edu
Model matching is at the core of different model management operations such as model
evolution, consolidation, and retrieval. An accurate identification of the similarity and …
evolution, consolidation, and retrieval. An accurate identification of the similarity and …
Sequence diagram similarity measurement: a different approach
Unified Modified Language (UML) is a modeling language standard for identifying,
recording and designing a software. Reusing UML diagrams can help to accelerate the …
recording and designing a software. Reusing UML diagrams can help to accelerate the …