On the Design and Formal Specification of a Transaction Processing Protocol
Marten J. Van Sinderen, Ing Widya · University of Twente Research Information · 1990
This paper presents the design and formal specification of a protocol that provides support for online transaction processing. The design approach taken is one that supports stepwise refinement and incorporates formal methods based on the formal description technique LOTIOS. The concepts of the design approach are explained and related to the design problem at hand. Three phases of the design are discussed: requirements capturing, the design of a service architecture, and the design of a protocol architecture. The two architectural designs illustrate a formal reflection of the OSI Transaction Processing Model. They are expressed as compositions of LOTOS process instances. A report on the current status of the design and an outlook on further work is included.