A model transformation approach to constructing agent-oriented design models for CPS/IoT systems

CPS (Cyber-Physical System) and IoT (Internet of Things) are keywords for representing recent software systems, which are composed of not only software components in the cyber space but also hardware devices in the physical space. Since CPS and IoT systems additionally contain hardware devices and interactions among their components comparing with traditional software systems, system design for such a CPS and IoT system tends to be considerably complicated. To deal with this complexity, designing such a complicated system as a multi-agent system (MAS) is a possible approach. This paper describes a model transformation method to construct a representative MAS design model for CPS and IoT systems. The method uses a source model that describes components and labeled relations between these components. We experimentally design a farm monitoring system in the real world. The result of the case study demonstrates that the proposed model transformation can systematically construct an agent-oriented design model.

[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..