A formal framework for modeling and analysis of organizations

IFIP International Federation for Information Processing

Volumn 244, Issue , 2007, Pages 343-358

  Popova, Viara ^a   Sharpanskykh, Alexei ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ENTERPRISE ARCHITECTURE; FORMAL FOUNDATION; FORMAL FRAMEWORK; MODEL AND ANALYSIS; ORGANIZATIONAL CONCEPTS; ORGANIZATIONAL PROCESS; PREDICATE LOGIC; REAL-TIME MANAGEMENT;

INFORMATION TECHNOLOGY;

EID: 38049035095     PISSN: 15715736     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-73947-2_26     Document Type: Conference Paper

References (27)

1. W. van der Aalst and K.M van Hee, Workflow Management: Models, Methods, and Systems (MIT press, Cambridge, MA, 2002).
2. W. van der Aalst, A. ter Hofstede, B. Kiepuszewski, and A.P. Barros, Workflow patterns, Distributed and Parallel Databases 14(3), 5-51 (2003).
3. P. Bernus, et al. (eds.): Handbook on Architectures of Information Systems, Springer-Verlag, Heidelberg (1998) 209-241.
4. T. Bosse, C.M. Jonker, L. van der Meij, A. Sharpanskykh, and J. Treur, Specification and Verification of Dynamics in Cognitive Agent Models. In: Proceedings of the 6th Int. Conf. on Intelligent Agent Technology, IAT'06 (IEEE Computer Society, 2006), pp. 247-254.
5. T. Bosse, C.M. Jonker, L. van der Meij, and J. Treur, LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn. In: Proc. MATES'05. LNAI 3550, edited by T. Eymann et al. (Springer Verlag, 2005) pp. 165-178.
6. E. Broek, C. Jonker, A. Sharpanskykh, J. Treur, and P. Yolum, Formal Modeling and Analysis of Organizations. In Coordination, Organization, Institutions and Norms in Agent Systems I, LNAI 3913, (Springer, 2006).
7. K.M. Carley: A comparison of artificial and human organizations. Journal of Economic Behavior & Organization, 31 (2) 175-191 (1996).
8. F.T.S. Chan, Performance measurement in a supply chain, International Journal of Advanced Manufacturing Technology 21 (7), 534-548 (2003).
9. V. Chapurlat, B. Kamsu-Foguem, and F. Prunet, A formal verification framework and associated tools for enterprise modeling: Application to UEML, Computers in industry, 57, 153-166 (2006).
10. Y.-H. Chen-Burger, A. Tate, and D. Robertson, Enterprise Modelling: A Declarative Approach for FBPML, European Conference of Artificial Intelligence, Knowledge Management and Organisational Memories Workshop 2002.
11. E.M. Clarke, O. Grumberg, and D.A. Peled, Model Checking (MIT Press, 2000).
12. N. Dalal, M. Kamath, W. Kolarik, and E. Sivaraman, Toward an integrated framework for modeling enterprise processes, Communications of the ACM, 47(3), 83-87 (2004).
13. J. Ferber and O. Gutknecht, A meta-model for the analysis and design of organizations in multi-agent systems. In: Proceedings of Third International Conference on Multi-Agent Systems (ICMAS'98) (IEEE Computer Society 1998), pp.128-135.
14. M. Koubarakis and D. Plexousakis. A formal framework for business process modeling and design. Information Systems, 27(5), 299-319 (2002).
15. E. Krauth, H. Moonen, V. Popova, and M. Schut, Performance Measurement and Control in Logistics Service Providing, Proceedings of ICEIS 2005 pp. 239-247 (2005).
16. M. Manzano, Extensions of First Order Logic (Cambridge University Press, 1996).
17. A. H. Maslow, Motivation and Personality, 2nd. ed. (New York, Harper & Row, 1970).
18. V. Popova and A. Sharpanskykh, Formal analysis of executions of organizational scenarios based on process-oriented models. To appear in: Proc. of 21st European Conference on Modeling and Simulation (ECMS'07), 2007.
19. V. Popova and A. Sharpanskykh, Formal Modelling of Goals in Agent Organizations. In Proc. of the AOMS Workshop (joint with IJCAI2007), 74-86.
20. V. Popova and A. Sharpanskykh, Modelling Organizational Performance Indicators. in: Proc. of IMSM'07 conference, edited by Barros, F. et al., 165-170, (2007).
21. V. Popova and A. Sharpanskykh, Process-Oriented Organization Modeling and Analysis Based on Constraints. Technical Report 062911AI, VUA, http://hdl.handle.net/1871/10545
22. W.R. Scott, Institutions and organizations (SAGE Publications, Thousand Oaks 2001).
23. A. Sharpanskykh, Authority and its Implementation in Enterprise Information Systems, Technical Report 070202AI, VUA.
24. A. Sharpanskykh, Modeling of Agent Behavior in the Organizational Context, Technical Report 070323AI, VUA.
25. A. Sharpanskykh and J. Treur, Verifying Interlevel Relations within Multi-Agent Systems. In: Proc. of the 17th European Conf. on AL ECAI'06 (IOS Press, 2006), pp. 290-294.
26. K.D. Tham, Representation and Reasoning About Costs Using Enterprise Models and ABC, PhD Dissertation, University of Toronto, 1999.
27. V.H. Vroom, Work and motivation (Wiley, New York, 1964).