paper supports the requirements for the method for
KPI modelling as it presents a) an abstraction of the
available conceptual models enabling modelling of
KPIs and understanding their relationships; b) intu-
itive models of KPIs of different levels. Our method
enables model execution and therefore, validation of
the desired properties of KPIs. The goal model and
the executable protocol model support the validation
of the properties of KPIs including semantic reliabil-
ity and improvement orientation. The validated pro-
cesses and KPIs can be used for implementation mod-
elling.
In the future work, we plan to further develop
techniques to test semantic reliability and efficiency
of a KPI and adapt our method for design and anal-
ysis of tactical, strategic and complex KPIs (Robert
Kaplan, and David Norton, 2001) used in industry.
We also plan to integrate our method with the
methods for system implementation modelling. The
models of implementation are usually asynchronous.
All asynchronous deviations of their behaviour from
the visible system behaviour presented with protocol
models should be required or accepted by users. In
such a way using protocol models may contribute to
reliability of requirements and models of implemen-
tations.
REFERENCES
Andrews, P. (2002). An Introduction to Mathematical Logic
and Type Theory: To Truth Through Proof. Berlin:
Kluwer.
Berler, A., Pavlopoulos, S., and Koutsouris, D. (2005).
Using key performance indicators as knowledge-
management tools at a regional health-care authority
level. IEEE Transactions on Information Technology
in Biomedicine, 9(2):184–192.
Dardenne, A., van Lamsweerde, A., and Fickas, S. (1993).
Goal-directed requirements acquisition. Sci. Comput.
Program., 20(1-2):3–50.
Frank, U., Heise, D., and Kattenstroth, H. (2009). Use of a
domain specific modeling language for realizing ver-
satile dashboards. In: Tolvanen JP, Rossi M, Gray
J, Sprinkle J (eds) Proceedings of the 9th OOPSLA
workshop on domain-specific modeling (DSM).
Garengo, P., Biazzo, S., and Bititci, U. S. (2005). Perfor-
mance measurement systems in SMEs: A review for
a research agenda. International Journal of Manage-
ment Reviews, 7:25–47.
Golfarelli, M. (2009). From User Requirements to Concep-
tual Design in Data Warehouse Design - a Survey. In
Data Warehousing Design and Advanced Engineering
Applications: Methods for Complex Construction. L.
Bellatreche (Ed.), pages 1–14.
Gossler, G. and Sifakis, J. (2003). Composition for Compo-
nent Based Modeling. Springer,LNCS, 2852):443–46.
Hoare, C. (1985). Communicating Sequential Processes.
Prentice-Hall International.
IAB Europe (2013). http://www.iabeurope.eu/news/launch-
of-a-committee-on-standards-and-kpis-for-brand-
and-audience-campaigns.aspx.
Improving Access to Psychological Therapies (2013).
IAPT Key Performance Indicator (KPI). Technical
Guidance for Adult IAPT Services. http://www.iapt.
nhs.uk/silo/files/iapt-kpi-technical-guidance-201213-
v20-.pdf.
KPIStandard (2013). http://kpistandard.com/html/EN/
Sectors.
McNeile, A. and Roubtsova, E. (2010). Aspect-Oriented
Development Using Protocol Modeling. LNCS 6210,
pages 115–150.
McNeile, A. and Simons, N. (2005). http://
www.metamaxim.com/.
McNeile, A. and Simons, N. (2006). Protocol Modelling.
A Modelling Approach that Supports Reusable Be-
havioural Abstractions. Software and System Model-
ing, 5(1):91–107.
Neely, A., Mills, J., Platts, K., Richards, H., Gregory, M.,
Bourne, M., and Kennerley, M. (2000). Performance
measurement system design: developing and testing a
process-based approach. International Journal of Op-
erations and Production Management, 20(10):1119 –
11452.
OMG (2003). Unified Modeling Language: Superstructure
version 2.1.1 formal/2007-02-03.
Parmenter, D. (2010). Key Performance Indicators, Devel-
oping, Implementing and Using Winning KPIs. John
Wiley & Sons, New Jersey.
Peter Kueng (2000). Process performance measurement
system - a tool to support process-based organizations.
TOTAL QUALITY MANAGEMENT, 11(1):67–85.
Popova, V. and Sharpanskykh, A. (2010). Modeling organi-
zational performance indicators. Information systems,
35(4):505–527.
Regev, G. and Wegmann, A. (2011). Revisiting Goal-
Oriented Requirements Engineering with a Regulation
View. Springer. LNBIP, 109):56–69.
Robert Kaplan, and David Norton (2001). Transforming the
Balanced Scorecard from Performance Measurement
to strategic management: Part I. Accounting Horizons,
pages 87–104.
Roubtsova, E. (2013). Protocol Model of the KPIs from
”The programme ”Improving Access to Psychological
Therapies. http://www.open.ou.nl/elr/IAPT.zip.
Strecker, S., Frank, U., Heise, D., and Kattenstroth, H.
(2012). MetricM: A modelling method in support of
the reflective design and use of performance measure-
ment systems. Springer, Information Systems and e-
Business Management, 10:241–276.
Modelling and Validation of KPIs
105