FIGURE 1
Source publication
This paper presents a new specification language called ARC. The language ARC is designed for specifying systems where communication plays a pivotal role. ARC takes simple message sequence charts as a starting point and extends them to allow the precise specification of complex communication behaviour. ARC includes the language COLD-K for specifyin...
Similar publications
p>Recently, semantic communications have been considered as a promising beyond-Shannon paradigm to reduce network traffic and increase reliability, thus making wireless networks more energy efficient, robust, and sustainable. However, the performance is limited by the efficiency of the semantic transceivers, i.e., the achievable “similarity” betwee...
Many local information systems struggle to remain viable over time. The low volume of new content that is generated each day in a local community places burdens on the sustainability of such systems. To shed light on designing for local communities, we investigated the content, design and significance of paper-based bulletin boards as sustainable l...
In modern communication systems, noise represents the source of errors that disturb useful information signals for communication. In biological systems, however, noise plays important roles for their functions. In this position paper, we point out that, in designing and engineering molecular communication systems, noise may be removed as in traditi...
p>Recently, semantic communications have been considered as a promising beyond-Shannon paradigm to reduce network traffic and increase reliability, thus making wireless networks more energy efficient, robust, and sustainable. However, the performance is limited by the efficiency of the semantic transceivers, i.e., the achievable “similarity” betwee...
Citations
SUMMARY Message Sequence Chart (MSC) standardized by International Telecommunication Union is a graphical and textual language for specification of concurrent systems. It has been used formally as well as informally to specify behavior of real-time systems, in particular telecommunication switching systems. Formal verification of a system specification is crucial to ensure that implementation of the system works correctly. In particular, verification methods based on finite states have been widely used in telecommunication systems design. The methods determine global system states and transitions between them (i.e., build a global state transition graph (GSTG)), and verify the system's desired properties, such as safety and liveness, on the GSTG. In this paper, we focus on construction of GSTGs from MSC specifications. We propose action dependency graph as an intuitive description of semantics of MSC specifications and present an algorithm to translate MSC specifications to action dependency graphs as well as an algorithm to construct a global state transition graph from an action dependency graph.
