Abstract
This paper introduces a formal framework for modeling and analysis of organizations. It allows representing a great variety of organizational concepts and relations that are structured into a number of dedicated perspectives (or views), similar to the ones defined in GERAM [3]. In contrast to many existing enterprise architectures the proposed framework has formal foundations based on the order-sorted predicate logic. This formal basis enables different types of analysis of organizational specifications both of particular views and across different views. Furthermore, the framework provides support for real time management of organizational processes. The framework has been applied in a number of case studies, one of which is discussed in this paper.
Chapter PDF
References
W. van der Aalst and K.M van Hee, Workflow Management: Models, Methods, and Systems (MIT press, Cambridge, MA, 2002).
W. van der Aalst, A. ter Hofstede, B. Kiepuszewski, and A.P. Barros, Workflow patterns, Distributed and Parallel Databases 14(3), 5–51 (2003).
P. Bernus, et al. (eds.): Handbook on Architectures of Information Systems, Springer-Verlag, Heidelberg (1998) 209–241.
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 6 th Int. Conf. on Intelligent Agent Technology, IAT’06 (IEEE Computer Society, 2006), pp. 247–254.
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.
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).
K.M. Carley: A comparison of artificial and human organizations. Journal of Economic Behavior & Organization, 31(2) 175–191 (1996).
F.T.S. Chan, Performance measurement in a supply chain, International Journal of Advanced Manufacturing Technology 21(7), 534–548 (2003).
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).
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.
E.M. Clarke, O. Grumberg, and D.A. Peled, Model Checking (MIT Press, 2000).
N. Dalai, M. Kamath, W. Kolarik, and E. Sivaraman, Toward an integrated framework for modeling enterprise processes, Communications of the ACM, 47(3), 83–87 (2004).
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.
M. Koubarakis and D. Plexousakis. A formal framework for business process modeling and design. Information Systems, 27(5), 299–319 (2002).
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).
M. Manzano, Extensions of First Order Logic (Cambridge University Press, 1996).
A. H. Maslow, Motivation and Personality, 2nd. ed. (New York, Harper & Row, 1970).
V. Popova and A. Sharpanskykh, Formal analysis of executions of organizational scenarios based on process-oriented models. To appear in: Proc. of 21 st European Conference on Modeling and Simulation (ECMS’07), 2007.
V. Popova and A. Sharpanskykh, Formal Modelling of Goals in Agent Organizations. In Proc. of the AOMS Workshop (joint with IJCAI2007), 74–86.
V. Popova and A. Sharpanskykh, Modelling Organizational Performance Indicators. In: Proc. of IMSM’07 conference, edited by Barros, F. et al., 165–170, (2007).
V. Popova and A. Sharpanskykh, Process-Oriented Organization Modeling and Analysis Based on Constraints. Technical Report 062911AI, VUA, http://www.hdl.handle.net/1871/10545
W.R. Scott, Institutions and organizations (SAGE Publications, Thousand Oaks 2001).
A. Sharpanskykh, Authority and its Implementation in Enterprise Information Systems, Technical Report 070202A1, VUA.
A. Sharpanskykh, Modeling of Agent Behavior in the Organizational Context, Technical Report 070323AI, VUA.
A. Sharpanskykh and J. Treur, Verifying Interlevel Relations within Multi-Agent Systems. In: Proc. of the 17th European Conf. on AI, ECAI’06 (IOS Press, 2006), pp. 290–294.
K.D. Tham, Representation and Reasoning About Costs Using Enterprise Models and ABC, PhD Dissertation, University of Toronto, 1999.
V.H. Vroom, Work and motivation (Wiley, New York, 1964).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 International Federation for Information Processing
About this paper
Cite this paper
Popova, V., Sharpanskykh, A. (2007). A Formal Framework for Modeling and Analysis of Organizations. In: Ralyté, J., Brinkkemper, S., Henderson-Sellers, B. (eds) Situational Method Engineering: Fundamentals and Experiences. ME 2007. IFIP — The International Federation for Information Processing, vol 244. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-73947-2_26
Download citation
DOI: https://doi.org/10.1007/978-0-387-73947-2_26
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-73946-5
Online ISBN: 978-0-387-73947-2
eBook Packages: Computer ScienceComputer Science (R0)