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

Djamel Benmerzoug, Mahmoud Boufaida, Fabrice Kordon

2007

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 modeled 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.

References

  1. Jae-yoon Jung, W.H., Kang, S.H.: Business Process Choreography for B2B Collaboration. IEEE Internet Computing (2004) 37-45
  2. Luck, M., McBurney, P., Shehory, O., Willmott, S.: Agent Technology: Computing as Interaction - A Roadmap for Agent-Based Computing. AgentLink III, (2005)
  3. Koehler, J., Tirenni, G., Kumaran, S.: From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods. 6th International Enterprise Distributed Object Computing Conference. IEEE Computer Society (2002)
  4. Peregrine B2B Integration Platform, www.peregrine.com
  5. WebMethods B2Bi www.webmethods.com.
  6. Vitria Business Ware. www.vitria.com.
  7. Huget, M., Odell, J.: Representing agent interaction protocols with agent UML. In 3rd International Joint Conference on Autonomous Agents and Multiagent Systems. IEEE Computer Society (2004) 1244-1245
  8. Business Process Execution Language for Web Services Version 1.1, 05 May 2003. http://www-106.ibm.com/developerworks/
  9. OMG; Object Constraint Language Specification; http://www.omg.org/cgi-bin/doc? formal/03-03-13
  10. Benmerzoug, D., Boufaida, Z., Boufaida, M.: From the Analysis of Cooperation Within Organizational Environments to the Design of Cooperative Information Systems: An Agent-Based Approach. R. Meersman et al. (Eds.): OTM Workshops 2004, LNCS Springer-Verlag, (2004) 496-506
  11. Sun Microsystems. Java Web Services Development Pack 1.1. http://java.sun.com/webservices/webservicespack.html/, (2006).
Download


Paper Citation


in Harvard Style

Benmerzoug D., Boufaida M. and Kordon F. (2007). A Specification and Validation Approach for Business Process Integration based on Web Services and Agents . In Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007) ISBN 978-972-8865-95-5, pages 163-168. DOI: 10.5220/0002424301630168


in Bibtex Style

@conference{msvveis07,
author={Djamel Benmerzoug and Mahmoud Boufaida and Fabrice Kordon},
title={A Specification and Validation Approach for Business Process Integration based on Web Services and Agents},
booktitle={Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007)},
year={2007},
pages={163-168},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002424301630168},
isbn={978-972-8865-95-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007)
TI - A Specification and Validation Approach for Business Process Integration based on Web Services and Agents
SN - 978-972-8865-95-5
AU - Benmerzoug D.
AU - Boufaida M.
AU - Kordon F.
PY - 2007
SP - 163
EP - 168
DO - 10.5220/0002424301630168