poster

ABC⁺: extended action-benefit-cost modeling with knowledge-based decision-making and interaction model for system of systems simulation

Authors:

Doo-Hwan BaeAuthors Info & Claims

SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing

Pages 1698 - 1701

https://doi.org/10.1145/3167132.3167426

Published: 09 April 2018 Publication History

Abstract

The system of systems (SoS) is a large-scale and complex system composed of autonomous and independent constituent systems (CSs). It deals with complex requirements as SoS-level goals that are not able to be satisfied by a single CS. To analyze SoS-level behaviors considering CSs' autonomy and independence, SoS-level engineers need to model and simulate an SoS properly. Action-Benefit-Cost (ABC) modeling provides an effective and efficient way to model and simulate the autonomous and independent behaviors of CSs by focusing on their external actions, benefits, and costs. However, ABC modeling does not support internal-knowledge of a CS. In addition, ABC modeling does not support communications between CSs. SoS engineers also have difficulty in reflecting all possible interaction into models in advance of simulation. In this paper, we propose ABC⁺ modeling, which supports the three-phased knowledge-based decision-making and the message-based interaction models. The case study shows that ABC⁺ modeling improves the expressiveness of SoS models and lets SoS-level behavior simulation by different interaction patterns be possible, which cannot be even represented in ABC modeling. The simulation execution time is examined about both ABC and ABC⁺ modeling.

References

[1]

Judith S Dahmann and Kristen J Baldwin. 2008. Understanding the current state of US defense systems of systems and the implications for systems engineering. In Systems Conference, 2008 2nd Annual IEEE. IEEE, 1--7.

[2]

Tim Finin, Richard Fritzson, Don McKay, and Robin McEntire. 1994. KQML as an agent communication language. In Proceedings of the third international conference on Information and knowledge management. ACM, 456--463.

Digital Library

[3]

FIPA Fipa. 1997. specification part 2: Agent communication language. Technical Report. Technical report, FIPA-Foundation for Intelligent Physical Agents.

[4]

Nigel Gilbert. 2008. Agent-Based Models, Quantitative Applications in the Social Science153. London, Thousand Oaks (2008).

[5]

Paul Horn. 2001. Autonomic computing: IBM\'s Perspective on the State of Information Technology. (2001).

[6]

Mohammad Jamshidi. 2011. System of Systems Engineering: Innovations for the Twenty-First Century. John Wiley & Sons.

[7]

Jeffrey O Kephart and David M Chess. 2003. The vision of autonomic computing. Computer 36, 1 (2003), 41--50.

Digital Library

[8]

Junho Kim. 2017. Model-based System of Systems Verification considering Selfishness. Master's thesis. Korea Advanced Institute of Science and Technology, Daejeon, Korea.

[9]

Junho Kim, Donghwan Shin, and Doo Hwan Bae. 2017. An Applicability Study of Action-Benefit-Cost Model and Statistical Model Checking for System of Systems Goal Achievement Verification. KIISE Transactions on Computing Practices 23 (2017),256--261.

[10]

Hermann Kopetz. 2014. A conceptual model for the information transfer in systems-of-systems. In Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium on. IEEE, 17--24.

Digital Library

[11]

David MacGarty and David M Nott. 2014. Disaster Medicine: A Case Based Approach. Springer Science & Business Media.

[12]

Mark W Maier. 1996. Architecting principles for systems-of-systems. In INCOSE International Symposium, Vol. 6. Wiley Online Library, 565--573.

[13]

Edward J Mishan and Euston Quah. 2007. Cost-benefit analysis. Routledge.

[14]

Claus Ballegaard Nielsen, Peter Gorm Larsen, John Fitzgerald, Jim Woodcock, and Jan Peleska. 2015. Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions. ACM Computing Surveys (CSUR) 48, 2 (Sept. 2015), 1--41.

Digital Library

[15]

Anand S Rao and Michael P Georgeff. 1991. Modeling rational agents within a BDI-architecture. KR 91 (1991), 473--484.

Digital Library

[16]

Anand S Rao, Michael P Georgeff, et al. 1995. BDI Agents: From Theory to Practice. In ICMAS, Vol. 95. 312--319.

[17]

Dongwon Seo, Donghwan Shin, Young-Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee, and Doo-Hwan Bae. 2016. Modeling and verification for different types of system of systems using PRISM. In Software Engineering for Systems-of-Systems (SESoS), 2016 IEEE/ACM 4th International Workshop on. IEEE, 12--18.

Digital Library

[18]

SESoS. 2017. SIMVA-SoS. https://github.com/SESoS/SIMVA-SoS. (2017).

Cited By

Song JBae D(2023)Continuous verification with acknowledged MAPE-K pattern and time logic-based slicing: A platooning system of systems case studyJournal of Systems and Software10.1016/j.jss.2023.111840206(111840)Online publication date: Dec-2023
https://doi.org/10.1016/j.jss.2023.111840
Silva RBraga R(2020)Simulating Systems-of-Systems With Agent-Based Modeling: A Systematic Literature ReviewIEEE Systems Journal10.1109/JSYST.2020.298089614:3(3609-3617)Online publication date: Sep-2020
https://doi.org/10.1109/JSYST.2020.2980896
Shin YHyun SBaek YBae D(2019)Spectrum-Based Fault Localization on a Collaboration Graph of a System-of-Systems2019 14th Annual Conference System of Systems Engineering (SoSE)10.1109/SYSOSE.2019.8753843(358-363)Online publication date: May-2019
https://doi.org/10.1109/SYSOSE.2019.8753843
Show More Cited By

Index Terms

ABC⁺: extended action-benefit-cost modeling with knowledge-based decision-making and interaction model for system of systems simulation
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software design engineering

Recommendations

Combining PDEVS and Modelica for describing agent-based models

Modelica is a general-purpose modeling language mainly designed to facilitate the development, reusability and exchange of models. It represents the state-of-the-art in equation-based modeling of continuous-time systems. Modelica libraries facilitate the ...
OSM: an evolutionary system of systems framework for modeling and simulation
ANSS '14: Proceedings of the 2014 Annual Simulation Symposium

In this paper, we propose a novel Orchestrated Simulation through Modeling (OSM) framework that allows output visualizations and Discrete Event System Specification (DEVS) modeling and simulation (M&S) frames to be developed separately as plug-ins and ...
Data-driven Agent-based Modeling: Experimenting with the Schelling’s Model
Abstract
Agent-based modeling and simulation is a practical computational technique for studying complex systems of autonomous agents in various disciplines. Agent-based models facilitate the study of emergent phenomena by simulating heterogeneous agents ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing

April 2018

2327 pages

ISBN:9781450351911

DOI:10.1145/3167132

Conference Chairs:
Hisham M. Haddad
Kennesaw State University
,
Roger L. Wainwright
University of Tulsa
,
Richard Chbeir
University of Pau & Pays Adour, France

Copyright © 2018 Owner/Author.

Permission to make digital or hard copies of part or all 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 third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Sponsors

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 April 2018

Check for updates

Author Tags

Qualifiers

Poster

Conference

SAC 2018

Sponsor:

SIGAPP

SAC 2018: Symposium on Applied Computing

April 9 - 13, 2018

Pau, France

Acceptance Rates

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

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
78
Total Downloads

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

Reflects downloads up to 14 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Song JBae D(2023)Continuous verification with acknowledged MAPE-K pattern and time logic-based slicing: A platooning system of systems case studyJournal of Systems and Software10.1016/j.jss.2023.111840206(111840)Online publication date: Dec-2023
https://doi.org/10.1016/j.jss.2023.111840
Silva RBraga R(2020)Simulating Systems-of-Systems With Agent-Based Modeling: A Systematic Literature ReviewIEEE Systems Journal10.1109/JSYST.2020.298089614:3(3609-3617)Online publication date: Sep-2020
https://doi.org/10.1109/JSYST.2020.2980896
Shin YHyun SBaek YBae D(2019)Spectrum-Based Fault Localization on a Collaboration Graph of a System-of-Systems2019 14th Annual Conference System of Systems Engineering (SoSE)10.1109/SYSOSE.2019.8753843(358-363)Online publication date: May-2019
https://doi.org/10.1109/SYSOSE.2019.8753843
Song JTørring JHyun SJee EBae D(2019)Slicing executable system-of-systems models for efficient statistical verificationProceedings of the 7th International Workshop on Software Engineering for Systems-of-Systems and 13th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems10.1109/SESoS/WDES.2019.00011(18-25)Online publication date: 28-May-2019
https://dl.acm.org/doi/10.1109/SESoS/WDES.2019.00011

View Options

Get Access

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.

Media

Figures

Other

Tables

View Table of Contents