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

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
Type de document :
Communication dans un congrès
VII Conference of the Italian Chapter of AIS Information technoogy and Innovation trend in Organization, Oct 2010, Naples, Italy. pp.628-649, 2010
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal-paris1.archives-ouvertes.fr/hal-00662948
Contributeur : Charlotte Hug <>
Soumis le : mercredi 25 janvier 2012 - 15:52:56
Dernière modification le : jeudi 26 janvier 2012 - 09:52:51
Document(s) archivé(s) le : jeudi 26 avril 2012 - 02:31:04

Fichier

113.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00662948, version 1

Collections

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, 2010. 〈hal-00662948〉

Partager

Métriques

Consultations de la notice

253

Téléchargements de fichiers

75