 |
|
|
|
| HAL : hal-00662948, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| VII Conference of the Italian Chapter of AIS Information technoogy and Innovation trend in Organization, Naples : Italy (2010) |
|
|
|
|
| A Systematic Method for the Intentional Modeling and Verification of Business Applications |
|
|
| Islem Gmati 1Michele Missikoff 2 |
|
|
| (08/10/2010) |
|
|
|
| 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 |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Centre de Recherche en Informatique de Paris 1 (CRI) |
|
|
|
Université Paris I - Panthéon Sorbonne : EA1445 |
|
|
| 2 : | Laboratory for Enterprise Knowledge and Systems (LEKS) |
|
|
|
CNR - Consiglio Nationale delle Ricerche |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Génie logiciel |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00662948, version 1 | |
| http://hal-paris1.archives-ouvertes.fr/hal-00662948 | |
| oai: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 | |
