An Algebraic Semantics of Basic Message Sequence Charts

Mauw, Sjouke; Reniers, Michel A.

doi:10.1093/comjnl/37.4.269

Cited by 91 publications

(57 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…On the other hand, Mitchell [21] defined process algebra which is an extension of the Mauw and Reniers' algebraic semantics [24] for sequence diagrams. The proposed process algebra supports the causal semantics [25].…”

Section: Related Workmentioning

confidence: 99%

Synthesis and Refinement Check of Sequence Diagrams

Mitsuishi

Yokogawa

Amasaki

et al. 2012

IEICE Trans. Inf. & Syst.

View full text Add to dashboard Cite

SUMMARYDuring a software development phase where a product is progressively elaborated, it is difficult to guarantee that the refined product retains its original behaviors. In this paper, we propose a method to detect refinement errors in UML sequence diagrams using LTSA (Labeled Transition System Analyzer). The method integrates multiple sequence diagrams using hMSC (high-level Message Sequence Charts) into a sequence diagram. Then, the method translates the diagram into FSP representation, which is the input language of LTSA. The method also supports some combined fragment operators in the UML 2.0 specification. We applied the method to some examples of refined sequence diagrams and checked the correctness of refinement. As a result, we confirmed the method can detect refinement errors in practical time.

show abstract

Section: Related Workmentioning

confidence: 99%

Synthesis and Refinement Check of Sequence Diagrams

Mitsuishi

Yokogawa

Amasaki

et al. 2012

IEICE Trans. Inf. & Syst.

View full text Add to dashboard Cite

show abstract

“…Mauw and Reniers [MR94] used a process algebra to interpret the semantics of bMSC and this approach has been adopted as the standard semantics for bMSC [IT98]; Grabowski et al [GGR93] proposed petri-net based semantics for bMSC; Ladkin and Leue [LL93] used Büchi Automata to capture the meaning of bMSC; Jonsson and Padilla [JP01] used Abstract Execution Machines to describe bMSC semantics and at the same time, considered inline expressions and data in bMSCs; Alur et al [AHP96] were the first to use labelled partially-ordered structures to formalize bMSCs.…”

Section: Related Workmentioning

confidence: 99%

“…In particular, those based on partial order theory have been widely adopted in both research and industry, because they are conceptually straightforward when compared with counterparts such as process algebra based semantics [MR94]. Henceforth, we use the term 'traditional semantics' to refer to partial order based semantics.…”

Section: Introductionmentioning

confidence: 99%

Thread–Based Analysis of Sequence Diagrams

Dan

Hierons

Counsell

2007

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Sequence Diagrams (SDs) offer an intuitive and visual way of describing expected behaviour of Object Oriented (OO) software. They focus on modelling the method calls among participants of a software system at runtime. This is an essential difference from its ancestor, basic Message Sequence Charts (bMSCs), which are mainly used to model the exchange of asynchronous messages. Since method calls are regarded as synchronous messages in the Unified Modelling Language (UML) Version 2.0, synchronous messages play a significantly more important role in SDs than in bMSCs. However, the effect of this difference has not been fully explored in previous work on the semantics of SDs. One important aim of this paper is to identify the differences between SDs and bMSCs. We observe that using traditional semantics to interpret SDs may not interpret SDs correct under certain circumstances. Consequently, we propose a new method to interpret SDs which uses thread tags to deal with identified problems.

show abstract

“…Historically, in the mid-1990'ies there was a lot of exploratory academic work on MSC [16][17][18][19][20], while recently academics in general are turning more towards UML for the same opportunistic reasons as does the industry. We will probably see contributions in the UML community that corresponds well with results in the SDL/MSC community in the previous century [10].…”

Section: Formal Semanticsmentioning

confidence: 99%