Generating FSMs from interworkings

Feijs, Loe

doi:10.1007/s004460050053

Cited by 4 publications

(5 citation statements)

References 9 publications

(18 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The main difference is that Interworkings describe synchronous communication, whereas Message Sequence Charts describe asynchronous communication. The semantics of MSC as described in [MR99,Ren99] is also very similar to the semantics of IW.…”

Section: Interworkings and Similar Languagesmentioning

confidence: 97%

A Process Algebra for Interworkings

Mauw

Reniers

2001

Handbook of Process Algebra

View full text Add to dashboard Cite

The Interworking language (IW) is a graphical formalism for displaying the communication behaviour of system components. In this chapter, we develop a formal semantics for the Interworking language. This semantics must support the analysis of (collections of) Interworking diagrams and allow to express the relation between diagrams. We will explain how techniques from process algebra can be successfully applied to this problem. Thereto, we introduce process operators for expressing the relationship between Interworking diagrams. We define a number of process algebras with increasing complexity. For each of these we prove completeness with respect to an operational semantics.

show abstract

Section: Interworkings and Similar Languagesmentioning

confidence: 97%

A Process Algebra for Interworkings

Mauw

Reniers

2001

Handbook of Process Algebra

View full text Add to dashboard Cite

show abstract

“…Thereto many algorithms (e.g. [4,5]) have been proposed. Although they differ in the formalism that is used for the transformation (process algebra, automata theory, etc.)…”

Section: Related Workmentioning

confidence: 99%

“…Our formalizations are based on process algebra notation in ACP-style [12], like it is used by [4]. As formalization of node M in Figure 5 we obtain:…”

Section: Formalizationmentioning

confidence: 99%

See 1 more Smart Citation

Dealing with Non-local Choice in IEEE 1073.2’s Standard for Remote Control

Mooij

Goga

2005

System Analysis and Modeling

View full text Add to dashboard Cite

Abstract. Currently, communication protocols for medical devices are being developed for the IEEE 1073.2 standard. The protocol description in its draft remote control package consists of a collection of intended behaviors in terms of MSCs. We have contributed to actually constructing the protocol, ranging from determining an hMSC for these MSCs, via synthesizing process implementations, to integrating it with the basic underlying IEEE 1073.2 protocol. In this paper we report on the non-local choice problems we encountered. We present a practical solution (i.e. an implementation) which on the one hand is close to the behavior specified in the hMSC, and on the other hand meets correctness properties such as deadlock freedom. These properties have been checked using the Spin model checker. We also give some directions for generalizing and extending this work.

show abstract

“…In theory, MSC can also be used for writing specifications. In the literature several papers deal with the generation of a formal specification from a set of (requirement) MSCs: in {28, 29,30] SDL descriptions are generated, in [31] statecharts are generated, and in [32] ROOM models are generated.…”

Section: Specificationmentioning

confidence: 99%