Szczegóły publikacji
Opis bibliograficzny
Evaluating efficiency of ArchiMate business processes verification with NuSMV / Piotr SZWED // W: Information technology for management : federated conference on computer science and information systems, ISM 2015 and AITM 2015 : Lodz, Poland, September 2015 : revised selected papers / ed. Ewa Ziemba. — Switzerland : Springer International Publishing, cop. 2016. — (Lecture Notes in Business Information Processing ; ISSN 1865-1348 ; 243). — ISBN: 978-3-319-30527-1; e-ISBN: 978-3-319-30528-8. — S. 179–196. — Bibliogr. s. 195–196, Abstr.
Autor
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 98644 |
|---|---|
| Data dodania do BaDAP | 2016-07-28 |
| DOI | 10.1007/978-3-319-30528-8_11 |
| Rok publikacji | 2016 |
| Typ publikacji | materiały konferencyjne (aut.) |
| Otwarty dostęp |  |
| Czasopismo/seria | Lecture Notes in Business Information Processing |
Abstract
The motivation for our work was an idea of integrating formal verification with business processes modeling. In the presented approach ArchiMate was selected as a language used for definition of processes. We describe a procedure, which extracts behavioral elements from ArchiMate specification and transforms them into a corresponding representation used by NuSMV model checker. Then, we focus on time efficiency of the verification task. We give results of tests performed on a set of artificial process specifications, as well as on a complex business process, whose development was supported by the implemented solution. We compare three semantics of ArchiMate process definitions and discuss their influence on model complexity and verification time.
