Journal ArticleDOI
Synthesizing Distributed Protocol Specifications from a UML State Machine Modeled Service Specification
Jehad Al Dallal,Kassem Saleh +1 more
Reads0
Chats0
TLDR
A synthesis method is proposed that automatically synthesizes the protocol specification of distributed protocol entities from the service specification, given that both types of specifications are modeled in UML protocol state machines.Abstract:
The object-oriented paradigm is widely applied in designing and implementing communication systems. Unified Modeling Language (UML) is a standard language used to model the design of object-oriented systems. A protocol state machine is a UML adopted diagram that is widely used in designing communication protocols. It has two key attractive advantages over traditional finite state machines: modeling concurrency and modeling nested hierarchical states. In a distributed communication system, each entity of the system has its own protocol that defines when and how the entity exchanges messages with other communicating entities in the system. The order of the exchanged messages must conform to the overall service specifications of the system. In object-oriented systems, both the service and the protocol specifications are modeled in UML protocol state machines. Protocol specification synthesis methods have to be applied to automatically derive the protocol specification from the service specification. Otherwise, a time-consuming process of design, analysis, and error detection and correction has to be applied iteratively until the design of the protocol becomes error-free and consistent with the service specification. Several synthesis methods are proposed in the literature for models other than UML protocol state machines, and therefore, because of the unique features of the protocol state machines, these methods are inapplicable to services modeled in UML protocol state machines. In this paper, we propose a synthesis method that automatically synthesizes the protocol specification of distributed protocol entities from the service specification, given that both types of specifications are modeled in UML protocol state machines. Our method is based on the latest UML version (UML2.3), and it is proven to synthesize protocol specifications that are syntactically and semantically correct. As an example application, the synthesis method is used to derive the protocol specification of the H.323 standard used in Internet calls.read more
Citations
More filters
Book
Industrial Communication Protocol Engineering Using UML 2.0
TL;DR: This paper evaluates the suitability of UML 2.0 combined with its Testing profile for the engineering of industrial communication protocols using a case study.
Proceedings ArticleDOI
A method based on hierarchical analysis and UML state machine for disassembly and assembly process simulation
Chen Jingjie,Li Huiru +1 more
TL;DR: A process modeling method, combining UML state machine and hierarchical analysis, is presented to address the problems of non-simple disassembly and assembly procedure and enormous system models in the aircraft maintenance training system.
Posted Content
Derivation of Network Reprogramming Protocol with Z3.
TL;DR: Using SMT solvers to automate the protocol generation is the key idea behind the presented synthesis approach and the protocols generated followed the most optimal way of data transmission for the given network requirements.
Proceedings ArticleDOI
Time assignment for distributed service and protocol UML-based specifications
TL;DR: This paper addresses the problem of time assignment to the events defined in the service specification and shows how to extend a technique that automatically synthesizes protocol specifications from a service specification to consider the timing constraints given in theservice specification.
References
More filters
Journal Article
Composition of Service and Protocol Specifications in Asynchronous Communication System
Noppadol Maneerat,Ruttikorn Varakulsiripunth,Bhed Bahadur Bista,Kaoru Takahashi,Yasushi Kato,Norio Shiratori +5 more
TL;DR: A new approach to the composition technique based on the weak bisimulation concept is presented to combine service specifications and protocol specifications individually and simultaneously and can maintain the equivalence between the composed service and Protocol specifications.
Journal ArticleDOI
Petri net-based protocol synthesis with minimum communication costs
TL;DR: An integer linear programming model that derives distributed applications with minimum communication costs is proposed that can treat several reasonable cost criteria that could be used in various related application areas.
Proceedings ArticleDOI
Composition of service and protocol specifications
TL;DR: This work proposes compositional techniques for simultaneously combining service specifications and protocol specifications based on formal description techniques (FDTs) called LOTOS, and uses the weak bisimulation equivalence (/spl ap/), to represent the correctness properties between the service specification and the protocol specification.
Journal ArticleDOI
Deriving protocol specifications from service specifications written as predicate/transition-nets
TL;DR: A new algorithm for deriving a protocol specification that defines the behavior of N communicating entities that execute on the N sites and coordinate their actions in order to conform to the global behavior defined by the service specification.
Book ChapterDOI
On specifying services and synthesizing protocols for real-time applications
TL;DR: In this article, a detailed model for specifying a desired service to be provided by a real-time discrete event system is presented. But the model does not consider the temporal requirements between events which are not necessarily consecutive.