Loading...
Please wait, while we are loading the content...
Similar Documents
Submodule Construction From Concurrent System Specifications (1998)
| Content Provider | CiteSeerX |
|---|---|
| Author | Ural, H. Haghverdi, E. |
| Abstract | The submodule construction problem (SCP) as stated and formulated by Merlin and Bochmann [P. Merlin, G.V. Bochmann, On the construction of submodule specification and communication protocols, ACM Trans. Prog. Lang. Sys., 5(1) (1983) 1--25] is considered: given the specification of a system (module) and that of its n 2 1 submodules, determine the specification of the nth submodule that together with the given n 2 1 submodules will satisfy the given system specification. We recast SCP in a formal setting and proceed to present and prove the correctness of an algorithm for the solution of SCP where submodules are prefix-closed finite state machines. q 1999 Elsevier Science B.V. All rights reserved. Keywords: Concurrent systems; Stepwise refinement; Submodule construction problem 1. |
| File Format | |
| Journal | Information and Software Technology |
| Publisher Date | 1998-01-01 |
| Access Restriction | Open |
| Subject Keyword | Elsevier Science B.v. Right Nth Submodule Submodule Construction Problem Submodule Construction Concurrent System Specification Submodule Specification Stepwise Refinement Communication Protocol G.v. Bochmann System Specification Concurrent System Acm Trans Prefix-closed Finite State Machine Formal Setting |
| Content Type | Text |