A Model-Driven CASE tool for developing and verifying regulated open MAS
作者： Emilia Garcia , Adriana Giret , Vicente Botti
DOI: 10.1016/J.SCICO.2011.10.009
关键词: Software engineering 、 Real-time computing 、 Computer science 、 Model checking 、 Multi-agent system 、 Context (language use) 、 Model-driven software development 、 Complex system 、 Executable 、 Autonomous agent 、 Computer-aided software engineering
摘要: This paper describes a CASE tool for developing complex systems in which heterogeneous and autonomous agents may need to coexist social legal framework. Model-Driven Technologies are used integrate the design of this kind with verification models generation executable code from these models. The module is based on model-checking techniques check coherence modeled context at time presented it exemplified case study.
elsevier.com
sci-hub.se 参考文章(23)
Gerard Holzmann, Spin model checker, the: primer and reference manual Addison-Wesley Professional. ,(2003)
Héla Hachicha, Khaled Ghedira, Adlèn Loukil, MAMT: an environment for modeling and implementing mobile agents ,(2008)
Emilia Garcia, Adriana Giret, Vicente Botti, Regulated Open Multi-Agent Systems Based on Contracts ISD. pp. 243- 255 ,(2011) , 10.1007/978-1-4419-9790-6_20
M. Esteva, J. Ll. Arcos, B. Rosell, J. A. Rodríguez-Aguilar, G. Cuní, D. de la Cruz, Engineering open multi-agent systems as electronic institutions national conference on artificial intelligence. pp. 1010- 1011 ,(2004)
Stephen Fenech, Gordon J. Pace, Gerardo Schneider, Automatic Conflict Detection on Contracts international colloquium on theoretical aspects of computing. ,vol. 5684, pp. 200- 214 ,(2009) , 10.1007/978-3-642-03466-4_13
Virginia Dignum, John-Jules C. Meyer, Frank Dignum, Hans Weigand, Formal Specification of Interaction in Agent Societies Lecture Notes in Computer Science. pp. 37- 52 ,(2002) , 10.1007/978-3-540-45133-4_4
Fu-Shiung Hsieh, Automated negotiation based on contract net and petri net electronic commerce and web technologies. pp. 148- 157 ,(2005) , 10.1007/11545163_15
Emilia Garcia, Estefania Argente, Adriana Giret, A Modeling Tool for Service-Oriented Open Multiagent Systems Principles of Practice in Multi-Agent Systems. pp. 345- 360 ,(2009) , 10.1007/978-3-642-11161-7_24
Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alberto Siena, Angelo Susi, Tool-supported development with Tropos: the conference management system case study AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII. pp. 182- 196 ,(2007) , 10.1007/978-3-540-79488-2_14
Pablo Noriega, Adriana Giret, Antonio Garrido, mWater: a Sandbox for Agreement Technologies conference on artificial intelligence research and development. pp. 252- 261 ,(2009)