Patterns for modelling time and consistency in business information systems

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

doi:10.1109/ICECCS.2010.43

Patterns for modelling time and consistency in business information systems

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

Newcastle University

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

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 language	English
Title of host publication	2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)
Publisher	IEEE
Pages	105-114
Number of pages	10
ISBN (Electronic)	978-1-4244-6639-9
ISBN (Print)	978-1-4244-6638-2
DOIs	https://doi.org/10.1109/ICECCS.2010.43
Publication status	Published - 11 Nov 2010
Event	International Conference on Engineering of Complex Computer Systems - Oxford, United Kingdom Duration: 22 Mar 2010 → 26 Mar 2010 Conference number: 15

Conference

Conference	International Conference on Engineering of Complex Computer Systems
Abbreviated title	ICECCS
Country/Territory	United Kingdom
City	Oxford
Period	22/03/10 → 26/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

Access to Document

10.1109/ICECCS.2010.43

Cite this

Bryans, JW, Fitzgerald, JS, 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). IEEE, pp. 105-114, International Conference on Engineering of Complex Computer Systems, Oxford, United Kingdom, 22/03/10. https://doi.org/10.1109/ICECCS.2010.43

@inproceedings{2ac4f11ca0764337a2c63387277deafb,

title = "Patterns for modelling time and consistency in business information systems",

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.",

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",

author = "J.W. Bryans and J.S. Fitzgerald and A. Romanovsky and A. Roth",

year = "2010",

month = nov,

day = "11",

doi = "10.1109/ICECCS.2010.43",

language = "English",

isbn = "978-1-4244-6638-2",

pages = "105--114",

booktitle = "2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)",

publisher = "IEEE",

address = "United States",

note = "International Conference on Engineering of Complex Computer Systems, ICECCS ; Conference date: 22-03-2010 Through 26-03-2010",

}

TY - GEN

T1 - Patterns for modelling time and consistency in business information systems

AU - Bryans, J.W.

AU - Fitzgerald, J.S.

AU - Romanovsky, A.

AU - Roth, A.

N1 - Conference code: 15

PY - 2010/11/11

Y1 - 2010/11/11

N2 - 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.

AB - 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.

KW - Business

KW - Adaptation model

KW - Concrete

KW - Analytical models

KW - Semantics

KW - Frequency modulation

KW - Information systems

KW - information systems

KW - Rodin tools

KW - time modelling

KW - consistency modelling

KW - business information systems

KW - distributed information systems

KW - event-b

KW - Error Recovery

KW - Real-time

KW - Patterns

KW - Formal Verification

KW - Event-B

U2 - 10.1109/ICECCS.2010.43

DO - 10.1109/ICECCS.2010.43

M3 - Conference proceeding

SN - 978-1-4244-6638-2

SP - 105

EP - 114

BT - 2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)

PB - IEEE

T2 - International Conference on Engineering of Complex Computer Systems

Y2 - 22 March 2010 through 26 March 2010

ER -

Patterns for modelling time and consistency in business information systems

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this