Research Article
Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications
Algorithm 2
Procedure for obtaining concurrent-based PE-SPECs from sequentially based PE-SPECs.
Procedure: From_Sequential_To_Concurrent_PEs | Inputs: Sequentially based PE-SPECs modeled using FSMs. | Outputs: Corresponding concurrent-based PE-SPECs modeled using FSMs. | Steps: | for each PE-SPEC do | for each state which is an image of a fork state in PE-SPEC do | if state has more than one
outgoing transition then | (1) apply
Partition_Parallel_Paths procedure, | (2) if
is a sending state then | (2.1) apply Re-Model_Parallel_Paths_for_Sending_State procedure, | (2.2) else apply Re-Model_Parallel_Paths_for_Receiving_State procedure. |
|