Toward a Model for Verification of Business Logic Layer in 3-Layer Architecture: CPN-ECA Model - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

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

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-02387680 , version 1

Citer

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⟩
74 Consultations
135 Téléchargements

Partager

Gmail Facebook X LinkedIn More