A stepwise refinement based approach for synthesizing protocol specifications in an interpreted Petri net model

Journal of the Franklin Institute

et al. 2006

Section: Introductionmentioning

confidence: 99%

Petri net-based protocol synthesis with minimum communication costs

El-Fakih

Journal of the Franklin Institute

et al. 2006

“…This strategy deals with real-time distributed systems. The last strategy, [9,13,18,19,24,28,29,31], deals with the management of distributed resources such as files and databases. The objective is to determine how the values of these distributed resources are updated or exchanged among PE's for a given resource allocation.…”

Section: Introductionmentioning

confidence: 99%

Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets

El-Fakih

et al. 2003

Distributed Computing

Protocol synthesis is used to derive a protocol specification, that is, the specification of a set of application components running in a distributed system of networked computers, from a specification of services (called the service specification) to be provided by the distributed application to its users. Protocol synthesis reduces design costs and errors by specifying the message exchanges between the application components, as defined by the protocol specification. In general, maintaining such a distributed application involves applying frequent minor modifications to the service specification due to changes in the user requirements. Deriving the protocol specification after each modification using the existing synthesis methods is considered expensive and time consuming. Moreover, we cannot identify what changes we should make to the protocol specification in correspondence to the changes in the service specification. In this paper, we present a new synthesis method to re-synthesize only those parts of the protocol specification that must be modified in order to satisfy the changes in the service specification. The method consists of a set of simple rules that are applied to the protocol specification written in an extended Petri net model. An application example is given along with some experimental results.

show abstract

“…Protocol synthesis methods have been used to specify and derive such complex message exchanges automatically in order to reduce the design costs and errors that may occur when manual methods are used. Recently, many synthesis methods have been proposed which use CCS based models or LOTOS [3][4][5], FSM based models [6,10] and Petri net based models [7][8][9] as service definition languages.…”

Section: Introductionmentioning

confidence: 99%

“…Moreover, in order to implement each transition of the service specification handling multiple tokens with values, a new protocol to exchange tokens between entities is introduced. Some existing synthesis methods also allow to treat variables (parameters) in their modeling languages like a CCS-based model with I/O parameters [4] and Petri nets with external variables [7,9]. However, since these existing methods mainly focus on value exchanges between entities, only simple control flows are allowed (the combination of choices and synchronization involving parameters, which often represents resource conflict, is not allowed).…”

Section: Introductionmentioning

confidence: 99%

Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems

Formal Techniques for Networked and Distributed Systems - FORTE 2003

Higashino

2003