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 proceeding

    8 Citations (Scopus)

    Abstract

    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
    PublisherIEEE
    Pages68-77
    Number of pages10
    ISBN (Print)978-0-7695-3702-3
    DOIs
    Publication statusPublished - 23 Jun 2009

      Fingerprint

    Keywords

    • 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

    Cite this

    Bryans, J., Fitzgerald, J., Romanovsky, A., & Roth, A. (2009). Formal modelling and analysis of business information applications with fault tolerant middleware. In International Conference on Engineering of Complex Computer Systems (pp. 68-77). IEEE. https://doi.org/10.1109/ICECCS.2009.29