Models & Optimisation and Mathematical Analysis Journal
Volume 1, Numéro 2, Pages 21-26
2012-12-17
Approach For Modelling And Verification Of Flexible And Adaptable Businesses Processes
Authors : Madani Mohamed . Bekki Khadhir .
Abstract
flexible, adaptable and secured. These three criteria increase the performances of applications inter organizations and guarantee their stability. For this purpose, we plan to re-examine the way of modeling the business processes so they will flexible and adaptable. For that, as for the adaptation, we adopt separation between concerns. We separate the development of the functionality concern from the transversal concerns (eg: security, context). As for flexibility, we propose a new model of description of the business processes based on ECA rules (Event -Condition-Action). So, our approach of modeling the business processes is an multi concerns approach (Security, I nteraction) based on our formalism suggested CECAETE (Concern, Event,Condition, Action, check Execution, Time, else Event). First, we govern any business rule as a CECAETE rule. Then, to verify the rules based business process, we build a graph of rules. This graph is based on the relationships between the rules of the same concerns and of different concerns. In this paper, we discuss also, the formal verification of the CECAETE rules based business process.
Keywords
FLEXIBLE MO DELING , BUSINESS PROCESS, THE SEPARATION OF ASPECTS, BUSINESS RULES, SECURITY , ECA RULES
Les articles similaires
Yakhlef H.
.
Ali Benamara B.
.
pages 169-181.
Badel Maryse
.
pages 63-75.
Mahfoudi Chawki
.
Amouri Ammar
.
Zaatri Abdelouahab
.
pages 8-13.
Narimane Dris
.
pages 58-74.
بلحاجي فتيحة
.
ص 64-77.
