A distributed alternative to finite-state-machine specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
On executable models for rule-based prototyping
ICSE '85 Proceedings of the 8th international conference on Software engineering
The operational versus the conventional approach to software development
Communications of the ACM
Rapid prototyping using executable requirements specifications
Proceedings of the workshop on Rapid prototyping
Principles of Program Design
An Executable Language for Modeling Simple Behavior
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
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.