Issue No. 08 - August (1991 vol. 17)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.83916
<p>In conventional information systems development, consistency between requirements specifications and design is achieved by manual checking. The application of the transformational paradigm to the specification and design phases is proposed. Requirements are expressed in the ADISSA notation, using the ADISSA method, a transaction-oriented refinement of structured systems analysis. The control part of a transaction is transformed into a formal specification, the FSM (finite state machine) transaction, by applying a set of rules. The design stage is realized by an algorithm which compares the FSM transaction into simpler transactions and implements them with a hierarchical set of finite-state machines. Consistency between the formal specification and the result of the design is achieved by proving that the latter has the same behavior as the former.</p>
formal approach; conventional information systems development; requirements specifications; manual checking; transformational paradigm; ADISSA notation; transaction-oriented refinement; structured systems analysis; formal specification; FSM; finite state machine; hierarchical set; data integrity; finite automata; formal specification; structured programming; systems analysis; transaction processing
G. Babin, F. Lustman and P. Shoval, "Specification and Design of Transactions in Information Systems: A Formal Approach," in IEEE Transactions on Software Engineering, vol. 17, no. , pp. 814-829, 1991.