{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,21]],"date-time":"2026-09-21T14:00:50Z","timestamp":1789999250397,"version":"4.0.1"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540482918","type":"print"},{"value":"9783540482925","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11916291_13","type":"book-chapter","created":{"date-parts":[[2006,11,21]],"date-time":"2006-11-21T07:54:00Z","timestamp":1164095640000},"page":"184-199","source":"Crossref","is-referenced-by-count":2,"title":["Formalizing Agent-Oriented Enterprise Models"],"prefix":"10.1007","author":[{"given":"Ivan","family":"Jureta","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"St\u00e9phane","family":"Faulkner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Manuel","family":"Kolp","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Information Systems (27)","author":"J. Castro","year":"2002","unstructured":"Castro, J., Kolp, M., Mylopoulos, J.: Towards Requirements-Driven Information Systems Engineering: The Tropos Project. In: Information Systems (27). Elsevier, Amsterdam (2002)"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0306-4379(01)00055-2","volume":"27","author":"M. Koubarakis","year":"2002","unstructured":"Koubarakis, M., Plexousakis, D.: A formal framework for business process modelling and design. Information Systems\u00a027, 299\u2013319 (2002)","journal-title":"Information Systems"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/j.arcontrol.2003.09.004","volume":"27","author":"P. Bernus","year":"2003","unstructured":"Bernus, P.: Enterprise models for enterprise architecture and ISO9000:2000. Annual Reviews in Control\u00a027, 211\u2013220 (2003)","journal-title":"Annual Reviews in Control"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/3-540-70657-7_14","volume-title":"Agent-Oriented Software Engineering II","author":"E. Yu","year":"2002","unstructured":"Yu, E.: Agent-Oriented Modelling: Software Versus the World. In: Wooldridge, M.J., Wei\u00df, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol.\u00a02222, p. 206. Springer, Heidelberg (2002)"},{"key":"13_CR5","unstructured":"Yu, E.: Modelling Strategic Relationships for Process Reengineering. Ph.D. thesis, Dept. of Computer Science, University of Toronto (1994)"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., Ficklas, S.: Goal-directed requirements acquisition. Sci. Comput. Programming\u00a020, 3\u201350 (1993)","journal-title":"Sci. Comput. Programming"},{"key":"13_CR7","volume-title":"Managerial Economics and Organization Architecture","author":"J.A. Brickley","year":"2001","unstructured":"Brickley, J.A., Smith, C.W., Zimmerman, J.L.: Managerial Economics and Organization Architecture, 2nd edn. McGraw-Hill Irwin, New York (2001)","edition":"2"},{"key":"13_CR8","unstructured":"Faulkner, S., Kolp, M., Coyette, A., Tung Do, T.: Agent-Oriented Design of E-Commerce System Architecture. In: Proceedings of the 6th International Conference in Enterprise Information Systems Engineering, Porto (2004)"},{"issue":"4","key":"13_CR9","first-page":"493","volume":"69","author":"H.A. Simon","year":"1979","unstructured":"Simon, H.A.: Rational Decision Making in Business Organizations. The American Economic Review\u00a069(4), 493\u2013513 (1979)","journal-title":"The American Economic Review"},{"key":"13_CR10","volume-title":"Exploring Corporate Strategy, Text and Cases","author":"G. Johnson","year":"2002","unstructured":"Johnson, G., Scholes, K.: Exploring Corporate Strategy, Text and Cases. Prentice-Hall, Englewood Cliffs (2002)"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0268-4012(01)00005-6","volume":"21","author":"G. Mentzas","year":"2001","unstructured":"Mentzas, G., Halaris, C., Kavadias, S.: Modelling business processes with workflow systems: an evaluation of alternative approaches. International Journal of Information Management\u00a021, 123\u2013135 (2001)","journal-title":"International Journal of Information Management"},{"key":"13_CR12","volume-title":"The Z Notation: A Reference Manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall International, Englewood Cliffs (1992)","edition":"2"},{"key":"13_CR13","unstructured":"Bowen, J.: Formal Specification and Documentation using Z: A Case Study Approach (1994)"},{"key":"13_CR14","volume-title":"Administrative Behavior : A Study of Decision-Making Processes in Administrative Organization","author":"H.A. Simon","year":"1976","unstructured":"Simon, H.A.: Administrative Behavior: A Study of Decision-Making Processes in Administrative Organization, 3rd edn. The Free Press, New York (1976)","edition":"3"},{"key":"13_CR15","volume-title":"Scalable Enterprise Systems: An Introduction to Recent Advances","author":"M. Kamath","year":"2003","unstructured":"Kamath, M., Dalal, N.P., Chaugule, A., Sivaraman, E., Kolarik, W.J.: A Review of Enterprise Process Modelling Techniques. In: Prabhu, V., Kumara, S., Kamath, M. (eds.) Scalable Enterprise Systems: An Introduction to Recent Advances. Kluwer Academic Publishers, Boston (2003)"},{"key":"13_CR16","series-title":"NATO ASI Series, Series F: Computer and Systems Sciences","volume-title":"Workflow Management Systems and Interoperability","author":"A. Elmagarmid","year":"1998","unstructured":"Elmagarmid, A., Du, W.: Workflow Management: State of the Art Versus State of the Products. In: Dogac, A., Kalinichenko, L., Tamer Ozsu, M., Sheth, A. (eds.) Workflow Management Systems and Interoperability. NATO ASI Series, Series F: Computer and Systems Sciences, vol.\u00a0164. Springer, Heidelberg (1998)"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/4434.788776","volume":"7","author":"A.P. Sheth","year":"1999","unstructured":"Sheth, A.P., van der Aalst, W., Arpinar, I.B.: Processes Driving the Networked Economy. IEEE Concurrency\u00a07, 18\u201331 (1999)","journal-title":"IEEE Concurrency"},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0306-4379(99)00015-0","volume":"24","author":"V. Kavakli","year":"1999","unstructured":"Kavakli, V., Loucopoulos, P.: Goal-Driven Business Process Analysis Application in Electricity Deregulation. Information Systems\u00a024, 187\u2013207 (1999)","journal-title":"Information Systems"},{"key":"13_CR19","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0306-4379(03)00052-8","volume":"29","author":"L. Liu","year":"2004","unstructured":"Liu, L., Yu, E.: Designing information systems in social context: a goal and scenario modelling approach. Information Systems\u00a029, 187\u2013203 (2004)","journal-title":"Information Systems"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Briand, L., Melo, W., Seaman, C., Basili, V.: Characterizing and Assessing a Large-Scale Software Maintenance Organization. In: Procedings of the 17th International Conference on Software Engineering, Seattle, WA (1995)","DOI":"10.1145\/225014.225027"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A., Darimont, R., Letier, E.: Managing Conflicts in Goal-Oriented Requirements Engineering. IEEE Transactions on Software Engineering, Special Issue on Managing Inconsistency in Software Development (1998)","DOI":"10.1109\/32.730542"},{"key":"13_CR22","unstructured":"van Lamsweerde, A.: The KAOS Metamodel \u2013Ten Years After. Technical report (2003)"}],"container-title":["Lecture Notes in Computer Science","Agent-Oriented Information Systems III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11916291_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:58:25Z","timestamp":1605625105000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11916291_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540482918","9783540482925"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11916291_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}