Skip to Main content Skip to Navigation
Conference papers

A Specification and Validation Approach for Business Process Integration Based on Web Services and Agents

Djamel Benmerzoug 1 Mahmoud Boufaïda Fabrice Kordon 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : In this paper, we present a new approach for business processes integration. Our approach is based on interaction protocols that enable autonomous, distributed business process modules to integrate and collaborate. In our case, the business processes integration is modelled using AUML and specified using BPEL4WS. Furthermore and to increase the reliability of interaction protocols at design time, our approach presented in this paper can validate the BPEL4WS specification with business constraints (specified by means of OCL). The validated BPEL4WS specification is considered as a specification language for expressing the interaction protocols of the multi-agents system, which can then intelligently adapt to changing environmental conditions.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01334853
Contributor : Lip6 Publications <>
Submitted on : Tuesday, June 21, 2016 - 2:21:37 PM
Last modification on : Thursday, March 21, 2019 - 2:39:24 PM

Identifiers

  • HAL Id : hal-01334853, version 1

Citation

Djamel Benmerzoug, Mahmoud Boufaïda, Fabrice Kordon. A Specification and Validation Approach for Business Process Integration Based on Web Services and Agents. 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS'07), Jun 2007, Madeira, Portugal. pp.163-168. ⟨hal-01334853⟩

Share

Metrics

Record views

152