A model transformation approach to constructing agent-oriented design models for CPS/IoT systems
暂无分享,去创建一个
[1] Nikolaos I. Spanoudakis,et al. THE GAIA2JADE PROCESS FOR MULTI-AGENT SYSTEMS DEVELOPMENT , 2006, Appl. Artif. Intell..
[2] Franco Zambonelli,et al. Developing multiagent systems: The Gaia methodology , 2003, TSEM.
[3] Agostino Poggi,et al. JADE - A Java Agent Development Framework , 2005, Multi-Agent Programming.
[4] Nicholas R. Jennings,et al. The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.
[5] Nancy G. Leveson,et al. Engineering a Safer World: Systems Thinking Applied to Safety , 2012 .
[6] Leon Sterling,et al. The ROADMAP Meta-model for Intelligent Adaptive Multi-agent Systems in Open Environments , 2003, AOSE.
[7] Nikolaos I. Spanoudakis,et al. Gaia Agents Implementation through Models Transformation , 2009, PRIMA.
[8] Fausto Giunchiglia,et al. NUSMV: a new symbolic model checker , 2000, International Journal on Software Tools for Technology Transfer.
[9] Hiroyuki Nakagawa,et al. A Template System for Modeling and Verifying Agent Behaviors , 2018, PRIMA.
[10] Akihiko Ohsuga,et al. Towards Dynamic Evolution of Self-Adaptive Systems Based on Dynamic Updating of Control Loops , 2012, 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems.
[11] Hiroyuki Nakagawa,et al. Verification of CPS Based on Control Loop Using Model Checking , 2018, 2018 25th Asia-Pacific Software Engineering Conference (APSEC).
[12] Axel van Lamsweerde,et al. Requirements Engineering: From System Goals to UML Models to Software Specifications , 2009 .
[13] Hiroyuki Nakagawa,et al. A Tool to Edit and Verify IoT System Architecture Model , 2017, MODELS.
[14] Akihiko Ohsuga,et al. Cooperative Behaviors Description for Self-* Systems Implementation , 2010, PAAMS.
[15] Akihiko Ohsuga,et al. IMPULSE: a design framework for multi-agent systems based on model transformation , 2011, SAC.
[16] Kazuki Kobayashi,et al. Apple growth evaluated automatically with high-definition field monitoring images , 2019, Comput. Electron. Agric..