- Tytuł:
- Application of deductive reasoning to the verification of archimate behavioral elements
- Autorzy:
-
Klimek, Radosław
Szwed, Piotr
Jędrusik, Stanisław - Powiązania:
- https://bibliotekanauki.pl/articles/431909.pdf
- Data publikacji:
- 2013
- Wydawca:
- Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
- Tematy:
-
Deductive temporal reasoning
software verification
ArchiMate
semantics table¬aux method
Linear Temporal Logic - Opis:
- The formal verification of business models has recently become an intensively researched area. It is expected that the application of formal tools may bring such benefits to organizations as the improved quality of products and services and a lower ratio of operational errors. In this paper we discuss the application of a deduction-based method for the verification of the behavioral aspects of ArchiMate models. The first step in our method consists in the translation of the ArchiMate model into Linear Temporal Logic (LTL) formulas. The resulting LTL formulas are then verified to check the expected temporal properties. The verification process is based on the semantics tableaux method and is conducted with an LTL prover. The method is discussed using an example of a business process implemented within a surveillance system.
- Źródło:
-
Informatyka Ekonomiczna; 2013, 3(29); 76-97
1507-3858 - Pojawia się w:
- Informatyka Ekonomiczna
- Dostawca treści:
- Biblioteka Nauki
Artykuł