This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Distributed Specification Model and its Prototyping
August 1988 (vol. 14 no. 8)
pp. 1090-1097

A specification model is described that is based on the finite-state machine but is distributed. The model allows the user to decompose a large system into separate views. Each view is a complete system in itself, and reveals how the whole system would behave as seen from a certain angle. Put together, the combined views present a complete picture of the whole system. The complexity of a large centralized system is thus distributed and subdued. The author offers a simple execution scheme for the model. Using a high-level state-transition language called SXL, constructs in the model are expressed as preconditions and postconditions of transitions. The execution scheme allows all the views in the model to proceed in a parallel but harmonious way, producing a working prototype for the modeled system.

[1] A. M. Davis, "The design of a family of application-oriented requirements languages,"Computer, vol. 15, no. 5, pp. 21-28, May 1982.
[2] A. M. Davis, "Rapid prototyping using executable requirements specifications,"ACM Software Eng. Notes, vol. 7, no. 3, pp. 39-44, July 1982.
[3] M. A. Jackson,Principles of Program Design. New York: Academic, 1975.
[4] M. A. Jackson,System Development. Englewood Cliffs, NJ: Prentice-Hall International, 1983.
[5] S. Lee, "On executable models for rule-based prototyping," inProc. 8th Int. Conf. Software Engineering, London, England, Aug. 1985, pp. 210-215.
[6] S. Lee and S. Sluizer, "On using executable specification for high-level prototyping," inProc. Third Int. Workshop Software Specificafion and Design, London, England, Aug. 1985, pp. 130-134.
[7] B. Taylor, "A method for expressing the functional requirements of real-time systems," inProc. Ninth IFAC/IFIP Conf. Real-Time Programming, Liebnitz, Austria, 1980, pp. 111-120.
[8] P. Zave, "An operational approach to requirements specifications for embedded systems,"IEEE Trans. Software Eng., vol. SE-8, no. 3, pp. 250-269, May 1982.
[9] P. Zave, "The operational versus the conventional approach to software development,"Commun. ACM, vol. 27, no. 2, pp. 104-118, Feb. 1984.
[10] P. Zave, "A distributed alternative to finite-state-machine specifications,"ACM Trans. Programming Languages and Syst., vol. 7, no. 1, pp. 10-36, Jan. 1985.

Index Terms:
Boolean expressions; switching systems; software engineering; distributed specification model; prototyping; finite-state machine; complexity; execution scheme; high-level state-transition language; SXL; preconditions; postconditions; distributed processing; finite automata; high level languages; software engineering; specification languages
Citation:
Y. Wang, "A Distributed Specification Model and its Prototyping," IEEE Transactions on Software Engineering, vol. 14, no. 8, pp. 1090-1097, Aug. 1988, doi:10.1109/32.7619
Usage of this product signifies your acceptance of the Terms of Use.