Szczegóły publikacji
Opis bibliograficzny
Verification of ArchiMate behavioral elements by model checking / Piotr SZWED // W: Computer Information Systems and Industrial Management : 14th IFIP TC 8 international conference, CISIM 2015 : Warsaw, Poland, September 24–26, 2015 : proceedings / eds. Khalid Saeed, Władysław Homenda. — Cham [etc.] : Springer ; IFIP International Federation for Information Processing, cop. 2015. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; 9339). — ISBN: 978-3-319-24368-9; e-ISBN: 978-3-319-24369-6. — S. 132–144. — Bibliogr. s. 142–144, Abstr.
Autor
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 94062 |
|---|---|
| Data dodania do BaDAP | 2015-11-26 |
| DOI | 10.1007/978-3-319-24369-6_11 |
| Rok publikacji | 2015 |
| Typ publikacji | materiały konferencyjne (aut.) |
| Otwarty dostęp |  |
| Konferencja | International Conference on Computer Information Systems and Industrial Management Applications 2015 |
| Czasopismo/seria | Lecture Notes in Computer Science |
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.
