The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (1988 vol.14)
pp: 1090-1097
ABSTRACT
<p>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.</p>
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, August 1988, doi:10.1109/32.7619
15 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool