A Systematic Method for the Intentional Modeling and Verification of Business Applications

Islem Gmati 1 Michele Missikoff 2 Selmin Nurcan 1
1 CRI - Centre de Recherche en Informatique de Paris 1
2 LEKS - Laboratory for Enterprise Knowledge and Systems
Abstract : Recently, we have witnessed a growing need to volve business poeple in the early stages of Entreprise Information Systems developmment. The MAP methodology apperars to be a good candidate for involving business poeple in the early modelling of business application, reducing the risk of business-IT systems misalignement. fUrthermore, in the context of Model Driven Enginieering, such a methodology perfectly fits in the upper CIM level. in this paper we revisit the MAP to propose a formal approach capable of prociding solid basis to it, necessary when developing automatic tools aimed at supporting tha modeling activity and the verification of the production map diagrams
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download
https://hal-paris1.archives-ouvertes.fr/hal-00662948
Contributor : Charlotte Hug <>
Submitted on : Wednesday, January 25, 2012 - 3:52:56 PM
Last modification on : Thursday, January 26, 2012 - 9:52:51 AM
Long-term archiving on : Thursday, April 26, 2012 - 2:31:04 AM

File

113.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00662948, version 1

Collections

CRI | UNIV-PARIS1

Citation

Islem Gmati, Michele Missikoff, Selmin Nurcan. A Systematic Method for the Intentional Modeling and Verification of Business Applications. VII Conference of the Italian Chapter of AIS Information technoogy and Innovation trend in Organization, Oct 2010, Naples, Italy. pp.628-649. ⟨hal-00662948⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

290

Files downloads

77

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD