A Specification and Validation Approach for Business Process Integration Based on Web Services and Agents - Archive ouverte HAL
Communication Dans Un Congrès Année : 2007

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

Djamel Benmerzoug
  • Fonction : Auteur
  • PersonId : 968373
Mahmoud Boufaïda
  • Fonction : Auteur
Fabrice Kordon

Résumé

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.
Fichier non déposé

Dates et versions

hal-01334853 , version 1 (21-06-2016)

Identifiants

  • HAL Id : hal-01334853 , version 1

Citer

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⟩
142 Consultations
0 Téléchargements

Partager

More