{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:42:54Z","timestamp":1725518574161},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540876533"},{"type":"electronic","value":"9783540876540"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87654-0_19","type":"book-chapter","created":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T06:11:01Z","timestamp":1221891061000},"page":"333-349","source":"Crossref","is-referenced-by-count":6,"title":["Trace-Based Specification of Law and Guidance Policies for Multi-Agent Systems"],"prefix":"10.1007","author":[{"given":"Scott J.","family":"Harmon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott A.","family":"DeLoach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Robby","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"19_CR1","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":"19_CR2","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1145\/860575.860709","volume-title":"AAMAS 2003: Proceedings of the second international joint conference on Autonomous agents and multiagent systems","author":"J. Bradshaw","year":"2003","unstructured":"Bradshaw, J., Uszok, A., Jeffers, R., Suri, N., Hayes, P., Burstein, M., Acquisti, A., Benyo, B., Breedy, M., Carvalho, M., Diller, D., Johnson, M., Kulkarni, S., Lott, J., Sierhuis, M., Van Hoof, R.: Representation and reasoning for DAML-based policy and domain services in KAoS and Nomads. In: AAMAS 2003: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, pp. 835\u2013842. ACM Press, New York (2003)"},{"issue":"1-2","key":"19_CR3","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(94)00007-N","volume":"73","author":"Y. Shoham","year":"1995","unstructured":"Shoham, Y., Tennenholtz, M.: On social laws for artificial agent societies: Off-line design. Artificial Intelligence\u00a073(1-2), 231\u2013252 (1995)","journal-title":"Artificial Intelligence"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/10722167_22","volume-title":"Computer Aided Verification","author":"S.D. Stoller","year":"2000","unstructured":"Stoller, S.D., Unnikrishnan, L., Liu, Y.A.: Efficient detection of global properties in distributed systems using partial-order methods. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 264\u2013279. Springer, Heidelberg (2000)"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1007\/978-3-540-39718-2_26","volume-title":"The Semantic Web - ISWC 2003","author":"L. Kagal","year":"2003","unstructured":"Kagal, L., Finin, T., Joshi, A.: A policy based approach to security for the semantic web. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 402\u2013418. Springer, Heidelberg (2003)"},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/1160633.1160681","volume-title":"AAMAS 2006: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems","author":"P. Paruchuri","year":"2006","unstructured":"Paruchuri, P., Tambe, M., Ord\u00f3\u00f1ez, F., Kraus, S.: Security in multiagent systems by policy randomization. In: AAMAS 2006: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, pp. 273\u2013280. ACM Press, New York (2006)"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/POLICY.2003.1206963","volume-title":"POLICY 2003: IEEE 4th International Workshop on Policies for Distributed Systems and Networks","author":"A. Uszok","year":"2003","unstructured":"Uszok, A., Bradshaw, J., Jeffers, R., Suri, N., Hayes, P., Breedy, M., Bunch, L., Johnson, M., Kulkarni, S., Lott, J.: Kaos policy and domain services: toward a description-logic approach to policy representation, deconfliction, and enforcement. In: POLICY 2003: IEEE 4th International Workshop on Policies for Distributed Systems and Networks, pp. 93\u201396. IEEE, Los Alamitos (2003)"},{"key":"19_CR8","unstructured":"Artikis, A., Sergot, M., Pitt, J.: Specifying norm-governed computational societies. ACM Transactions on Computational Logic (2007)"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Vigan\u00f2, F., Colombetti, M.: Symbolic Model Checking of Institutions. In: Proceedings of the 9th International Conference on Electronic Commerce (2007)","DOI":"10.1145\/1282100.1282109"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"DeLoach, S.A., Oyenan, W., Matson, E.T.: A capabilities based theory of artificial organizations. Journal of Autonomous Agents and Multiagent Systems (2007)","DOI":"10.1007\/s10458-007-9019-4"},{"key":"19_CR11","unstructured":"Miller, M.: A goal model for dynamic systems. Master\u2019s thesis, Kansas State University (April 2007)"},{"issue":"3","key":"19_CR12","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1142\/S0218194001000505","volume":"11","author":"F. Zambonelli","year":"2001","unstructured":"Zambonelli, F., Jennings, N.R., Wooldridge, M.: Organisational rules as an abstraction for the analysis and design of multi-agent systems. International Journal of Software Engineering and Knowledge Engineering\u00a011(3), 303\u2013328 (2001)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"19_CR13","series-title":"Lecture Notes in Artificial Intelligence","first-page":"1","volume-title":"Advances in Artificial Intelligence: 15th Conference of the Canadian Society for Computational Studies of Intelligence (AI 2002)","author":"S.A. DeLoach","year":"2002","unstructured":"DeLoach, S.A.: Modeling organizational rules in the multi-agent systems engineering methodology. In: Cohen, R., Spencer, B. (eds.) Canadian AI 2002. LNCS (LNAI), vol.\u00a02338, pp. 1\u201315. Springer, Heidelberg (2002)"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/11693017_15","volume-title":"Fundamental Approaches to Software Engineering","author":"Robby","year":"2006","unstructured":"Robby, DeLoach, S.A., Kolesnikov, V.A.: Using design metrics for predicting system flexibility. In: Baresi, L., Heckel, R. (eds.) FASE 2006 and ETAPS 2006. LNCS, vol.\u00a03922, pp. 184\u2013198. Springer, Heidelberg (2006)"},{"key":"19_CR15","unstructured":"Zhong, C., DeLoach, S.A.: An investigation of reorganization algorithms. In: Proceedings of the International Conference on Artificial Intelligence (ICAI 2006), Las Vegas, Nevada, pp. 514\u2013517. CSREA Press (June 2006)"},{"key":"19_CR16","unstructured":"DiLeo, J., Jacobs, T., DeLoach, S.: Integrating ontologies into multiagent systems engineering. In: Fourth International Conference on Agent-Oriented Information Systems (AIOS 2002), CEUR-WS.org (July 2002)"},{"issue":"1","key":"19_CR17","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/s100090200075","volume":"4","author":"J.C. Corbett","year":"2002","unstructured":"Corbett, J.C., Dwyer, M.B., Hatcliff, J., Robby: Expressing checkable properties of dynamic systems: The bandera specification language. International Journal on Software Tools for Technology Transfer (STTT)\u00a04(1), 34\u201356 (2002)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"19_CR18","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1991","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, Heidelberg (1991)"},{"key":"19_CR19","unstructured":"B\u00fcchi, J.R.: On a decision method in restricted second-order arithmetics. In: Proceedings of International Congress of Logic Methodology and Philosophy of Science, Palo Alto, CA, USA, pp. 1\u201312. Stanford University Press (1960)"},{"issue":"3","key":"19_CR20","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1109\/32.48935","volume":"16","author":"K.M. Olender","year":"1990","unstructured":"Olender, K.M., Osterweil, L.J.: Cecil: A sequencing constraint language for automatic static analysis generation. IEEE Transactions on Software Engineering\u00a016(3), 268\u2013280 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"19_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/978-3-540-24756-2_8","volume-title":"Integrated Formal Methods","author":"S. Chaki","year":"2004","unstructured":"Chaki, S., Clarke, E.M., Ouaknine, J., Sharygina, N., Sinha, N.: State\/event-based software model checking. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol.\u00a02999, pp. 128\u2013147. Springer, Heidelberg (2004)"},{"key":"19_CR22","volume-title":"Model Checking","author":"E.M. Clarke Jr.","year":"1999","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"19_CR23","first-page":"2","volume-title":"International Journal of Information Security","author":"J. Ligatti","year":"2004","unstructured":"Ligatti, J., Bauer, L., Walker, D.: Edit automata: Enforcement mechanisms for run-time security policies. In: International Journal of Information Security, vol.\u00a04, pp. 2\u201316. Springer, Heidelberg (2004)"},{"key":"19_CR24","volume-title":"Proceedings of the 1999 International Conference on Software Engineering","author":"M.B. Dwyer","year":"1999","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 1999 International Conference on Software Engineering. IEEE, Los Alamitos (1999)"},{"key":"19_CR25","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/ICSE.2002.1007952","volume-title":"ICSE 2002: Proceedings of the 24th International Conference on Software Engineering","author":"R.L. Smith","year":"2002","unstructured":"Smith, R.L., Avrunin, G.S., Clarke, L.A., Osterweil, L.J.: Propel: an approach supporting property elucidation. In: ICSE 2002: Proceedings of the 24th International Conference on Software Engineering, pp. 11\u201321. ACM Press, New York (2002)"},{"key":"19_CR26","first-page":"37","volume":"0","author":"J. Pe\u00f1a","year":"2006","unstructured":"Pe\u00f1a, J., Hinchey, M.G., Sterritt, R.: Towards modeling, specifying and deploying policies in autonomous and autonomic systems using an AOSE methodology. EASE\u00a00, 37\u201346 (2006)","journal-title":"EASE"}],"container-title":["Lecture Notes in Computer Science","Engineering Societies in the Agents World VIII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87654-0_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:05:35Z","timestamp":1606183535000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87654-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540876533","9783540876540"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87654-0_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}