HAL Id: hal-02387680 https://hal.archives-ouvertes.fr/hal-02387680 Submitted on 30 Nov 2019 HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entifc research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la difusion de documents scientifques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Toward a Model for Verifcation of Business Logic Layer in 3-Layer Architecture: CPN-ECA Model Thanh Tuan Nguyen, Nhan Le Thanh, Thi Thanh Ha Hoang To cite this version: Thanh Tuan Nguyen, Nhan Le Thanh, Thi Thanh Ha Hoang. Toward a Model for Verifcation 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