Abstract

Today many companies rely on third party applications and application services for (part of) their information systems. When applications from different parties are used together, an integration problem arises. Similarly, cross-organisational application integration requires the coordination of distributed processing across several autonomous applications. In this paper, we describe an integration approach based on an event-based coordination paradigm. Interaction is based on atomic units of interaction called “business events”. Each business event mirrors some event in the real world that requires the coordination of actions within a number of components. The coordination between applications is achieved by having applications specify preconditions for business events. As a result, a business event becomes a small scale contract between involved applications: each application can insert its own clauses into the contract by specifying preconditions. Moreover, a formal method for contract analysis is proposed, to verify whether the contract is free from contradictions and inconsistencies. Finally, in addition to its contracting aspect, the event-based communication paradigm entails a dispatching and coordination mechanism, which offers the additional advantage of a complete separation of the coordination aspects from the functionality aspects. The paper discusses different alternative architectures for event-based coordination, with particular emphasis on distributed, loosely coupled environments such as web services.

Author Keywords: Event-based coordination paradigm; Business events; Preconditions; Contract analysis

Article Outline

1. Introduction

2. Business event-based design

3. Business event-based coordination

4. Analysing contracts

4.1. Contract management capabilities

4.2. Distributed versus centralised contract management

5. Architectures for event dispatchers

6. Related work

6.1. Event-based conceptual modelling

6.2. Design and architectures of notification services

6.3. Process algebras for event systems: multiparty interaction and distributed systems

7. Conclusions and further research

Appendix A. Formal definition of regular expressions, regular languages and parallel composition

References

Vitae