This Article 
 Bibliographic References 
 Add to: 
Constructing Submodule Specifications and Network Protocols
November 1988 (vol. 14 no. 11)
pp. 1565-1577

Applications of an automated tool for module specification (ATMS) that finds the specification for a submodule of a system are presented. Given the specification of a system, together with the specification for n-1 submodules, the ATMS constructs the specification for the nth addition submodule such that the interaction among the n submodules is equivalent to the specification of the system. The implementation of the technique is based on an approach proposed by P. Merlin and G.B. Bochmann (1983). The specification of a system and its submodules consists of all possible execution sequences of their individual operations. The ATMS uses finite-state machine concepts to represent the specifications and interactions of the system and its submodules. The specification found by the ATMS for a missing module of a system is the most general one, if one exists. Application of the ATMS in the area of communication protocols is discussed. A manual process to find the specification for a missing module using the Merlin-Bochmann technique is time-consuming and prone to errors. The automated tool presented proves a reliable method for constructing such a module.

[1] A. V. Aho, J. E. Hopcroft, and J. D. Ullman,The Design and Analysis of Computer Algorithms. Menlo Park, CA: Addison-Wesley, 1974.
[2] J. Aristizabal and D. P. Sidhu, "Specifying modules for communication protocols," inProc. IEEE Global Telecommun. Conf., 1986.
[3] G. v. Bochmann, "Finite state description of communication protocols,"Comput. Networks, vol. 2, no. 4/5, pp. 361-372, Oct. 1978.
[4] J.E. Hopcroft and J.D. Ullman,Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, Mass., 1979.
[5] P. Merlin and G. Bochmann, "On the construction of submodule specifications and communication protocols,"ACM TOPLAS, vol. 5, no. 1, pp. 1-25, 1983.
[6] Parnas, D.L. 1972. On the Criteria to be Used in Decomposing Systems into Modules,Communications of the ACM, Vol.15, pp. 1053-1058.
[7] H. Zimmermann, "OSI reference model--The ISO model of architecture for Open Systems Interconnection,"IEEE Trans. Commun., vol. COM-28, no. 4, pp. 425-432, Apr. 1980.
[8] P. Zafiropouloet al., "Towards analysing and synthesizing protocols,"IEEE Trans. Commun., vol. COM-28, pp. 655-660, Apr. 1980.
[9] C. V. Ramamoorthy, S. T. Dong, and Y. Usuda, "An implementation of an automated protocol synthesizer (APS) and its application to the X.21 protocol,"IEEE Trans. Software Eng., vol. SE-11, no. 9, pp. 886-908, Sept. 1985.
[10] D. P. Sidhu and J. Aristizabal, "Constructing submodule specifications and network protocols," Iowa State Univ., Tech. Rep. 86-12, 1986.

Index Terms:
formal specification; submodule specifications; network protocols; automated tool; module specification; execution sequences; finite-state machine; communication protocols; finite automata; formal specification; protocols; software tools
D.P. Sidhu, J. Aristizabal, "Constructing Submodule Specifications and Network Protocols," IEEE Transactions on Software Engineering, vol. 14, no. 11, pp. 1565-1577, Nov. 1988, doi:10.1109/32.9045
Usage of this product signifies your acceptance of the Terms of Use.