{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:48:07Z","timestamp":1742975287308,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642192074"},{"type":"electronic","value":"9783642192081"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19208-1_2","type":"book-chapter","created":{"date-parts":[[2011,2,21]],"date-time":"2011-02-21T07:25:55Z","timestamp":1298273155000},"page":"18-31","source":"Crossref","is-referenced-by-count":1,"title":["A Formal Specification for Organizational Adaptation"],"prefix":"10.1007","author":[{"given":"Huib","family":"Aldewereld","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Dignum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Virginia","family":"Dignum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Loris","family":"Penserini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Aldewereld, H., Penserini, L., Dignum, F., Dignum, V.: Regulating Organizations: The ALIVE Approach. In: Workshop on Regulations Modelling and Deployment (ReMoD 2008), @CAISE 2008, Montpellier, France (2008)"},{"key":"2_CR2","unstructured":"Dignum, V.: A Model for Organizational Interaction: based on Agents, founded in Logic. PhD thesis, Universiteit Utrecht (2004)"},{"key":"2_CR3","unstructured":"Dignum, V., Dignum, F.: A logic for agent organization. In: Formal Approaches to Multi-Agent Systems (FAMAS@Agents 2007), Durham (2007)"},{"key":"2_CR4","unstructured":"Dignum, V., Dignum, F., Sonenberg, L.: Towards dynamic organization of agent societies. In: Vouros, G. (ed.) Workshop on Coordination in Emergent Agent Societies, ECAI 2004, pp. 70\u201378 (2004)"},{"key":"2_CR5","volume-title":"IEEE\/WIC\/ACM Int. Conf. on Intelligent Agent Technology (IAT 2007)","author":"V. Dignum","year":"2007","unstructured":"Dignum, V., Tick, C.: Agent-based Analysis of Organizations: Performance and Adaptation. In: IEEE\/WIC\/ACM Int. Conf. on Intelligent Agent Technology (IAT 2007), California, USA. IEEE CS Press, Los Alamitos (2007)"},{"key":"2_CR6","doi-asserted-by":"publisher","DOI":"10.4135\/9781452229249","volume-title":"The Contingency Theory of Organizations","author":"L. Donaldson","year":"2001","unstructured":"Donaldson, L.: The Contingency Theory of Organizations. Sage, Thousand Oaks (2001)"},{"key":"2_CR7","first-page":"955","volume-title":"Handbook of Theoretical Computer Science","author":"E. Emerson","year":"1990","unstructured":"Emerson, E.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 955\u20131072. MIT Press, Cambridge (1990)"},{"issue":"1","key":"2_CR8","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1147\/sj.421.0005","volume":"42","author":"A.G. Ganek","year":"2003","unstructured":"Ganek, A.G., Corbi, T.A.: The dawning of the autonomic computing era. IBM Systems Journal\u00a042(1), 5\u201318 (2003)","journal-title":"IBM Systems Journal"},{"key":"2_CR9","unstructured":"Gazendam, H., Simons, J.L.: An analysis of the concept of equilibrium in organization theory. In: Proceedings of the Computational and Mathematical Organization Theory Workshop (1998)"},{"issue":"1","key":"2_CR10","first-page":"63","volume":"30","author":"S. Hassas","year":"2006","unstructured":"Hassas, S., Marzo-Serugendo, G.D., Karageorgos, A., Castelfranchi, C.: Self-organising mechanisms from social and business\/economics approaches. Informatica\u00a030(1), 63\u201371 (2006)","journal-title":"Informatica"},{"volume-title":"Agent-Oriented Methodologies","year":"2005","key":"2_CR11","unstructured":"Henderson-Sellers, B., Giorgini, P. (eds.): Agent-Oriented Methodologies. Idea Group Inc., USA (2005)"},{"issue":"1","key":"2_CR12","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J.O. Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer\u00a036(1), 41\u201350 (2003)","journal-title":"Computer"},{"key":"2_CR13","volume-title":"Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009)","author":"M. Morandini","year":"2009","unstructured":"Morandini, M., Penserini, L., Perini, A.: Operational Semantics of Goal Models in Adaptive Agents. In: Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009). ACM, New York (2009)"},{"key":"2_CR14","volume-title":"DEMO Session: Proc. of the 7th Int. Joint Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2008)","author":"D.M. Okouya","year":"2008","unstructured":"Okouya, D.M., Dignum, V.: A prototype tool for the design, analysis and development of multi-agent organizations. In: DEMO Session: Proc. of the 7th Int. Joint Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2008). ACM, New York (2008)"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Penserini, L., Perini, A., Susi, A., Mylopoulos, J.: High Variability Design for Software Agents: Extending Tropos. ACM Transactions on Autonomous and Adaptive Systems (TAAS)\u00a02(4) (2007)","DOI":"10.1145\/1293731.1293736"},{"key":"2_CR16","volume-title":"Logical Theory and Semantical Analysis","author":"I. P\u00f6rn","year":"1974","unstructured":"P\u00f6rn, I.: Some basic concepts of action. In: Stenlund, S. (ed.) Logical Theory and Semantical Analysis. Reidel, Dordrecht (1974)"},{"key":"2_CR17","first-page":"47","volume-title":"Simulating Organizations: Computational Models of Institutions and Groups","author":"Y. So","year":"1998","unstructured":"So, Y., Durfee, E.H.: Designing organizations for computational agents. In: Simulating Organizations: Computational Models of Institutions and Groups, pp. 47\u201364. MIT Press, Cambridge (1998)"},{"issue":"3","key":"2_CR18","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1145\/958961.958963","volume":"12","author":"F. Zambonelli","year":"2003","unstructured":"Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing multiagent systems: The gaia methodology. ACM Transactions on Software Engineering and Methodology\u00a012(3), 317\u2013370 (2003)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"10","key":"2_CR19","doi-asserted-by":"publisher","first-page":"1361","DOI":"10.1016\/j.jss.2006.02.062","volume":"79","author":"J. Zhang","year":"2006","unstructured":"Zhang, J., Cheng, B.H.C.: Using Temporal Logic to Specify Adaptive Program Semantics. Journal of Systems and Software (JSS)\u00a079(10), 1361\u20131369 (2006)","journal-title":"Journal of Systems and Software (JSS)"}],"container-title":["Lecture Notes in Computer Science","Agent-Oriented Software Engineering X"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19208-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T04:30:49Z","timestamp":1558413049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19208-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642192074","9783642192081"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19208-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}