The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (1991 vol.17)
pp: 814-829
ABSTRACT
<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>
INDEX TERMS
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
CITATION
G. Babin, F. Lustman, P. Shoval, "Specification and Design of Transactions in Information Systems: A Formal Approach", IEEE Transactions on Software Engineering, vol.17, no. 8, pp. 814-829, August 1991, doi:10.1109/32.83916
8 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool