On the design and formal specification of a transaction processing protocol

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    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 languageEnglish
    Title of host publicationFormal Description Techniques III
    Subtitle of host publicationProceedings 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
    EditorsJuan Quemada, José Mañas, Enrique Vázquez
    Place of PublicationAmsterdam
    PublisherElsevier
    Pages411-426
    Number of pages16
    ISBN (Print)978-0-444-89024-5
    Publication statusPublished - 1991
    EventIFIP TC/WG6.1 3rd International Conference on Formal Description Techniques for Distributed and Communication Protocols, FORTE 1990 - Madrid, Spain
    Duration: 5 Nov 19908 Nov 1990
    Conference number: 3

    Conference

    ConferenceIFIP TC/WG6.1 3rd International Conference on Formal Description Techniques for Distributed and Communication Protocols, FORTE 1990
    Abbreviated titleFORTE 1990
    CountrySpain
    CityMadrid
    Period5/11/908/11/90

    Keywords

    • SCS-Services

    Fingerprint Dive into the research topics of 'On the design and formal specification of a transaction processing protocol'. Together they form a unique fingerprint.

    Cite this