{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:56:55Z","timestamp":1725512215960},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540709442"},{"type":"electronic","value":"9783540709459"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-70945-9_8","type":"book-chapter","created":{"date-parts":[[2007,8,5]],"date-time":"2007-08-05T10:11:42Z","timestamp":1186308702000},"page":"122-139","source":"Crossref","is-referenced-by-count":2,"title":["Observed-MAS: An Ontology-Based Method for Analyzing Multi-Agent Systems Design Models"],"prefix":"10.1007","author":[{"given":"Anarosa A. F.","family":"Brand\u00e3o","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viviane Torres","family":"da Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos J. P.","family":"de Lucena","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"The description Logic Handbook - Theory, Implementation and Applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., et al.: The description Logic Handbook - Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44566-8","volume-title":"Agent-Oriented Software Engineering","author":"B. Bauer","year":"2001","unstructured":"Bauer, B., M\u00fcller, J.P., Odell, J.: Agent UML: A Formalism for Specifying Multiagent Software Systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, Springer, Heidelberg (2001)"},{"key":"8_CR3","unstructured":"Berardi, D.: Using DLs to reason on UML class diagrams. In: Proceedings of th KI- 2002 Workshop on Applications of Description Logics (2002)"},{"key":"8_CR4","volume-title":"Role Theory: Concepts and Research","author":"J. Biddle","year":"1966","unstructured":"Biddle, J., Thomas, E.: Role Theory: Concepts and Research. John Wiley and Sons, New York (1966)"},{"key":"8_CR5","unstructured":"Borst, W.N.: Construction of Engineering Ontologies. University of Twente, Enschede, NL, Center for Telematica and Information Technology (1997)"},{"key":"8_CR6","unstructured":"Brand\u00e3o, A.A.F.: An ontology-based method for structuring and analyzing multiagent systems models PhD Thesis (in Portuguese), Pontifical Catholic University of Rio de Janeiro - PUC-Rio, Brazil (2005)"},{"key":"8_CR7","unstructured":"DAML+OIL - DARPA Agent Markup Language, http:\/\/www.daml.org\/"},{"key":"8_CR8","unstructured":"DeLoach, S.A.: Analysis and Design of Multiagent Systems Using Hybrid Coordination Media. In: Proceedings of the 6th World Multi-Conference on Systemic, Cybernetics and Informatics (SCI 2002), Florida, USA, pp. 14\u201318 (2002)"},{"key":"8_CR9","unstructured":"Dong, J.S., et al.: Verifying DAML+OIL and Beyond in Z\/EVES. In: Proceedings of the 26th International Conference on Software Engineering (ICSE\u201904), pp. 201\u2013210 (2004)"},{"key":"8_CR10","unstructured":"FaCT - Fast Classification of Terminologies, available at: http:\/\/www.cs.man.ac.uk\/~horrocks\/FaCT"},{"issue":"5-6","key":"8_CR11","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/j.knosys.2004.07.003","volume":"17","author":"L. Ekenberg","year":"2004","unstructured":"Ekenberg, L., Johannesson, P.: A framework for determining design correctness. Knowledge Based Systems\u00a017(5-6), 249\u2013262 (2004)","journal-title":"Knowledge Based Systems"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T.R. Gruber","year":"1993","unstructured":"Gruber, T.R.: A Translation Approach to Portable Ontology Specification. Knowledge Acquisition\u00a05, 199\u2013220 (1993)","journal-title":"Knowledge Acquisition"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Jennings, N.: Agent-Oriented Software Engineering. In: Proceedings of the 20th Intl. Conf. on Industrial and Engineering Applications of Artificial Intelligence, pp. 4\u201310 (1999)","DOI":"10.1007\/978-3-540-48765-4_2"},{"key":"8_CR14","unstructured":"Kalfoglou, Y., Robertson, D.: A case study in applying ontologies to augment and reason about the correctness of specifications. In: Proceedings of the 11th International Conference on Software Engineering and Knowledge Engineering (SEKE99), Kaiserlautern, Germany (1999), available at http:\/\/www.ecs.soton.ac.uk\/people\/yk1\/ (04\/19\/2005)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"ZB 2000: Formal Specification and Development in Z and B","author":"D. Carrington","year":"2000","unstructured":"Carrington, D., Kim, S.-K.: A Formal Mapping between UML Models and Object-Z Specifications. In: P. Bowen, J., et al. (eds.) B 2000, ZUM 2000, and ZB 2000. LNCS, vol.\u00a01878, Springer, Heidelberg (2000)"},{"key":"8_CR16","unstructured":"de Maria, B.A., et al.: VisualAgent: A Software Development Environment for Multi-Agent Systems. In: Proceedings of the 19th Brazilian Symposiun on Software Engeneering (SBES 2005), Tool Track, Uberl\u00e2ndia, MG, Brazil, October 3-7 (2005)"},{"key":"8_CR17","unstructured":"Mens, T., Straeten, R., Simmonds, J.: Maintaining Consistency between UML Models with Description Logic Tools. In: Proceedings of the Workshop on Object-Oriented Reengineering at ECOOP (2003)"},{"key":"8_CR18","unstructured":"Object Management Group - OMG, http:\/\/www.omg.org\/"},{"key":"8_CR19","unstructured":"Object Managment Group: OMG - Meta Object Facility (MOF) Specification, version 1.4, available at http:\/\/www.omg.org\/cgi-bin\/doc?formal\/2002-04-03 (last visited 04\/25\/2005)"},{"key":"8_CR20","unstructured":"OWL -Ontology Web Language, available at http:\/\/www.w3c.org\/TR\/owl-features\/"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-70657-7_1","volume-title":"Agent-Oriented Software Engineering II","author":"H. Dyke Parunak Van","year":"2002","unstructured":"Van Dyke Parunak, H., Odell, J.J.: Representing Social Structures in UML. In: Wooldridge, M.J., Wei\u00df, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol.\u00a02222, pp. 1\u201316. Springer, Heidelberg (2002)"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","first-page":"36","volume-title":"Agent-Oriented Software Engineering IV","author":"M. Pistore","year":"2004","unstructured":"Pistore, M., et al.: Agent-Oriented Modeling by Interleaving Formal and Informal Specification. In: Giorgini, P., M\u00fcller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol.\u00a02935, pp. 36\u201352. Springer, Heidelberg (2004)"},{"key":"8_CR23","unstructured":"Prot\u00e9g\u00e9 2000 Ontology Editor - available at http:\/\/protege.stanford.edu\/"},{"key":"8_CR24","unstructured":"RACER, Renamed Abox and Concept Expression Reasoner, available at: http:\/\/www.sts.tu-harburg.de\/~r.f.moeller\/racer"},{"key":"8_CR25","unstructured":"RICE, Racer Interactive Client Environment, http:\/\/www.cs.concordia.ca\/~haarslev\/racer\/rice.jar"},{"key":"8_CR26","unstructured":"Rational Rose, http:\/\/www-306.ibm.com\/software\/rational\/"},{"key":"8_CR27","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1999)"},{"key":"8_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-35828-5_1","volume-title":"Software Engineering for Large-Scale Multi-Agent Systems","author":"V. Silva","year":"2003","unstructured":"Silva, V., et al.: Taming Agents and Objects in Software. In: Garcia, A.F., et al. (eds.) Software Engineering for Large-Scale Multi-Agent Systems. LNCS, vol.\u00a02603, pp. 1\u201316. Springer, Heidelberg (2003)"},{"key":"8_CR29","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1023\/B:AGNT.0000019691.42633.07","volume":"9","author":"V. Silva","year":"2004","unstructured":"Silva, V., Lucena, C.: From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language. Sycara, K., Wooldridge, M. (Eds.) Journal of Autonomous Agents and Multi-Agent Systems\u00a09, 145\u2013189 (2004)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"8_CR30","unstructured":"Straeten, R., Simmonds, J.: Detecting Inconsistencies between UML Models Using Description Logic. In: Proceedings of the 2003 International Workshop on Description Logics (2003), available at http:\/\/CEUR-WS.org"},{"issue":"5","key":"8_CR31","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1016\/S0306-4379(02)00027-3","volume":"28","author":"G. Wagner","year":"2003","unstructured":"Wagner, G.: The Agent-Object-Relationship Metamodel: Towards a Unified View of State and Behavior. Information Systems\u00a028(5), 475\u2013504 (2003)","journal-title":"Information Systems"},{"key":"8_CR32","series-title":"Lecture Notes in Computer Science","volume-title":"Agent-Oriented Software Engineering","author":"M. Wooldridge","year":"2001","unstructured":"Wooldridge, M., Ciancarini, P.: Agent-Oriented Software Engineering: The State of the Art. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, Springer, Heidelberg (2001)"},{"key":"8_CR33","series-title":"Lecture Notes in Computer Science","volume-title":"Agent-Oriented Software Engineering","author":"F. Zambonelli","year":"2001","unstructured":"Zambonelli, F., Jennings, N., Wooldridge, M.: Organizational Abstractions for the Analysis and Design of Multi-Agent Systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Agent-Oriented Software Engineering VII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70945-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,21]],"date-time":"2021-08-21T07:11:23Z","timestamp":1629529883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70945-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540709442","9783540709459"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70945-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}