Results 11 to 20 of about 54,581 (83)
Execution of UML models: a systematic review of research and practice
Journal of Software and Systems Modeling, 2018 Several research efforts from different areas have focused on the execution of UML models, resulting in a diverse and complex scientific body of knowledge.
Federico Ciccozzi +2 more
semanticscholar +1 more source
ACM Transactions on Software Engineering and Methodology, 2006 The emergence of the UML as a de facto standard for object-oriented modeling has been mirrored by the success of the B method as a practically useful formal modeling technique. The two notations have much to offer each other. The UML provides an accessible visualization of models facilitating communication of ideas but lacks formal precise semantics. B,
Snook, Colin, Butler, Michael
openaire +2 more sources
A systematic identification of consistency rules for UML diagrams
Journal of Systems and Software, 2018 UML diagrams describe different views of one software. These diagrams strongly depend on each other and must therefore be consistent with one another, since inconsistencies between diagrams may be a source of faults during software development activities
Damiano Torre +3 more
semanticscholar +1 more source
Proceedings of the 8th International Conference on Formal Methods in Software Engineering, 2020 UML models are standard artifacts used by software engineers for designing software. As software is designed, different UML diagram types (e.g., class diagrams and sequence diagrams) are produced by software designers. Since the various UML diagram types describe different aspects of a software system, they are not independent but strongly depend on ...
Torre, Damiano +4 more
openaire +2 more sources
Consistency of UML class, object and statechart diagrams using ontology reasoners [PDF]
Journal of Visual Languages and Computing, 2015 We propose an automatic approach to analyze the consistency and satisfiability of Unified Modeling Language UML models containing multiple class, object and statechart diagrams using logic reasoners for the Web Ontology Language OWL 2. We describe how to
A. Khan, Ivan Porres
semanticscholar +1 more source
From Requirements Engineering to UML using Natural Language Processing – Survey Study
European Journal of Engineering and Technology Research, 2017 In the paper process of moving from software requirements to UML diagrams has been studied. It shows the importance of this process and discusses many comparative studies in the field.
O. S. Dawood, A. Sahraoui
semanticscholar +1 more source
, 2001 Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before they die. Nevertheless, dealing with this evolution is a complex task. Before evolving a system, structural modi cations are often required.
Sunyé, Gerson +3 more
openaire +2 more sources
Towards Modeling Web Service Composition in UML
WSMAI, 2016 This paper focuses on how to model and build composite web ser- vices from already existing services. We build on the experience in workflow modeling and see if the principles are applicable to the web service domain.
Roy Grønmo, I. Solheim
semanticscholar +1 more source
UML models consistency management: Guidelines for software quality manager
International Journal of Information Management, 2016 Providing a complete life cycle of UML consistency management process.Presenting a thematic taxonomy of existing state-of-the-art UML consistency management activities based on a set of parameters extracted from the literature.Analytically comparing ...
Raja Sehrab Bashir +4 more
semanticscholar +1 more source
Verification of UML Models by Translation to UML-B
, 2011 UML-B is a ‘UML like' notation based on the Event-B formalism which allows models to be progressively detailed through refinements that are proven to be consistent and to satisfy safety invariants using the Rodin platform and its automatic proof tools.
Snook, Colin +2 more
openaire +2 more sources