A Systematic Method for the Intentional Modeling and Verification of Business Applications - Université Paris 1 Panthéon-Sorbonne Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

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

Islem Gmati
  • Fonction : Auteur
  • PersonId : 932330
  • IdRef : 157801756
Selmin Nurcan

Résumé

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
Fichier principal
Vignette du fichier
113.pdf (89.77 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00662948 , version 1 (25-01-2012)

Identifiants

  • HAL Id : hal-00662948 , version 1

Citer

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⟩

Collections

UNIV-PARIS1 CRI
166 Consultations
67 Téléchargements

Partager

Gmail Facebook X LinkedIn More