A systematic review of UML model consistency management
FJ Lucas, F Molina, A Toval - Information and Software technology, 2009 - Elsevier
Information System (IS) development has been beset by consistency problems since its
infancy. These problems are greater still in UML software development, and are principally …
infancy. These problems are greater still in UML software development, and are principally …
UML models consistency management: Guidelines for software quality manager
Abstract Unified Modeling Language (UML) has become the de-facto standard to design
today's large-size object-oriented systems. However, focusing on multiple UML diagrams is …
today's large-size object-oriented systems. However, focusing on multiple UML diagrams is …
A NEW TAXONOMY OF INCONSISTENCIES IN UML MODELS WITH THEIR DETECTION METHODS FOR BETTER MDE.
D Allaki, M Dahchour… - International Journal of …, 2015 - search.ebscohost.com
Abstract MDE (Model Driven Engineering) is an emerging software engineering paradigm
that relies on models as primary artifacts to build complex software and hardware systems. It …
that relies on models as primary artifacts to build complex software and hardware systems. It …
Considerations and Rationale for a UML System Model
M Broy, MV Cengarle, H Grönniger… - UML 2 Semantics and …, 2009 - Wiley Online Library
Semantics definition for the Unified Modeling Language (UML)[8, 33] is not an easy task.
Although considerable effort has been made, starting in the late 1990s [1, 2, 19], no …
Although considerable effort has been made, starting in the late 1990s [1, 2, 19], no …
Formal verification of tokeneer behaviours modelled in fuml using csp
I Abdelhalim, J Sharp, S Schneider… - Formal Methods and …, 2010 - Springer
Much research work has been done on formalizing UML diagrams, but less has focused on
using this formalization to analyze the dynamic behaviours between formalized components …
using this formalization to analyze the dynamic behaviours between formalized components …
A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams
Abstract Unified Modeling Language (UML) 2.0 Sequence Diagrams (UML 2.0 SD) are used
to describe interactions in software systems. These diagrams must be verified in the early …
to describe interactions in software systems. These diagrams must be verified in the early …
Towards a practical approach to check UML/fUML models consistency using CSP
I Abdelhalim, S Schneider, H Treharne - … 2011, Durham, UK, October 26-28 …, 2011 - Springer
This work provides an underpinning for a systems modelling approach based on UML and
fUML together. It uses UML state diagrams as a starting point for modelling system object …
fUML together. It uses UML state diagrams as a starting point for modelling system object …
Timing consistency checking for UML/MARTE behavioral models
UML/MARTE model-driven development approaches are gaining attention in developing
real-time embedded software (RTES). UML behavioral models with MARTE annotations are …
real-time embedded software (RTES). UML behavioral models with MARTE annotations are …
Basic problems in multi-view modeling
J Reineke, C Stergiou, S Tripakis - Software & Systems Modeling, 2019 - Springer
Modeling all aspects of a complex system within a single model is a difficult, if not
impossible, task. Multi-view modeling is a methodology where different aspects of the …
impossible, task. Multi-view modeling is a methodology where different aspects of the …
Static-and dynamic consistency analysis of UML state chart models
C Schwarzl, B Peischl - … on Model Driven Engineering Languages and …, 2010 - Springer
UML state chart models describing the behavior of a system can be used as a formal
specification thereof. The existence of advanced modeling tools allows for model simulation …
specification thereof. The existence of advanced modeling tools allows for model simulation …