Ambiguity and structural properties of basic sequence diagrams

Sibertin-Blanc, Christophe; Hameurlain, Nabil; Tahir, Omar

doi:10.1007/s11334-008-0063-2

Cited by 9 publications

(12 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It presents a sequence of messages that may occur during system start-up and monitors the messages exchanged during this run [19].…”

Section: Specific Layout Of the Uml Sequence Diagrammentioning

confidence: 99%

“…UML sequence diagram is a popular notation for the definition of scenarios of operations as its clear graphical layout processing gives instant intuitive understanding of system behaviour [19]. The UML sequence diagram is declared as one of the equivocal UML diagrams, with an implicit and unofficial semantics that designers can give to basic sequence diagram as a result of this conflict [19].…”

Section: Specific Layout Of the Uml Sequence Diagrammentioning

confidence: 99%

“…The UML sequence diagram is declared as one of the equivocal UML diagrams, with an implicit and unofficial semantics that designers can give to basic sequence diagram as a result of this conflict [19].…”

Section: Specific Layout Of the Uml Sequence Diagrammentioning

confidence: 99%

See 2 more Smart Citations

Analysis of Sequence Diagram Layout in Advanced UML Modelling Tools

Nikiforova

Putintsev

Ahiļčenoka

2016

Applied Computer Systems

View full text Add to dashboard Cite

-System modelling using Unified Modelling Language (UML) is the task that should be solved for software development. The more complex software becomes the higher requirements are stated to demonstrate the system to be developed, especially in its dynamic aspect, which in UML is offered by a sequence diagram. To solve this task, the main attention is devoted to the graphical presentation of the system, where diagram layout plays the central role in information perception. The UML sequence diagram due to its specific structure is selected for a deeper analysis on the elements' layout. The authors research represents the abilities of modern UML modelling tools to offer automatic layout of the UML sequence diagram and analyse them according to criteria required for the diagram perception.

show abstract

“…It presents a sequence of messages that may occur during system start-up and monitors the messages exchanged during this run [19].…”

Section: Specific Layout Of the Uml Sequence Diagrammentioning

confidence: 99%

Section: Specific Layout Of the Uml Sequence Diagrammentioning

confidence: 99%

See 1 more Smart Citation

Analysis of Sequence Diagram Layout in Advanced UML Modelling Tools

Nikiforova

Putintsev

Ahiļčenoka

2016

Applied Computer Systems

View full text Add to dashboard Cite

show abstract

“…Interaction Diagrams however only define event traces which must be satisfied in some sense by the behaviour; there may be events which are not shown in the ID. Several semantic interpretations of IDs are discussed in [32], and this work uses the "UML2 interpretation" defined there.…”

Section: Causality and Sequence In A Uml Idmentioning

confidence: 99%

Transformation challenges: from software models to performance models

et al. 2013

View full text Add to dashboard Cite

(1) information supplied in the performance annotations, (2) in interpretation of the global behaviour expressed in the CSM and (3) in the process of constructing the performance model. Flexibility is required for specifying sets of alternative cases, for choosing where this bridging information is supplied, and for overriding values. It is also essential to be able to trace the source of values used in a particular performance estimate. The performance model in turn can be used to verify responsiveness and scalability of a software system, to discover architectural limitations at an early stage of development, and to develop efficient performance tests. This paper describes how the semantic gap between software models in UML+MARTE and performance models (based on queueing or Petri nets) can be bridged using transformations based on CSMs, and how the transformation challenges are addressed.

show abstract

“…The semantics focuses on the sequence of actions that are encountered along the lifeline of each object. Every lifeline has its own flow of control, performs its sequence of actions, and the only synchronization between them are the ones performed by the messages [16].…”

Section: Semantic Mappingmentioning

confidence: 99%

Towards a Formal Behavioral Semantics for UML Interactions

Dan-ning

2010

2010 Third International Symposium on Information Science and Engineering

View full text Add to dashboard Cite

UML interaction diagrams are important in effectively modeling complex system behaviors. But its lack of formal semantics makes it difficult for practitioners to analyze and validate the built model. In this paper, we present a formal behavioral semantics for UML Interactions based on CSP (communicating and sequential processes). The semantics is defined denotationally through semantic mapping specified using QVT Relations in graphical notation. This CSP-based machine-readable semantics supports important flow control related features of UML 2.0, and can be easily understood by humans. Furthermore, the semantics may serve as a foundation for tools supporting model execution, code generation and automated reasoning in model driven development of software system.

show abstract

Ambiguity and structural properties of basic sequence diagrams

Cited by 9 publications

References 15 publications

Analysis of Sequence Diagram Layout in Advanced UML Modelling Tools

Analysis of Sequence Diagram Layout in Advanced UML Modelling Tools

Transformation challenges: from software models to performance models

Towards a Formal Behavioral Semantics for UML Interactions

Contact Info

Product

Resources

About