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