Formal modelling and analysis of business information applications with fault tolerant middleware

Jeremy Bryans, John Fitzgerald, Alexander Romanovsky, Andreas Roth

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

    8 Citations (Scopus)


    Distributed information systems are critical to the functioning ofmany businesses; designing them to be dependable is a challenging butimportant task. We report our experience in using formal methods toenhance processes and tools for development of business informationsoftware based on service-oriented architectures. In our work, whichtakes place in an industrial setting, we focus on the configuration ofmiddleware, verifying application-level requirements in the presenceof faults. In pilot studies provided by SAP, we used the Event-Bformalism and the open Rodin tools platform to prove properties ofmodels of business protocols and expose weaknesses of certainmiddleware configurations with respect to particular protocols. Wethen extended the approach to use models automatically generated fromdiagrammatic design tools, opening the possibility of seamlessintegration with current development environments. Increasedautomation in the verification process, through domain-specific modelsand theories, is a goal for future work.
    Original languageEnglish
    Title of host publicationInternational Conference on Engineering of Complex Computer Systems
    Number of pages10
    ISBN (Print)978-0-7695-3702-3
    Publication statusPublished - 23 Jun 2009


    • Information analysis
    • Fault tolerance
    • Middleware
    • Service oriented architecture
    • Application software
    • Protocols
    • Distributed computing
    • Information systems
    • Design engineering
    • Fault tolerant systems
    • Web services
    • business data processing
    • configuration management
    • formal verification
    • middleware
    • software architecture
    • software fault tolerance
    • verification process
    • business information software
    • fault tolerant middleware
    • formal modelling
    • distributed information system
    • service-oriented architecture
    • middleware configuration
    • Event-B formalism
    • open Rodin tools platform
    • diagrammatic design tool


    Dive into the research topics of 'Formal modelling and analysis of business information applications with fault tolerant middleware'. Together they form a unique fingerprint.

    Cite this