Patterns for modelling time and consistency in business information systems

J.W. Bryans, J.S. Fitzgerald, A. Romanovsky, A. Roth

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding

    10 Citations (Scopus)

    Abstract

    Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current work aims to use Event-B and the Rodin tools to support the specification and design of such systems in a way that integrates well into existing development processes. This paper presents Event-B patterns that may be used to represent recovery from time-bounded inconsistency and illustrates their use in a model derived from industrial applications.
    Original languageEnglish
    Title of host publication2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)
    PublisherIEEE
    Pages105-114
    Number of pages10
    ISBN (Electronic)978-1-4244-6639-9
    ISBN (Print)978-1-4244-6638-2
    DOIs
    Publication statusPublished - 11 Nov 2010
    EventInternational Conference on Engineering of Complex Computer Systems - Oxford, United Kingdom
    Duration: 22 Mar 201026 Mar 2010
    Conference number: 15

    Conference

    ConferenceInternational Conference on Engineering of Complex Computer Systems
    Abbreviated titleICECCS
    CountryUnited Kingdom
    CityOxford
    Period22/03/1026/03/10

    Keywords

    • Business
    • Adaptation model
    • Concrete
    • Analytical models
    • Semantics
    • Frequency modulation
    • Information systems
    • information systems
    • Rodin tools
    • time modelling
    • consistency modelling
    • business information systems
    • distributed information systems
    • event-b
    • Error Recovery
    • Real-time
    • Patterns
    • Formal Verification
    • Event-B

    Fingerprint Dive into the research topics of 'Patterns for modelling time and consistency in business information systems'. Together they form a unique fingerprint.

  • Cite this

    Bryans, J. W., Fitzgerald, J. S., Romanovsky, A., & Roth, A. (2010). Patterns for modelling time and consistency in business information systems. In 2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) (pp. 105-114). IEEE. https://doi.org/10.1109/ICECCS.2010.43