research-article

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

Authors:

Hiroyuki Nakagawa,

Yoshitaka Aoki,

Kazuki KobayashiAuthors Info & Claims

SAC '20: Proceedings of the 35th Annual ACM Symposium on Applied Computing

Pages 815 - 822

https://doi.org/10.1145/3341105.3374033

Published: 30 March 2020 Publication History

Abstract

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.

References

[1]

ISO/IEC 13211-1:1995.1995. Information technology - Programming languages - Prolog -. https://www.iso.org/standard/21413.html.

[2]

Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi, and Hiroyuki Nakagawa. 2018. Verification of CPS Based on Control Loop Using Model Checking. In Proc. of the 25th Asia-Pacific Software Engineering Conference (APSEC 2018). 678--682.

[3]

Inc. Change Vision. [n.d.]. astah professional. http://astah.net/.

[4]

Hirokazu Genno and Kazuki Kobayashi. 2019. Apple growth evaluated automatically with high-definition field monitoring images. Computers and Electronics in Agriculture 164, 104895 (September 2019).

Digital Library

[5]

Thomas Juan and Leon Sterling. 2003. The ROADMAP Meta-Model for Intelligent Adaptive Multi-Agent Systems in Open Environments. In Proc. of the 4th International workshop on Agent Oriented Software Engineering. 53--68.

[6]

Nancy G. Leveson. 2012. Engineering a Safer World: Systems Thinking Applied to Safety. The MIT Press.

[7]

Pavlos Moraitis and Nikolaos Spanoudakis. 2006. The Gaia2JADE process for multi-agent systems development. Applied Artificial Intelligence 20 (2006), 251--273. https://doi.org/

[8]

Hiroyuki Nakagawa, Akihiko Ohsuga, and Shinichi Honiden. 2010. Cooperative Behaviors Description for Self-* Systems Implementation. In Proc of the 8th International Conference on Practical Applications of Agents and Multiagent Systems (PAAMS '10). Springer, 69--74.

[9]

Hiroyuki Nakagawa, Akihiko Ohsuga, and Shinichi Honiden. 2012. Towards Dynamic Evolution of Self-Adaptive Systems Based on Dynamic Updating of Control Loops. In Proc. of IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems (SASO' 12). IEEE, 59--68.

Digital Library

[10]

Hiroyuki Nakagawa, Nobukazu Yoshioka, Akihiko Ohsuga, and Shinichi Honiden. 2011. IMPULSE: a design framework for multi-agent systems based on model transformation. In Proc. of the 2011 ACM Symposium on Applied Computing (SAC '11). ACM, 1411--1418.

Digital Library

[11]

NuSMV. 2019. NuSMV: a new symbolic model checker. http://nusmv.fbk.eu/.

[12]

Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa, and Kazuki Kobayashi. 2018. A Template System for Modeling and Verifying Agent Behaviors. In Proc. of the the 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018). 576--584.

Digital Library

[13]

Shinpei Ogata, Hiroyuki Nakagawa, Yoshitaka Aoki, Kazuki Kobayashi, and Yuko Fukushima. 2017. A Tool to Edit and Verify IoT System Architecture Model. In Proc. of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2017). 571--575.

[14]

Nikolaos Spanoudakis and Pavlos Moraitis. 2009. Gaia Agents Implementation through Models Transformation. In Proc. of the 12th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2009) (LNAI). Springer, 127--142.

Digital Library

[15]

Telecom Italia. 2019. JADE: Java Agent Development Framework. http://jade.tilab.com/. http://jade.tilab.com/

[16]

Axel van Lamsweerde. 2009. Requirements Engineering --- From System Goals to UML Models to Software Specifications. Wiley.

[17]

Michael Wooldridge, Nicholas R. Jennings, and David Kinny. 2000. The Gaia Methodology for Agent-Oriented Analysis and Design. Autonomous Agents and Multi-Agent Systems 3, 3 (2000), 285--312.

Digital Library

[18]

Franco Zambonelli, Nicholas R. Jennings, and Michael Wooldridge. 2003. Developing multiagent systems: The Gaia methodology. ACM Transactions on Software Engineering and Methodology 12, 3 (2003), 317--370.

Digital Library

Cited By

Hornos MQuinde M(2024)Development methodologies for IoT-based systems: challenges and research directionsJournal of Reliable Intelligent Environments10.1007/s40860-024-00229-910:3(215-244)Online publication date: 9-Aug-2024
https://doi.org/10.1007/s40860-024-00229-9
Jain R(2021)Challenges and Applications of Cyber Physical SystemsDesign, Applications, and Maintenance of Cyber-Physical Systems10.4018/978-1-7998-6721-0.ch001(1-17)Online publication date: 25-Jun-2021
https://doi.org/10.4018/978-1-7998-6721-0.ch001
Wang JMao HJiang N(2020)Formal Modeling and Verification of Microservice-Based Cyber-Physical SystemStructured Object-Oriented Formal Language and Method10.1007/978-3-030-77474-5_3(34-53)Online publication date: 1-Mar-2020
https://dl.acm.org/doi/10.1007/978-3-030-77474-5_3

Index Terms

A model transformation approach to constructing agent-oriented design models for CPS/IoT systems
1. Computing methodologies
  1. Artificial intelligence
    1. Distributed artificial intelligence
      1. Multi-agent systems
2. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software design engineering

Recommendations

The challenge of real-time multi-agent systems for enabling IoT and CPS
WI '17: Proceedings of the International Conference on Web Intelligence

Techniques originating from the Internet of Things (IoT) and Cyber-Physical Systems (CPS) areas have extensively been applied to develop intelligent and pervasive systems such as assistive monitoring, feedback in telerehabilitation, energy management, ...
Cyber physical systems security

Cyber Physical Systems (CPS) are networked systems of cyber (computation and communication) and physical (sensors and actuators) components that interact in a feedback loop with the possible help of human intervention, interaction and utilization. These ...
Engineering cybersecurity in cyber physical systems
CASCON '16: Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering

Advances in the interconnected capabilities of cyber physical systems (CPS) affect virtually every engineered system. Today, software approaches dominate all aspects of connecting the physical and cyber worlds in part due to the convergence of computing,...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '20: Proceedings of the 35th Annual ACM Symposium on Applied Computing

March 2020

2348 pages

ISBN:9781450368667

DOI:10.1145/3341105

Conference Chairs:
Chih-Cheng Hung
Kennesaw State University
,
Tomas Cerny
Baylor University
,
Program Chairs:
Dongwan Shin
New Mexico Tech
,
Alessio Bechini
University of Pisa, Italy

Copyright © 2020 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 30 March 2020

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

JSPS Grants-in-Aid for Scientific Research

Conference

SAC '20

Sponsor:

SIGAPP

SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing

March 30 - April 3, 2020

Brno, Czech Republic

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
143
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)1

Reflects downloads up to 16 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Hornos MQuinde M(2024)Development methodologies for IoT-based systems: challenges and research directionsJournal of Reliable Intelligent Environments10.1007/s40860-024-00229-910:3(215-244)Online publication date: 9-Aug-2024
https://doi.org/10.1007/s40860-024-00229-9
Jain R(2021)Challenges and Applications of Cyber Physical SystemsDesign, Applications, and Maintenance of Cyber-Physical Systems10.4018/978-1-7998-6721-0.ch001(1-17)Online publication date: 25-Jun-2021
https://doi.org/10.4018/978-1-7998-6721-0.ch001
Wang JMao HJiang N(2020)Formal Modeling and Verification of Microservice-Based Cyber-Physical SystemStructured Object-Oriented Formal Language and Method10.1007/978-3-030-77474-5_3(34-53)Online publication date: 1-Mar-2020
https://dl.acm.org/doi/10.1007/978-3-030-77474-5_3

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten