{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,25]],"date-time":"2025-01-25T05:36:37Z","timestamp":1737783397752,"version":"3.33.0"},"publisher-location":"Boston, MA","reference-count":27,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387739465"},{"type":"electronic","value":"9780387739472"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-73947-2_26","type":"book-chapter","created":{"date-parts":[[2007,12,29]],"date-time":"2007-12-29T11:54:35Z","timestamp":1198929275000},"page":"343-358","source":"Crossref","is-referenced-by-count":1,"title":["A Formal Framework for Modeling and Analysis of Organizations"],"prefix":"10.1007","author":[{"given":"Viara","family":"Popova","sequence":"first","affiliation":[]},{"given":"Alexei","family":"Sharpanskykh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, Methods, and Systems","author":"W. Aalst van der","year":"2002","unstructured":"W. van der Aalst and K.M van Hee, Workflow Management: Models, Methods, and Systems (MIT press, Cambridge, MA, 2002)."},{"issue":"3","key":"26_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W. Aalst van der","year":"2003","unstructured":"W. van der Aalst, A. ter Hofstede, B. Kiepuszewski, and A.P. Barros, Workflow patterns, Distributed and Parallel Databases 14(3), 5\u201351 (2003).","journal-title":"Distributed and Parallel Databases"},{"key":"26_CR3","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/978-3-662-03526-9_10","volume-title":"Handbook on Architectures of Information Systems","year":"1998","unstructured":"P. Bernus, et al. (eds.): Handbook on Architectures of Information Systems, Springer-Verlag, Heidelberg (1998) 209\u2013241."},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"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\u201906 (IEEE Computer Society, 2006), pp. 247\u2013254.","DOI":"10.1109\/IAT.2006.112"},{"key":"26_CR5","unstructured":"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\u201905. LNAI 3550, edited by T. Eymann et al. (Springer Verlag, 2005) pp. 165\u2013178."},{"key":"26_CR6","unstructured":"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)."},{"issue":"2","key":"26_CR7","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/S0167-2681(96)00896-7","volume":"31","author":"K.M. Carley","year":"1996","unstructured":"K.M. Carley: A comparison of artificial and human organizations. Journal of Economic Behavior & Organization, 31(2) 175\u2013191 (1996).","journal-title":"Journal of Economic Behavior & Organization"},{"issue":"7","key":"26_CR8","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1007\/s001700300063","volume":"21","author":"F.T.S. Chan","year":"2003","unstructured":"F.T.S. Chan, Performance measurement in a supply chain, International Journal of Advanced Manufacturing Technology 21(7), 534\u2013548 (2003).","journal-title":"International Journal of Advanced Manufacturing Technology"},{"key":"26_CR9","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.compind.2005.06.001","volume":"57","author":"V. Chapurlat","year":"2006","unstructured":"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\u2013166 (2006).","journal-title":"Computers in industry"},{"key":"26_CR10","unstructured":"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."},{"key":"26_CR11","unstructured":"E.M. Clarke, O. Grumberg, and D.A. Peled, Model Checking (MIT Press, 2000)."},{"issue":"3","key":"26_CR12","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/971617.971620","volume":"47","author":"N. Dalai","year":"2004","unstructured":"N. Dalai, M. Kamath, W. Kolarik, and E. Sivaraman, Toward an integrated framework for modeling enterprise processes, Communications of the ACM, 47(3), 83\u201387 (2004).","journal-title":"Communications of the ACM"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"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\u201998) (IEEE Computer Society 1998), pp.128\u2013135.","DOI":"10.1109\/ICMAS.1998.699041"},{"issue":"5","key":"26_CR14","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0306-4379(01)00055-2","volume":"27","author":"M. Koubarakis","year":"2002","unstructured":"M. Koubarakis and D. Plexousakis. A formal framework for business process modeling and design. Information Systems, 27(5), 299\u2013319 (2002).","journal-title":"Information Systems"},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"E. Krauth, H. Moonen, V. Popova, and M. Schut, Performance Measurement and Control in Logistics Service Providing, Proceedings of ICEIS 2005, pp. 239\u2013247 (2005).","DOI":"10.5220\/0002536102390247"},{"key":"26_CR16","unstructured":"M. Manzano, Extensions of First Order Logic (Cambridge University Press, 1996)."},{"key":"26_CR17","volume-title":"Motivation and Personality","author":"A. H. Maslow","year":"1970","unstructured":"A. H. Maslow, Motivation and Personality, 2nd. ed. (New York, Harper & Row, 1970).","edition":"2nd. ed."},{"key":"26_CR18","doi-asserted-by":"crossref","unstructured":"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\u201907), 2007.","DOI":"10.7148\/2007-0036"},{"key":"26_CR19","unstructured":"V. Popova and A. Sharpanskykh, Formal Modelling of Goals in Agent Organizations. In Proc. of the AOMS Workshop (joint with IJCAI2007), 74\u201386."},{"key":"26_CR20","unstructured":"V. Popova and A. Sharpanskykh, Modelling Organizational Performance Indicators. In: Proc. of IMSM\u201907 conference, edited by Barros, F. et al., 165\u2013170, (2007)."},{"key":"26_CR21","unstructured":"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"},{"key":"26_CR22","volume-title":"Institutions and organizations","author":"W.R. Scott","year":"2001","unstructured":"W.R. Scott, Institutions and organizations (SAGE Publications, Thousand Oaks 2001)."},{"key":"26_CR23","unstructured":"A. Sharpanskykh, Authority and its Implementation in Enterprise Information Systems, Technical Report 070202A1, VUA."},{"key":"26_CR24","unstructured":"A. Sharpanskykh, Modeling of Agent Behavior in the Organizational Context, Technical Report 070323AI, VUA."},{"key":"26_CR25","unstructured":"A. Sharpanskykh and J. Treur, Verifying Interlevel Relations within Multi-Agent Systems. In: Proc. of the 17th European Conf. on AI, ECAI\u201906 (IOS Press, 2006), pp. 290\u2013294."},{"key":"26_CR26","unstructured":"K.D. Tham, Representation and Reasoning About Costs Using Enterprise Models and ABC, PhD Dissertation, University of Toronto, 1999."},{"key":"26_CR27","volume-title":"Work and motivation","author":"V.H. Vroom","year":"1964","unstructured":"V.H. Vroom, Work and motivation (Wiley, New York, 1964)."}],"container-title":["IFIP \u2014 The International Federation for Information Processing","Situational Method Engineering: Fundamentals and Experiences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-73947-2_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,24]],"date-time":"2025-01-24T22:36:27Z","timestamp":1737758187000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-73947-2_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387739465","9780387739472"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-73947-2_26","relation":{},"subject":[]}}