Sciweavers

100 search results - page 13 / 20
» Constraint Checking for Business Process Management
Sort
View
CAISE
2000
Springer
13 years 12 months ago
Design Principles for Application Integration
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
Paul Johannesson, Erik Perjons
EON
2008
13 years 9 months ago
Abductive Synthesis of the Mediator Scenario with jABC and GEM
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...
Christian Kubczak, Tiziana Margaria, Matthias Kais...
BPM
2004
Springer
119views Business» more  BPM 2004»
14 years 1 months ago
A Workflow-Oriented System Architecture for the Management of Container Transportation
In this paper, we introduce a workflow-oriented system architecture for the processing of client requests (CRs) for container transportation. In the context of multi-transfer conta...
Sarita Bassil, Rudolf K. Keller, Peter G. Kropf
DEXA
2006
Springer
152views Database» more  DEXA 2006»
13 years 11 months ago
Concurrency Management in Transactional Web Services Coordination
The Business Process Execution Language BPEL4WS has emerged to introduce process dimension in Web Services coordination. At the same time, a lot of needs related to business proces...
Adnene Guabtni, François Charoy, Claude God...
CAISE
2006
Springer
13 years 11 months ago
Experiences with Modeling and Verification of Regulations
Information system models commonly describe organizations in terms of the structure of the data they use, the organization of the processes they perform and the operations that wil...
Jan Vanthienen, Christophe Mues, Stijn Goedertier