 |
Conference papers
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
Cited literature [12 references]
https://hal-paris1.archives-ouvertes.fr/hal-00662948
Contributor : Charlotte Hug <>
Submitted on : Wednesday, January 25, 2012 - 3:52:56 PM
Last modification on : Sunday, January 19, 2020 - 6:38:31 PM
Long-term archiving on: : Thursday, April 26, 2012 - 2:31:04 AM
Contributor : Charlotte Hug <>
Submitted on : Wednesday, January 25, 2012 - 3:52:56 PM
Last modification on : Sunday, January 19, 2020 - 6:38:31 PM
Long-term archiving on: : Thursday, April 26, 2012 - 2:31:04 AM
File
113.pdf
Files produced by the author(s)