Communicating sequential processes
Communicating sequential processes
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Beyond definition/use: architectural interconnection
IDL '94 Proceedings of the workshop on Interface definition languages
Introduction to Mathematical Logic and Type Theory: To Truth through Proof
Introduction to Mathematical Logic and Type Theory: To Truth through Proof
CSP parallel composition of aspect models
Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling
Modeling organizational performance indicators
Information Systems
Information Systems and e-Business Management
Hi-index | 0.00 |
Key performance indicators (KPIs) play an important role in making decisions for correct and timely investments. Validation of desired properties of KPIs demands the execution of business processes. However, KPIs are often designed for a business sector assuming fragmental knowledge about business processes. The validation of properties of KPIs is postponed until the KPIs application in business processes of organizations. This approach often results in misleading KPIs. We present a method that enables validation of KPI properties without implementation of KPIs in organizations. The method takes advantages of a combination of goal modeling, conceptual modeling and executable Protocol Modeling. The compositional semantics of Protocol Modelling allows for building abstract executable protocol models using the fragmental information about business processes. The goal models and conceptual models are used for analysing the results of the process execution and reasoning about properties. The method is demonstrated with a real KPI document from the medical sector.