Skip to Main content Skip to Navigation
Conference papers

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

Thanh Tuan Nguyen 1 Nhan Le Thanh 2 Thi Thanh Ha Hoang 1
2 WIMMICS - Web-Instrumented Man-Machine Interactions, Communities and Semantics
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Abstract : This paper proposes a model for building a flexible system, which accepts and verifies the change on business logic, including both 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 Colour Petri Net and translated into a set of Event-Condition-Action rules, this set will be combined with business rules for checking the respect of a business process to the business rules in design and modifying the process. Hierarchical Colour Petri Net is also used to guarantee the reliability and to reuse properties of the system.
Document type :
Conference papers
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download
Contributor : Nhan Le Thanh Connect in order to contact the contributor
Submitted on : Saturday, November 30, 2019 - 2:19:59 AM
Last modification on : Friday, January 21, 2022 - 3:12:28 AM
Long-term archiving on: : Sunday, March 1, 2020 - 12:58:38 PM


Files produced by the author(s)


  • HAL Id : hal-02387680, version 1



Thanh Tuan Nguyen, Nhan Le Thanh, Thi Thanh Ha Hoang. Toward a Model for Verification of Business Logic Layer in 3-Layer Architecture: CPN-ECA Model. KSE 2019 - 11th IEEE International Conference on Knowledge and Systems Engineering, Oct 2019, Danang, Vietnam. ⟨hal-02387680⟩



Record views


Files downloads