Communicating sequential processes
Communicating sequential processes
Process algebra
Object-oriented SSADM
Formal deadlock elimination in an object oriented conceptual schema
Data & Knowledge Engineering
A comprehensive study of the complexity of multiparty interaction
Journal of the ACM (JACM)
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
A design framework for Internet-scale event observation and notification
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
IEEE Transactions on Software Engineering
Issues in supporting event-based architectural styles
ISAW '98 Proceedings of the third international workshop on Software architecture
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The JEDI Event-Based Infrastructure and Its Application to the Development of the OPSS WFMS
IEEE Transactions on Software Engineering
Object-Oriented Enterprise Modelling with Merode
Object-Oriented Enterprise Modelling with Merode
A Calculus of Communicating Systems
A Calculus of Communicating Systems
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Yeast: A General Purpose Event-Action System
IEEE Transactions on Software Engineering
Engineering Event-Based Systems with Scopes
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
The UML as a Formal Modeling Notation
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Using Events to Build Distributed Applications
SDNE '95 Proceedings of the 2nd International Workshop on Services in Distributed and Networked Environments
Formal languages and their relation to automata
Formal languages and their relation to automata
Management and enterprise architecture click: The FAD(E)E framework
Information Systems Frontiers
Analysis of business process integration in Web service context
Future Generation Computer Systems
An Event-Based Model for the Management of Choreographed Services
EC-Web '08 Proceedings of the 9th international conference on E-Commerce and Web Technologies
Data & Knowledge Engineering
Interaction protocol mediation in web service composition
International Journal of Web Engineering and Technology
Behavior based integration of composite business processes
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Hi-index | 0.00 |
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.