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

Thanh Tuan Nguyen Nhan Le Thanh 1 Thi Thanh Ha Hoang
1 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 metadatas

Cited literature [21 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02387680
Contributor : Nhan Le Thanh <>
Submitted on : Saturday, November 30, 2019 - 2:19:59 AM
Last modification on : Tuesday, December 3, 2019 - 1:37:46 AM

File

20190623_KSE2019_paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02387680, version 1

Collections

Citation

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. IEEE-11th International Conference on Knowledge and Systems Engineering (KSE 2019), Oct 2019, Danang, Vietnam. ⟨hal-02387680⟩

Share

Metrics

Record views

4

Files downloads

13