Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications

Algorithm 1

The synthesis algorithm.

Synthesis algorithm. Derivation of concurrent protocol specification from a service specification.

Input: EFSM-based service specification.

Output: Concurrent FSM-based PE-SPECs.

Steps:

  (1) apply the sequential-based protocol synthesis method introduced in Saleh and Probert [4],

  (2) apply the From_Sequential_To_Concurrent_PEs procedure given in Algorithm 2 to obtain the concurrent PE-SPECs.