Toward a Model for Verification of Business Logic Layer in 3-Layer Architecture: CPN-ECA Model

This paper proposes a model for the construction of an adaptable system, that verifies and accepts modifications in the system's business logic, including business processes and business rules, while the system has to cover the properties as reliability and reuse. In this model, the business process will be designed with Coloured Petri Net and converted into a set of Event-Condition-Action rules, this set will be combined with business rules for checking the correlation of business processes with business rules in design and modifying the process. Hierarchical Coloured Petri Net is also used to guarantee the reliability and to reuse properties of the system.