|
Digital Library of the
European Council for Modelling and Simulation |
Title: |
Formal Analysis Of Executions Of Organizational Scenarios Based On
Process-Oriented Models |
Authors: |
Viara Popova, Alexei Sharpanskykh |
Published in: |
ECMS
2007 Proceedings Edited
by: Ivan Zelinka, Zuzana Oplatkova, Alessandra Orsoni ISBN:
978-0-9553018-2-7 Doi: 10.7148/2007 21st European
Conference on Modelling and Simulation, Prague, June
4-6, 2007 |
Citation
format: |
Popova, V., & Sharpanskykh,
A. (2007). Formal Analysis Of Executions Of Organizational Scenarios Based On
Process-Oriented Models. ECMS 2007 Proceedings edited by: I. Zelinka, Z. Oplatkova, A. Orsoni (pp. 36-44). European
Council for Modeling and Simulation. doi:10.7148/2007-0036. |
DOI: |
http://dx.doi.org/10.7148/2007-0036 |
Abstract: |
This
paper presents formal techniques for analysis of executions of organizational
scenarios based on process- oriented models of organizations. A part of these
techniques is dedicated to establishing the correspondence between formalized
executions (i.e., traces) and process-oriented models. Other techniques
provide the analyst with wide possibilities to analyze organizational
dynamics and to evaluate organizational performance. For the proposed formal
analysis the order-sorted predicate Temporal Trace Language (TTL) is used.
The analysis is supported by the dedicated software tool
TTL Checker. The analysis approaches are illustrated by a case study
in the context of an organization from the security domain. |
Full
text: |