Toward a Model for Verification of Business Logic Layer in 3-Layer Architecture: CPN-ECA Model - Archive ouverte HAL Access content directly
Conference Papers Year :

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

Vers un modèle de vérification de la couche logique d'entreprise dans une architecture à 3 couches: modèle CPN-ECA

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.
Ce document propose un modèle pour la création d'un système flexible, qui accepte et vérifie les modifications apportées à la logique métier, y compris les processus et les règles métier, tandis que le système doit couvrir les propriétés en termes de fiabilité et de réutilisation. Dans ce modèle, le processus de gestion sera conçu avec un réseau Pétri coloré et traduit en un ensemble de règles Event-Condition-Action (ECA). Cet ensemble sera combiné à des règles de gestion permettant de vérifier le respect du processus de gestion par modifier le processus. Un réseau Pétri coloré hiérarchisé est également utilisé pour garantir la fiabilité et pour réutiliser les propriétés du système
Fichier principal
Vignette du fichier
20190623_KSE2019_paper.pdf (1.7 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02387680 , version 1 (30-11-2019)

Identifiers

  • HAL Id : hal-02387680 , version 1

Cite

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⟩
70 View
114 Download

Share

Gmail Facebook Twitter LinkedIn More