A comparative survey of scenario-based to state-based model synthesis approaches
Model Driven Development and Use Case Driven Development methodologies have
inspired the proposal of a variety of software engineering approaches that synthesize state …
inspired the proposal of a variety of software engineering approaches that synthesize state …
[PDF][PDF] Some rules to transform sequence diagrams into coloured Petri nets
This paper presents a set of rules that allows software engineers to transform the behavior
described by a UML 2.0 Sequence Diagram (SD) into a Colored Petri Net (CPN). SDs in …
described by a UML 2.0 Sequence Diagram (SD) into a Colored Petri Net (CPN). SDs in …
A graph transformation approach to generate analysable maude specifications from UML interaction overview diagrams
Unified modeling language (UML) is a standardized modeling language enabling to specify,
construct and document artifacts of a software system based on graphical notations …
construct and document artifacts of a software system based on graphical notations …
From interaction overview diagrams to temporal logic
In this paper, we use UML Interaction Overview Diagrams as the basis for a user-friendly,
intuitive, modeling notation that is well-suited for the design of complex, heterogeneous …
intuitive, modeling notation that is well-suited for the design of complex, heterogeneous …
Semantics of the interaction overview diagram
T Bouabana-Tebibel - 2009 IEEE International Conference on …, 2009 - ieeexplore.ieee.org
UML 2 interaction overview diagram, IOD for short, is a variant of UML activity diagrams
where the nodes may be sequence diagrams. This combination provides it with benefits …
where the nodes may be sequence diagrams. This combination provides it with benefits …
Correct model-to-model transformation for formal verification
DA Meedeniya - 2013 - research-repository.st-andrews.ac …
Modern software systems have increasingly higher expectations on their reliability, in
particular if the systems are critical and real-time. The development of these complex …
particular if the systems are critical and real-time. The development of these complex …
[PDF][PDF] FORMALIZATION AND ANALYSIS OF UML 2.0 INTERACTION OVERVIEW DIAGRAM USING MAUDE REWRITING LOGIC LANGUAGE: Using Maude …
C Djaoui, A Chaoui - Computer Science, 2024 - journals.agh.edu.pl
The visual modeling language UML embodies object-oriented design principles. It provides
a standard way to visualize the design of a system. It exploits a richset of well-defined …
a standard way to visualize the design of a system. It exploits a richset of well-defined …
Validation environment of UML2 IOD based on hierarchical coloured Petri nets
M Bennama… - International journal of …, 2013 - inderscienceonline.com
A new interaction diagram, called Interaction Overview Diagram or IOD, was introduced in
the second generation of UML. It defines interactions through a variant of activity diagrams in …
the second generation of UML. It defines interactions through a variant of activity diagrams in …
UML 2 interaction overview diagram validation
T Bouabana-Tebibel - 2009 Fourth International Conference …, 2009 - ieeexplore.ieee.org
UML 2 interaction overview diagram, IOD for short, is a variant of UML activity diagrams
where the nodes may be interaction diagrams. Introduced on the UML 2 version, this …
where the nodes may be interaction diagrams. Introduced on the UML 2 version, this …
[LIVRE][B] A formal framework for analyzing sequence diagram
H Shen - 2013 - search.proquest.com
Graphical representations of scenarios, such as UML Sequence Diagrams, serve as a well-
accepted means for modeling the interactions among software systems and their …
accepted means for modeling the interactions among software systems and their …