Formal modelling of organisational goals based on performance indicators

Data and Knowledge Engineering

Volumn 70, Issue 4, 2011, Pages 335-364

  Popova, Viara ^a   Sharpanskykh, Alexei ^b  

^a UNIVERSITY OF TARTU   (Estonia)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Enterprise architectures; Formal modeling; Formal verification; Goals; Mathematical logic; Organisation modeling; Performance evaluation; Performance indicators

Indexed keywords

ENTERPRISE ARCHITECTURE; FORMAL MODELING; FORMAL VERIFICATIONS; GOALS; MATHEMATICAL LOGIC; ORGANISATION MODELING; PERFORMANCE EVALUATION; PERFORMANCE INDICATORS;

BENCHMARKING;

FORMAL LOGIC;

EID: 79952191735     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2011.01.001     Document Type: Article

References (51)

1. A.I. Anton, Goal Identification and Refinement in the Specification of Software-Based Information Systems, PhD Dissertation, Georgia Institute of Technology, Atlanta GA, 1997.
2. T. Bosse, C.M. Jonker, L. van der Meij, and J. Treur A language and environment for analysis of dynamics by simulation International Journal of Artificial Intelligence Tools 16 2007 435 464 (Pubitemid 46926241)
3. P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos Tropos: an agent-oriented software development methodology Autonomous Agents and Multi-Agent Systems 8 2004 203 236 (Pubitemid 39019798)
4. P.C. Brewer, and T.W. Speh Using the balanced scorecard to measure supply chain performance Journal of Business Logistics 21 1 2000 75 93
5. F.T.S. Chan Performance measurement in a supply chain The International Journal of Advanced Manufacturing Technology 21 7 2003 534 548
6. D. Chen, B. Vallespir, and G. Doumeingts GRAI integrated methodology and its mapping onto generic enterprise reference architecture and methodology Computers in Industry 33 1997 387 394 (Pubitemid 127399628)
7. J. Chung, B. Nixon, E. Yu, and J. Mylopoulos Non Functional Requirements In Software Engineering 2000 Springer
8. CIMOSA - Open System Architecture for CIM ESPRIT Consortium AMICE 1993 Springer-Verlag Berlin
9. P.R. Cohen, and H.J. Levesque Communicative actions for artificial agents Proceedings of the International Conference on Multi-Agent Systems 1995 AAAI Press
10. R. Cooper, and R.S. Kaplan Measure cost right: make the right decisions Harvard Business Review September-October 1988 96 102
11. A. Dardenne, A. van Lamsweerde, and S. Fiskas Goal directed requirements acquisition Science of Computer Programming 20 1993 3 50
12. G. Doumeingts, B. Vallespir, and D. Chen Decisional modelling using the GRAI grid P. Bernus, K. Mertins, G. Schmidt, Handbook on Architectures of Information Systems 1998 Springer-Verlag 313 338
13. G. Elahi, and E. Yu Modeling and analysis of security trade-offs - a goal oriented approach Data & Knowledge Engineering 68 7 July 2009 579 598
14. M.S. Fox The TOVE project: towards a common-sense model of the enterprise C.J. Petrie Jr. Proceedings of ICIEMT'92 1992 MIT Press 310 319
15. M.S. Fox, M. Barbuceanu, M. Gruninger, and J. Lin An organization ontology for enterprise modelling M. Prietula, K. Carley, L. Gasser, Simulating Organizational: Computational Models of Institutions and Groups 1997 AAAI/MIT Press 131 152
16. A. Fuxman, M. Pistore, J. Mylopoulos, and P. Traverso Model checking early requirements specification in Tropos Proceedings of the Fifth IEEE International Symposium on Requirements Engineering (RE'01) 2001 174 181 (Pubitemid 32878092)
17. P. Giorgini, J. Mylopoulos, and R. Sebastiani Goal-oriented requirements analysis and reasoning in the Tropos methodology Engineering Applications of Artificial Intelligence 18 2 2005 159 171 (Pubitemid 40245086)
18. M. Golfarelli, S. Rizzi, and I. Cella Beyond data warehousing: what's next in business intelligence? Proceedings of the 7th ACM international Workshop on Data Warehousing and OLAP (Washington, DC, USA) DOLAP '04 November 12-13, 2004 ACM New York, NY 1 6
19. GRL website http://www.cs.toronto.edu/km/GRL/
20. C.D. Ittner, and D.F. Larcker Coming up short on nonfinancial performance measurement Harvard Business Review 81 11 2003 88 96
21. C.M. Jonker, A. Sharpanskykh, J. Treur, and P. Yolum A framework for formal modeling and analysis of organizations Applied Intelligence 27 1 2007 49 66 (Pubitemid 46960843)
22. I. Jureta, and S. Faulkner An agent-oriented meta-model for enterprise modelling J. Akoka, ER Workshops 2005, LNCS 3770 2005 151 161
23. R.S. Kaplan, and D.P. Norton The balanced scorecard - measures that drive performance Harvard Business Review January-February 1992 71 79
24. E. Kavakli, and P. Loucopoulos Goal driven requirements engineering: analysis and critique of current methods J. Krogstie, T. Halpin, K. Siau, Information Modeling Methods and Methodologies (Adv. topics of Database Research) 2004 IDEA Group 102 124
25. A. Konar Artificial Intelligence and Soft Computing 2000 CRC Press
26. E. Krauth, H. Moonen, V. Popova, and M. Schut Performance measurement and control in logistics service providing C.-S. Chen, J. Filipe, I. Seruca, J. Cordeiro, Proceedings of Seventh International Conference on Enterprise Information Systems, ICEIS 2005 239 247
27. A. van Lamsweerde Goal-oriented requirements engineering: a guided tour Proceedings of 5th IEEE International Symposium on Requirements Engineering 2001 249 263
28. A. van Lamsweerde, R. Darimont, and E. Letier Managing conflicts in goal-driven requirements engineering IEEE Transaction on Software Engineering 24 11 1998 908 926 (Pubitemid 128740282)
29. B. van Linder, W. van der Hoek, and J.-J.Ch. Meyer Formalising motivational attitudes of agents: on preferences, goals and commitments M. Wooldridge, J.P. Mueller, M. Tambe, Intelligent Agents Volume II (ATAL'95), vol. LNCS 1037 1996 Springer 17 32 (Pubitemid 126029787)
30. E. Letier, and A. van Lamsweerde Reasoning about partial goal satisfaction for requirements and design engineering Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2004 53 62 (Pubitemid 40787567)
31. M. Manzano Extensions of First Order Logic 1996 Cambridge University Press
32. B. Marin, O. Pastor, and A. Abran Towards an accurate functional size measurement procedure for conceptual models in an MDA environment Data & Knowledge Engineering 69 5 May 2010 472 490 10.1016/j.datak.2010.01.001
33. V. Popova, and A. Sharpanskykh A formal framework for organizational modeling and analysis V. Dignum, Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models 2009 IGI Global 141 171
34. V. Popova, and A. Sharpanskykh Process-oriented organisation modelling and analysis Enterprise Information Systems 2 2 2008 157 176
35. V. Popova, and A. Sharpanskykh Formal analysis of executions of organizational scenarios based on process-oriented specifications Applied Intelligence Journal 2009 (online first), http://dx.doi.org/10.1007/s10489-009- 0192-9
36. V. Popova, and A. Sharpanskykh Modeling organizational performance indicators Information Systems Journal 35 2010 505 527 Elsevier
37. A.S. Rao Decision procedures for propositional linear-time belief-desire-intention logics M.J. Wooldridge, J.P. Mueller, M. Tambe, Intelligent Agents II, vol. LNAI 1037 1996 Springer 33 48 (Pubitemid 126029788)
38. G. Regev, and A. Wegmann Where do goals come from: the underlying principles of goal-oriented requirements engineering Proceedings of the 2005 13th IEEE International Conference on Requirements Engineering (RE'05) 2005 IEEE Computer Society
39. I. Reinhartz-Berger Towards automatization of domain modeling Data & Knowledge Engineering 69 5 May 2010 491 515 10.1016/j.datak.2010.01.002
40. M.B. van Riemsdijk, M. Dastani, and J.-J.Ch. Meyer Goals in conflict: semantic foundations of goals in agent programming Autonomous Agents and Multi-Agent Systems 18 3 2009 471 500
41. T. Schal, and T. Schael Workflow Management Systems for Process Organizations 1996 Springer-Verlag New York, Inc
42. A.-W. Scheer, and M. Nuettgens ARIS architecture and reference models for business process management W.M.P. van der Aalst, J. Desel, A. Oberweis, LNCS 1806, Berlin et al 2000 366 389
43. A. Sharpanskykh, On Computer-Aided Methods for Modeling and Analysis of Organizations, PhD thesis, Vrije Universiteit Amsterdam, 2008.
44. A. Sharpanskykh Authority and its implementation in enterprise information systems Enterprise Information Systems Journal 4 3 2008 66 79
45. A. Sharpanskykh Integrated modeling of cognitive agents in socio-technical systems P. Jedrzejowicz, N.T. Nguyen, R.J. Howlett, L.C. Jain, Proceedings of the 4th International KES Symposium on Agents and Multi-agent Systems KES AMSTA 2010 Springer Verlag 262 271
46. K. Sycara Resolving goal conflicts via negotiation Proceedings of the Seventh National Conference on Artificial Intelligence 1988 245 250
47. V. Vaidyanathan A framework for evaluating third-party logistics Communications of the ACM 48 1 2005 89 94
48. E. Yu Towards modelling and reasoning support for early-phase requirements engineering 3rd IEEE Int. Symposium on Requirements Engineering 1997 226 235
49. ISO 19439:2006 "Framework for Enterprise Modelling".
50. ISO 19440:2007 "Enterprise Integration - Constructs for Enterprise Modelling".
51. The SESAR programme Web page: http://www.eurocontrol.int/sesar/public/ subsite-homepage/homepage.html