Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | Formal Description Techniques III |
| Subtitle of host publication | Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990 |
| Editors | Juan Quemada, José Mañas, Enrique Vázquez |
| Place of Publication | Amsterdam |
| Publisher | Elsevier |
| Pages | 411-426 |
| Number of pages | 16 |
| ISBN (Print) | 978-0-444-89024-5 |
| Publication status | Published - 1991 |
| Event | IFIP TC/WG6.1 3rd International Conference on Formal Description Techniques for Distributed and Communication Protocols, FORTE 1990 - Madrid, Spain Duration: 5 Nov 1990 → 8 Nov 1990 Conference number: 3 |
Conference
| Conference | IFIP TC/WG6.1 3rd International Conference on Formal Description Techniques for Distributed and Communication Protocols, FORTE 1990 |
|---|---|
| Abbreviated title | FORTE 1990 |
| Country/Territory | Spain |
| City | Madrid |
| Period | 5/11/90 → 8/11/90 |
Keywords
- SCS-Services