Verification of ArchiMate Behavioral Elements by Model Checking

Abstract : In this paper we investigate the problem of verification of business processes specified with ArchiMate language. The proposed solution employs model checking techniques. As a verification platform the state of the art symbolic model checker NuSMV is used.We describe a method of fully automated translation of behavioral elements embedded in ArchiMate models into a representation in NuSMV language, which is then submitted to verification with respect to requirements expressed in CTL. The requirements specification can be entered by user, but we also propose to derive some of them automatically, based on analysis of control flows within business processes. The solution was implemented as a plugin to Archi, a popular ArchiMate modeling tool. Application of the method is presented on an example of a small business process.
Type de document :
Communication dans un congrès
Khalid Saeed; Władysław Homenda. 14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. Springer, Lecture Notes in Computer Science, LNCS-9339, pp.132-144, 2015, Computer Information Systems and Industrial Management. 〈10.1007/978-3-319-24369-6_11〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01444460
Contributeur : Hal Ifip <>
Soumis le : mardi 24 janvier 2017 - 10:40:11
Dernière modification le : jeudi 4 octobre 2018 - 22:12:02
Document(s) archivé(s) le : mardi 25 avril 2017 - 14:22:16

Fichier

978-3-319-24369-6_11_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Piotr Szwed. Verification of ArchiMate Behavioral Elements by Model Checking. Khalid Saeed; Władysław Homenda. 14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. Springer, Lecture Notes in Computer Science, LNCS-9339, pp.132-144, 2015, Computer Information Systems and Industrial Management. 〈10.1007/978-3-319-24369-6_11〉. 〈hal-01444460〉

Partager

Métriques

Consultations de la notice

156

Téléchargements de fichiers

34