2005
DOI: 10.1007/978-3-540-31980-1_28
|View full text |Cite
|
Sign up to set email alerts
|

Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs

Abstract: Abstract. Communicating Finite States Machines (CFMs) and Message Sequence Graphs (MSC-graphs for short) are two popular specification formalisms for communicating systems. MSC-graphs capture requirements (scenarios), hence they are the starting point of the design process. Implementing an MSC-graph means obtaining an equivalent deadlock-free CFM, since CFMs correspond to distributed messagepassing algorithms. Several partial answers for the implementation have been proposed. E.g., local-choice MSC-graphs form… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
4
0

Year Published

2005
2005
2007
2007

Publication Types

Select...
5

Relationship

0
5

Authors

Journals

citations
Cited by 7 publications
(4 citation statements)
references
References 15 publications
0
4
0
Order By: Relevance
“…Case studies: We applied Smyle to the simple negotiation protocol from [13], the continuous update protocol from [14], a protocol being part of USB 1.1 mentioned in [15], and a variant of the ABP. For the first one, Smyle was provided with 6 positive MSCs and performed 9675 membership and 65 user-queries.…”
Section: Learning ∀-Bounded Product Message-passing Automatamentioning
confidence: 99%
“…Case studies: We applied Smyle to the simple negotiation protocol from [13], the continuous update protocol from [14], a protocol being part of USB 1.1 mentioned in [15], and a variant of the ABP. For the first one, Smyle was provided with 6 positive MSCs and performed 9675 membership and 65 user-queries.…”
Section: Learning ∀-Bounded Product Message-passing Automatamentioning
confidence: 99%
“…To overcome those drawbacks and to be able to specify non finitely generated behavior such as the alternating-bit protocol, compositional high-level MSCs have been introduced by Gunter et al [6]. We would like to stress that, in all aspects, our tool supports this extension, which enjoys many nice properties and increasing popularity [4].…”
Section: Introductionmentioning
confidence: 99%
“…The joint execution behavior of an implementation is obtained by recomposing the instances. We do not consider the unusual implementation with message parameters proposed in [Gen05], which effectively boils down to renaming the messages and shifting the moments of choice. In such an implementation, additional parameters in a request message are sometimes used to fix the choice that should made by the receiver of the request.…”
Section: Implementationsmentioning
confidence: 99%
“…This is caused by the distributed nature of implementations. The best-known phenomenon leading to problems is non-local choice [BAL97], but also other criteria [HJ00, Gen05,MGR05] have been proposed to determine realizability of specifications in practice [MG05]. In this work we develop a formal framework to study such criteria for the MSC extension that is called compositional MSC [GMP03,MM01].…”
Section: Introductionmentioning
confidence: 99%