TOWARDS A BUSINESS PROCESS FORMALISATION BASED ON AN ARCHITECTURE CENTRED APPROACH

Fabien Leymonerie, Lionel Blanc Dit Jolicoeur, Sorana Cîmpan, Christian Braesch, Flavio Oquendo

2004

Abstract

Nowadays, enterprises need to control their business processes and to manage more and more information. EAI - Enterprise Application Integration - solutions offer a partial response to these requirements. However, the lack of formalisation that characterises such solutions limits the reuse and verification of properties. This paper claims that business processes have to be formally defined using a formalism that presents certain features (representation of several abstraction levels, domain specific concepts, property expression and preservation, etc.) and proposes the use of an ADL - Architecture Description Language - as formalism. A case study illustrates our proposition.

References

  1. Beck, M., Finout, J., and Westlake, B., 2000. “Change Management and EAI”, in eAI Journal, September 2000, pp. 77-79.
  2. Blanc dit Jolicoeur, L., Braesch, C., Dindeleux, R., Gaspard, S., Le Berre, D., Leymonerie, F., Montaud, A., Chaudet, C., Haurat, A., and Théroude, F., 2002. “Final Specification of Business Case 1, Scenario and Initial Requirements”. ARCHWARE European RTD Project IST-2001-32360. Deliverable D7.1b. December 2002.
  3. Blanc dit Jolicoeur, L., Braesch, C., Dindeleux, R., Gaspard, S., Le Berre, D., Leymonerie, F., and Montaud, A., 2003a. “Definition of Architectural Styles and Process Models for Business Case 1”. ARCHWARE European RTD Project IST-2001- 32360. Deliverable D7.2. June 2003.
  4. Blanc dit Jolicoeur, L., Braesch, C., Dindeleux, R., and Théroude, F., 2003b. “An EAI system based on an Industrial Component model”. In proceedings of CESA 2003, IMACS Multiconference, July 9-11 2003, Lille, France.
  5. Braesch, C., Théroude, F., and Haurat, A., 2000. “OLYMPIOS : towards a component-based enterprise modeling”, CEN Workshop, Berlin.
  6. Chaudet, C., 2002. “Pi-Space : langage et outils pour la description d'architectures évolutives à composants dynamiques. Formalisation d'architectures logicielles et industrielles”. Ph.D. Thesis (in french) of the University of Savoy.
  7. Cîmpan, S., Oquendo, F., Balasubramaniam, D., Kirby, G., and Morrison, R., 2002. “The ArchWare ADL: Definition of the Textual Concrete Syntax”. ARCHWARE European RTD Project IST-2001- 32360. Deliverable D1.2b. December 2002.
  8. Cîmpan, S., Leymonerie, F., and Oquendo, F., 2003. “ArchWare ADL Foundation Style”. ARCHWARE European RTD Project IST-2001-32360. Internal Report, R1.3-1. June 2003.
  9. GERAM, 1999. “Generalised Reference Architecture and Methodology”. Version 1.6.3, IFIC-IFAC Task Force, March 1999.
  10. Hostachy, E., 2000. “Le système d'information doit être centré sur l'EAI”, in Informatiques Magazine, May 2000, pp. 40-44.
  11. Klein, M., and Kazman, R., 1999. “Attribute-Based Architectural Styles”, technical report of Carnegie Mellon University.
  12. Kozen, D., 1983. “Results on the propositional MuCalculus”, in Theorotical Computer Science 27, 1983, pp 333-354.
  13. Linthincum, D., S., 2000. “Application Servers and EAI”, in eAI Journal, 2000.
  14. Mann, J., E., 1999. “Workflow and EAI”, in eAI Journal, September-October 1999, pp. 49-53.
  15. MESA International, 1997a. “Execution-Driven Manufacturing Management for Competitive Advantage”, White Paper number 5.
  16. MESA International, 1997b. “MES Functionalities & MRP to MES Data Flow Possibilities”, White Paper number 2.
  17. Milner, R., Parrow, J., and Walker, D., 1992. “A calculus of mobile processes”. Information and Computation, September 1992, pp. 1-40.
  18. Oquendo, F., Alloui, I., Cimpan, S., and Verjus, H., 2002. “The ArchWare ADL: Definition of the Abstract Syntax and Formal Semantics”. ARCHWARE European RTD Project IST-2001-32360. Deliverable D1.1b. December 2002.
  19. Schmidt, J., 2000. “Enabling Next-Generation Enterprises”, in eAI Journal, July-August 2000, pp. 74-80.
  20. Stonebraker, M., 1999. “Integrating Islands of Information”, in eAI Journal, September-October 1999, pp. 1-5.
  21. Vallespir, B., Braesch, C., Chapurlat, V., and Crestani, D., 2003. “L'intégration en modélisation d'entreprise: les chemins d'UEML”. MOSIM'03, French conference on modeling and simulation in enterprise, Toulouse, April 23-25 2003, pp. 140-145.
  22. Vernadat, F., 2001. “UEML: towards an unified enterprise modeling language”. MOSIM'01, French conference on modeling and simulation in enterprise, Troyes, April 25-27 2001, pp. 3-10.
Download


Paper Citation


in Harvard Style

Leymonerie F., Blanc Dit Jolicoeur L., Cîmpan S., Braesch C. and Oquendo F. (2004). TOWARDS A BUSINESS PROCESS FORMALISATION BASED ON AN ARCHITECTURE CENTRED APPROACH . In Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 972-8865-00-7, pages 513-518. DOI: 10.5220/0002636405130518


in Bibtex Style

@conference{iceis04,
author={Fabien Leymonerie and Lionel Blanc Dit Jolicoeur and Sorana Cîmpan and Christian Braesch and Flavio Oquendo},
title={TOWARDS A BUSINESS PROCESS FORMALISATION BASED ON AN ARCHITECTURE CENTRED APPROACH},
booktitle={Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2004},
pages={513-518},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002636405130518},
isbn={972-8865-00-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - TOWARDS A BUSINESS PROCESS FORMALISATION BASED ON AN ARCHITECTURE CENTRED APPROACH
SN - 972-8865-00-7
AU - Leymonerie F.
AU - Blanc Dit Jolicoeur L.
AU - Cîmpan S.
AU - Braesch C.
AU - Oquendo F.
PY - 2004
SP - 513
EP - 518
DO - 10.5220/0002636405130518