{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:40:02Z","timestamp":1748072402507,"version":"3.41.0"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Automated Software Engineering"],"published-print":{"date-parts":[[2003,10]]},"DOI":"10.1023\/a:1025859021913","type":"journal-article","created":{"date-parts":[[2003,10,24]],"date-time":"2003-10-24T19:29:37Z","timestamp":1067023777000},"page":"337-365","source":"Crossref","is-referenced-by-count":19,"title":["ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems"],"prefix":"10.1007","volume":"10","author":[{"given":"Haiping","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sol M.","family":"Shatz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5145050_CR1","unstructured":"Arnold, K., O'sullivan, B., Scheifler, R.W., Waldo, J., and Wollrath, A. 1999. The Jini Specification. Addison-Wesley."},{"key":"5145050_CR2","doi-asserted-by":"crossref","unstructured":"Ashri, R. and Luck, M. 2000. Paradigma: Agent implementation through Jini. In A.M. Tjoa, R.R. Wagner, and A. Al-Zobaidie, editors, Proceedings of the Eleventh International Workshop on Database and Expert Systems Applications, IEEE Computer Society, pp. 453\u2013457.","DOI":"10.1109\/DEXA.2000.875065"},{"key":"5145050_CR3","unstructured":"Bellifemine, F., Poggi, A., and Rimassa, G. 1999. JADE-A FIPA-compliant agent framework. Proceedings of the 4th International Conference on the Practical Application of Intelligent Agent and Multi Agent Technology (PAAM99), London, U.K., pp. 97\u2013108."},{"key":"5145050_CR4","doi-asserted-by":"crossref","unstructured":"Brazier, F.M.T., Dunin Keplicz, N., Jennings, N., and Treur, J. 1997. DESIRE: Modelling multi-agent systems in a compositional formal framework. In M. Huhns and M. Singh, editors, International Journal of Cooperative Information Systems Special Issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, vol. 6, pp. 67\u201394.","DOI":"10.1142\/S0218843097000069"},{"issue":"7","key":"5145050_CR5","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1109\/32.859532","volume":"26","author":"D. Buchs","year":"2000","unstructured":"Buchs, D. and Guelfi, N. 2000. A formal specification framework for object-oriented distributed systems. IEEE Transactions on Software Engineering (TSE), 26(7):635\u2013652.","journal-title":"IEEE Transactions on Software Engineering (TSE)"},{"key":"5145050_CR6","unstructured":"Crnogorac, L., Rao, A.S., and Ramamohanarao, K. 1997. Analysis of inheritance mechanisms in agent-oriented programming. Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI), pp. 647\u2013654."},{"issue":"3","key":"5145050_CR7","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1109\/69.60793","volume":"2","author":"Y. Deng","year":"1990","unstructured":"Deng, Y. and Chang, S.K. 1990. A G-net model for knowledge representation and reasoning. IEEE Transactions on Knowledge and Data Engineering, 2(3):295\u2013310.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"5145050_CR8","doi-asserted-by":"crossref","unstructured":"Deng, Y., Chang, S.K., Perkusich, A., and de Figueredo, J. 1993. Integrating software engineering methods and Petri nets for the specification and analysis of complex information systems. Proceedings of the 14th International Conference on Application and Theory of Petri Nets, Chicago, pp. 206\u2013223.","DOI":"10.1007\/3-540-56863-8_48"},{"key":"5145050_CR9","doi-asserted-by":"crossref","unstructured":"D'Inverno, M., Fisher, M., Lomuscio, A., Luck, M., De Rijke, M., Ryan, M., and Wooldridge, M. 1997. Formalisms for multi-agent systems. The Knowledge Engineering Review, 12(3).","DOI":"10.1017\/S0269888997003068"},{"key":"5145050_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/3-540-45484-5_11","volume-title":"Formal Approaches to Agent-Based Systems: First International Workshop (FAABS 2000)","author":"M. D'Inverno","year":"2001","unstructured":"D'Inverno, M. and Luck, M. 2001. Formal agent development: Framework to system. In J.L. Rash, C.A. Rouff, W. Rouff, D. Gordon, and M.G. Hinchey, editors, Formal Approaches to Agent-Based Systems: First International Workshop (FAABS 2000), Lecture Notes in Artificial Intelligence, 1871, Berlin: Springer-Verlag, pp. 133\u2013147."},{"key":"5145050_CR11","volume-title":"Core Jini.","author":"W.K. Edwards","year":"1999","unstructured":"Edwards, W.K. 1999. Core Jini. Upper Saddle River, NJ: The Sun Microsystems Press, Prentice Hall PTR."},{"key":"5145050_CR12","volume-title":"Software Agents","author":"T. Finin","year":"1997","unstructured":"Finin, T., Labrou, Y., and Mayfield, J. 1997. KQML as an agent communication language. In Jeff Bradshaw, editor, Software Agents, Cambridge: MIT Press."},{"key":"5145050_CR13","unstructured":"FIPA, 2002. The foundation for intelligent physical agents. FIPA 2000 Specifications. Http:\/\/www.fipa.org."},{"key":"5145050_CR14","doi-asserted-by":"crossref","unstructured":"Fisher, M. 1995. Representing and executing agent-based systems. In M. Wooldridge and N. Jennings, editors, Intelligent Agents-Proceedings of the International Workshop on Agent Theories, Architectures, and Languages, Lecture Notes in Computer Science, Springer-Verlag, vol. 890, pp. 307\u2013323.","DOI":"10.1007\/3-540-58855-8_20"},{"key":"5145050_CR15","doi-asserted-by":"crossref","unstructured":"Flores, R.A. and Kremer, R.C. 2001. Formal conversations for the contract net protocol. In V. Marik, M. Luck, and O. Stepankova, editors, Multi-Agent Systems and Applications II, Lecture Notes in Computer Science, Springer-Verlag.","DOI":"10.1007\/3-540-45982-0_9"},{"key":"5145050_CR16","unstructured":"Howden, N., R\u00f6nnquist, R., Hodgson, A., and Lucas, A. 2001. JACK intelligent agents-Summary of an agent infrastructure. Proceedings of the 5th International Conference on Autonomous Agents."},{"key":"5145050_CR17","doi-asserted-by":"crossref","unstructured":"Huber, M. 1999. JAM: A BDI-theoretic mobile agent architecture. In Proceedings of International Conference on Autonomous Agents, pp. 236\u2013243.","DOI":"10.1145\/301136.301202"},{"key":"5145050_CR18","doi-asserted-by":"crossref","unstructured":"Huber, M.J., Kumar, S., Cohen, P.R., and McGee, D.R. 2001. A formal semantics for proxy communicative acts. Proceedings of the Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001), Seattle, Washington, USA.","DOI":"10.1007\/3-540-45448-9_16"},{"key":"5145050_CR19","doi-asserted-by":"crossref","unstructured":"Iglesias, C.A., Garrijo, M., and Centeno-Gonz\u00e1lez, J. 1998. A survey of agent-oriented methodologies. Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Language (ATAL-98), pp. 317\u2013330.","DOI":"10.1007\/3-540-49057-4_21"},{"key":"5145050_CR20","unstructured":"Ioerger, T.R., Volz, R.A., and Yen, J. 2000. Modeling cooperative, reactive behaviors on the battlefield using intelligent agents. Proceedings of the Ninth Conference on Computer Generated Forces (9th CGF), pp. 13\u201323."},{"key":"5145050_CR21","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1007\/BFb0031846","volume-title":"Agents Breaking Away: Proceedings of the Seventh European Workshop on Modeling Autonomous Agents in a Multi-Agent World, LNAI, Berlin","author":"D. Kinny","year":"1996","unstructured":"Kinny, D., Georgeff, M., and Rao, A. 1996. A methodology and modeling technique for systems of BDI agents. In W. Van de Velde and J.W. Perram, editors, Agents Breaking Away: Proceedings of the Seventh European Workshop on Modeling Autonomous Agents in a Multi-Agent World, LNAI, Berlin, Germany: Springer-Verlag, vol. 1038, pp. 56\u201371."},{"key":"5145050_CR22","first-page":"369","volume-title":"Proceedings of Modelling and Simulation (European Simulation Multi-Conference)","author":"C.A. Lakos","year":"1994","unstructured":"Lakos, C.A. and Keen, C. 1994. LOOPN++: A new language for object-oriented Petri nets. Proceedings of Modelling and Simulation (European Simulation Multi-Conference), Barcelona: Society for Computer Simulation, pp. 369\u2013374."},{"key":"5145050_CR23","unstructured":"Luck, M. and d'Inverno, M. 1995. A formal framework for agency and autonomy. Proceedings of the First International Conference on Multi-Agent Systems, AAAI Press\/MIT Press, pp. 254\u2013260."},{"issue":"44","key":"5145050_CR24","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T. 1989. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(44):541\u2013580.","journal-title":"Proceedings of the IEEE"},{"issue":"1","key":"5145050_CR25","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1080\/088395199117513","volume":"13","author":"H. Nwana","year":"1999","unstructured":"Nwana, H., Ndumu, D., Lee, L., and Collins, J. 1999. ZEUS:Atoolkit for building distributed multi-agent systems. Applied Artificial Intelligence Journal, 13(1):129\u2013186.","journal-title":"Applied Artificial Intelligence Journal"},{"key":"5145050_CR26","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/3-540-44564-1_8","volume-title":"Agent-Oriented Software Engineering","author":"J. Odell","year":"2001","unstructured":"Odell, J., Van Dyke Parunak, H., and Bauer, B. 2001. Representing agent interaction protocols in UML. In Paolo Ciancarini and Michael Wooldridge, editors, Agent-Oriented Software Engineering, Berlin: Springer-Verlag, pp. 121\u2013140."},{"key":"5145050_CR27","volume-title":"Refinement of an Agent-Based Model to Support Decision Making and Standard Agent Communication Languages","author":"Y. Pan","year":"2002","unstructured":"Pan, Y. 2002. Refinement of an Agent-Based Model to Support Decision Making and Standard Agent Communication Languages. Masters Thesis, University of Illinois at Chicago."},{"key":"5145050_CR28","doi-asserted-by":"crossref","unstructured":"Penczek, W. and Lomuscio, A. 2003. Verifying epistemic properties of multi-agent systems via bounded model checking. Proceedings of the Second International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'03), Melbourne.","DOI":"10.1145\/860606.860609"},{"issue":"1","key":"5145050_CR29","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0164-1212(96)00162-8","volume":"39","author":"A. Perkusich","year":"1997","unstructured":"Perkusich, A. and de Figueiredo, J. 1997. G-Nets: A Petri net based approach for logical and timing analysis of complex software systems. Journal of Systems and Software, 39(1):39\u201359.","journal-title":"Journal of Systems and Software"},{"key":"5145050_CR30","unstructured":"Poslad, S., Buckle, P., and Hadingham, R. 2000. The FIPA-OS agent platform: Open source for open standards. Proceedings of the 5th International Conference on the Practical Application of Intelligent Agent and Multi Agent Technology (PAAM2000), Manchester, UK."},{"key":"5145050_CR31","unstructured":"Pressman, R.S. 2001. Software Engineering: A Practitioner's Approach, 5th edition. McGraw-Hill."},{"key":"5145050_CR32","unstructured":"Rao, A.S. and Georgeff, M.P. 1993. A model-theoretic approach to the verification of situated reasoning systems. Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), Chambery, France, pp. 318\u2013324."},{"key":"5145050_CR33","doi-asserted-by":"crossref","unstructured":"Rodriguez-Aguilar, J.A., Martin, F.K., Garcia, P., Noriega, P., and Sierra, C. 1999. Towards a formal specification of complex social structures in multi-agent systems. In J. Padget, editor, Collaboration between Human and Artificial Societies, LNAI, Springer-Verlag, vol. 1624, pp. 284\u2013300.","DOI":"10.1007\/10703260_17"},{"issue":"6","key":"5145050_CR34","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1142\/S021819400100075X","volume":"11","author":"J. Saldhana","year":"2001","unstructured":"Saldhana, J., Shatz, S.M., and Hu, Z. 2001. Formalization of object behavior and interactions from UML models. International Journal of Software Engineering and Knowledge Engineering (IJSEKE), 11(6):643\u2013673.","journal-title":"International Journal of Software Engineering and Knowledge Engineering (IJSEKE)"},{"key":"5145050_CR35","unstructured":"Siegel, J. and the OMG Staff Strategy Group. 2001. Developing in OMG's model driven architecture (MDA). OMG White Paper, Object Management Group."},{"key":"5145050_CR36","doi-asserted-by":"crossref","first-page":"1104","DOI":"10.1109\/TC.1980.1675516","volume":"C-29","author":"R.G. Smith","year":"1980","unstructured":"Smith, R.G. 1980. The contract net protocol: High-level communication and control in a distributed problem solver. IEEE Transactions on Computer, C-29:1104\u20131113.","journal-title":"IEEE Transactions on Computer"},{"key":"5145050_CR37","doi-asserted-by":"crossref","unstructured":"Vasconcelos, W., Sabater, J., Sierra, C., and Querol, J. 2002. Skeleton-based agent development for electronic institutions. Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), Italy.","DOI":"10.1145\/544910.544911"},{"issue":"1","key":"5145050_CR38","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1109\/4236.895147","volume":"5","author":"J.M. Vidal","year":"2001","unstructured":"Vidal, J.M., Buhler, P.A., and Huhns, M.N. 2001. Inside an agent. IEEE Internet Computing, 5(1):82\u201386.","journal-title":"IEEE Internet Computing"},{"key":"5145050_CR39","unstructured":"Wooldridge, M. 2002. An Introduction to Multiagent Systems. John Wiley and Sons, Ltd."},{"key":"5145050_CR40","doi-asserted-by":"crossref","unstructured":"Wooldridge, M. and Ciancarini, P. 2001. Agent-oriented software engineering: The state of the art. In P. Ciancarini and M. Wooldridge, editors, Agent-Oriented Software Engineering, Springer-Verlag Lecture Notes in AI, vol. 1957.","DOI":"10.1007\/3-540-44564-1"},{"issue":"3","key":"5145050_CR41","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1023\/A:1010071910869","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M., Jennings, N.R., and Kinny, D. 2000. The Gaia methodology for agent-oriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems, 3(3):285\u2013312.","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"5145050_CR42","unstructured":"Xu, H. and Shatz, S.M. 2000. Extending G-nets to support inheritance modeling in concurrent object-oriented design. Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC 2000), Nashville, Tennessee, USA, pp. 3128\u20133133."},{"key":"5145050_CR43","unstructured":"Xu, H. and Shatz, S.M. (2001a). An agent-based Petri net model with application to seller\/buyer design in electronic commerce. Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems (ISADS 2001), Dallas, Texas, USA, pp. 11\u201318."},{"key":"5145050_CR44","unstructured":"Xu, H. and Shatz, S.M. (2001b). A framework for modeling agent-oriented software. Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS-21), Phoenix, Arizona, USA, pp. 57\u201364."},{"issue":"1","key":"5145050_CR45","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1109\/TSE.2003.1166586","volume":"29","author":"H. Xu","year":"2003","unstructured":"Xu, H. and Shatz, S.M. 2003. A framework for model-based design of agent-oriented software. IEEE Transactions on Software Engineering, 29(1):15\u201330.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5145050_CR46","doi-asserted-by":"crossref","unstructured":"Xu, D., Volz, R.A., Ioerger, T.R., and Yen, J. 2002. Modeling and verifying multi-agent behaviors using Predicate\/ Transition nets. Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering (SEKE'02), Italy, pp. 193\u2013200.","DOI":"10.1145\/568760.568794"},{"issue":"1","key":"5145050_CR47","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/TSE.2003.1166587","volume":"29","author":"D. Xu","year":"2003","unstructured":"Xu, D., Yin, J., Deng, Y., and Ding, J. 2003. A formal architectural model for logical agent mobility. IEEE Transactions on Software Engineering, 29(1):31\u201345.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5145050_CR48","unstructured":"Yen, J., Yin, J., Ioerger, T.R., Miller, M., Xu, D., and Volz, R.A. 2001. CAST: Collaborative agents for simulating teamwork. Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01), Seattle, WA, pp. 1135\u20131142."},{"issue":"5","key":"5145050_CR49","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1142\/S0218194001000657","volume":"11","author":"H. Zhu","year":"2001","unstructured":"Zhu, H. 2001. SLABS: A formal specification language for agent-based systems. International Journal of Software Engineering and Knowledge Engineering, 11(5):529\u2013558.","journal-title":"International Journal of Software Engineering and Knowledge Engineering"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1025859021913.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1025859021913\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1025859021913.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T06:59:52Z","timestamp":1748069992000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1025859021913"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":49,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2003,10]]}},"alternative-id":["5145050"],"URL":"https:\/\/doi.org\/10.1023\/a:1025859021913","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[2003,10]]}}}