This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Structured Specification of Communicating Systems
February 1983 (vol. 32 no. 2)
pp. 120-133
G.V. Bochmann, Departement d'Informatique et de Recherche Operationnalle, Universite de Montreal
Specification methods for distributed systems is the underlying theme of this paper. A model of communicating processes with rendezvous interactions is assumed as a basis for the discussion. The possible interactions by a process, and the interconnection between several subprocesses within a process are specified using the concept of ports, which are specified separately. Step-wise refinement of process specifications and associated verification rules are considered. The step-wise refinement of port specifications and associated interactions is considered as well. After the presentation of an introductory example, the paper discusses the basic concepts of the specification method. They are then applied to more complex examples. The step-wise wefinement of ports and interactions is demonstrated by a hardware interface for which an abstract specification and a more detailed implementation is given. Proof rules for verifying the consistency of detailed and more abstract specifications are discussed in some detail.
Index Terms:
step-wise refinement, Communication processes, design verification, distributed system design, interface specifications, parallel processing, ports, specification consistency, specification language, specification methods
Citation:
G.V. Bochmann, M. Raynal, "Structured Specification of Communicating Systems," IEEE Transactions on Computers, vol. 32, no. 2, pp. 120-133, Feb. 1983, doi:10.1109/TC.1983.1676197
Usage of this product signifies your acceptance of the Terms of Use.