Achieving model quality through model validation, verification and exploration
Abstract System development strategies, like model-driven engineering (MDE), help to
abstract architectures and provide a promising way to deal with architecture complexity and …
abstract architectures and provide a promising way to deal with architecture complexity and …
Model validation and verification options in a contemporary UML and OCL analysis tool
Modern systems and their architectures are getting more complex than ever. Development
strategies, like model-driven engineering (MDE), help to abstract architectures and provide a …
strategies, like model-driven engineering (MDE), help to abstract architectures and provide a …
UML consistency rules: a case study with open-source UML models
UML models are standard artifacts used by software engineers for designing software. As
software is designed, different UML diagram types (eg, class diagrams and sequence …
software is designed, different UML diagram types (eg, class diagrams and sequence …
Tolerance in model-driven engineering: A systematic literature review with model-driven tool support
Managing models in a consistent manner is an important task in the field of Model-Driven
Engineering (MDE). Although restoring and maintaining consistency is desired in general …
Engineering (MDE). Although restoring and maintaining consistency is desired in general …
[PDF][PDF] Fault-Tolerant Consistency Management in Model-Driven Engineering
N Weidmann - 2021 - d-nb.info
Abstract Models play an important role in nowadays' software engineering processes,
providing stakeholders with a suitable level of abstraction for specifying software systems …
providing stakeholders with a suitable level of abstraction for specifying software systems …
Definition and Validation of Consistency rules between UML diagrams
DC Torre - 2018 - repository.library.carleton.ca
UML diagrams describe different views of one piece of software. These diagrams strongly
depend on each other and must therefore be consistent with one another, since …
depend on each other and must therefore be consistent with one another, since …
[PDF][PDF] Highlighting model elements to improve OCL comprehension
MPS Sales - 2020 - repositorio.iscte-iul.pt
Models, metamodels, and model transformations play a central role in Model-Driven
Development (MDD). Object Constraint Language (OCL) was initially proposed as part of …
Development (MDD). Object Constraint Language (OCL) was initially proposed as part of …
Highlighting Model Elements to Improve Ocl Comprehension
MP dos SantosSales - 2020 - search.proquest.com
Abstract Models, metamodels, and model transformations play a central role in Model-
Driven Development (MDD). Object Constraint Language (OCL) was initially proposed as …
Driven Development (MDD). Object Constraint Language (OCL) was initially proposed as …
[CITATION][C] Definición y validación de reglas de consistencia entre diagramas UML
DC Torre - 2019 - Universidad de Castilla-La Mancha