Article

Modeling self-adaptive software systems with learning petri nets

Authors:

Zuohua Ding,

Yuan Zhou,

MengChu ZhouAuthors Info & Claims

ICSE Companion 2014: Companion Proceedings of the 36th International Conference on Software Engineering

Pages 464 - 467

https://doi.org/10.1145/2591062.2591113

Published: 31 May 2014 Publication History

Get Access

Abstract

Traditional models have limitation to model adaptive software systems since they build only for fixed requirements, and cannot model the behaviors that change at run-time in response to environmental changes. In this paper, an adaptive Petri net is proposed to model a self-adaptive software system. It is an extension of hybrid Petri nets by embedding a neural network algorithm into them at some special transitions. The proposed net has the following advantages: 1) It can model a runtime environment; 2) The components in the model can collaborate to make adaption decisions; and 3) The computing is done at the local, while the adaption is for the whole system. We illustrate the proposed adaptive Petri net by modeling a manufacturing system.

References

[1]

N. Bencomo, A. Belaggoun, and V. Issarny, Bayesian artificial intelligence for tackling uncertainty in self-adaptive systems: The case of dynamic decision networks. In RAISE’13, pp.7-13, 2013.

Crossref

Google Scholar

[2]

M. Caporuscio, A. Marco, and P. Inverardi, Model-based system reconfiguration for dynamic performance management. Journal of Systems and Software, vol. 80, no.4, pp. 455-473, 2007.

Digital Library

Google Scholar

[3]

N. Cardozo, S. González1, K. Mens, R. Straeten, and T. D’Hondt, Modeling and Analyzing Self-Adaptive Systems with Context Petri Nets. In TASE’13, pp.191-198, 2013.

Digital Library

Google Scholar

[4]

B. Cheng, R. de Lemos, H. Giese, P. Inverardi, J. Magee, et al., Software engineering for self-adaptive systems: A research roadmap. LNCS, vol.5525, pp.1-26, 2009.

Digital Library

Google Scholar

[5]

D. Garlan, S. Cheng, A. Huang, et al., Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure. Computer, vol. 37, no. 10, pp. 46-54, 2004.

Digital Library

Google Scholar

[6]

C. Ghezzi, L. Pinto, P. Spoletini, and G. Tamburrelli, Managing Non-functional Uncertainty via Model-Driven Adaptivity. In ICSE’13, pp. 33-42, 2013.

Digital Library

Google Scholar

[7]

T. Henzinger, P. Ho, and H. Toi, HyTech: A Model Checker for Hybrid Systems. In CAV’97, vol. 1254, pp. 460-463, 1997.

Digital Library

Google Scholar

[8]

V. K˚urková, Kolmogorov’s theorem and multilayer neural networks. Neural networks, vol.5, no.3, pp.501-506, 1992.

Digital Library

Google Scholar

[9]

R. Nielsen, Theory of the backpropagation neural network. In International Joint Conference on Neural Networks, pp. 593-605, 1989.

Crossref

Google Scholar

[10]

J. Zhang and B. Cheng, Model-Based Development of Dynamically Adaptive Software. In ICSE’06, May 20-28, 2006.

Digital Library

Google Scholar

Cited By

View all

Shatnawi AFaye ERima BShara ZSeriai A(2024)The State of the Art of Emergent Software SystemsIEEE Access10.1109/ACCESS.2024.336990312(31808-31823)Online publication date: 2024
https://doi.org/10.1109/ACCESS.2024.3369903
Majma NBabamir S(2019)Model-Based Monitoring and Adaptation of Pacemaker Behavior Using Hierarchical Fuzzy Colored Petri-NetsIEEE Transactions on Systems, Man, and Cybernetics: Systems10.1109/TSMC.2018.2861718(1-14)Online publication date: 2019
https://doi.org/10.1109/TSMC.2018.2861718
Weerasiri DBarukh MBenatallah BSheng QRanjan R(2017)A Taxonomy and Survey of Cloud Resource Orchestration TechniquesACM Computing Surveys10.1145/305417750:2(1-41)Online publication date: 10-May-2017
https://dl.acm.org/doi/10.1145/3054177
Show More Cited By

Index Terms

Modeling self-adaptive software systems with learning petri nets
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis
      2. Software implementation planning
        Software design techniques
    2. Software development process management

Recommendations

Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets
Concurrency Specification and Programming Workshop (CS&P'2001)

Nested Petri nets (NP-nets) is a Petri net extension, allowing tokens in a net marking to be represented by marked nets themselves. The paper discusses applicability of NP-nets for modeling task planning systems, multi-agent systems and recursive-...
From Petri Nets to colored Petri Nets: a tutorial introduction to nets based formalism for modeling and simulation
WSC '19: Proceedings of the Winter Simulation Conference

Petri Net, a widely studied mathematical formalism, is a graphical notation for modeling systems. Petri Nets provide the foundation for modeling concurrency, communication, synchronization, and resource sharing constraints that are inherent to many ...
Non Equivalence between Time Petri Nets and Time Stream Petri Nets
PNPM '99: Proceedings of the The 8th International Workshop on Petri Nets and Performance Models

It had been shown that Merlin's Time Petri Nets are a special case of Time Stream Petri Nets. In this paper, we show that it does not exist a time equivalence between both models. We extend first this result to the nonequivalence of Timed Automata and ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICSE Companion 2014: Companion Proceedings of the 36th International Conference on Software Engineering

May 2014

741 pages

ISBN:9781450327688

DOI:10.1145/2591062

General Chair:
Pankaj Jalote
IIIT-Delhi, India
,
Program Chairs:
Lionel Briand
University of Luxembourg, Luxembourg
,
André van der Hoek
University of California, Irvine, USA

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]

In-Cooperation

TCSE: IEEE Computer Society's Tech. Council on Software Engin.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 31 May 2014

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSE '14

Sponsor:

SIGSOFT

ICSE '14: 36th International Conference on Software Engineering

May 31 - June 7, 2014

Hyderabad, India

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
440
Total Downloads

Downloads (Last 12 months)11
Downloads (Last 6 weeks)0

Reflects downloads up to 19 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Shatnawi AFaye ERima BShara ZSeriai A(2024)The State of the Art of Emergent Software SystemsIEEE Access10.1109/ACCESS.2024.336990312(31808-31823)Online publication date: 2024
https://doi.org/10.1109/ACCESS.2024.3369903
Majma NBabamir S(2019)Model-Based Monitoring and Adaptation of Pacemaker Behavior Using Hierarchical Fuzzy Colored Petri-NetsIEEE Transactions on Systems, Man, and Cybernetics: Systems10.1109/TSMC.2018.2861718(1-14)Online publication date: 2019
https://doi.org/10.1109/TSMC.2018.2861718
Weerasiri DBarukh MBenatallah BSheng QRanjan R(2017)A Taxonomy and Survey of Cloud Resource Orchestration TechniquesACM Computing Surveys10.1145/305417750:2(1-41)Online publication date: 10-May-2017
https://dl.acm.org/doi/10.1145/3054177
Filieri AMaggio MAngelopoulos KD’ippolito NGerostathopoulos IHempel AHoffmann HJamshidi PKalyvianaki EKlein CKrikava FMisailovic SPapadopoulos ARay SSharifloo AShevtsov SUjma MVogel T(2017)Control Strategies for Self-Adaptive Software SystemsACM Transactions on Autonomous and Adaptive Systems10.1145/302418811:4(1-31)Online publication date: 3-Feb-2017
https://dl.acm.org/doi/10.1145/3024188
Chiachio MChiachio JPrescott DAndrews J(2016)An information theoretic approach for knowledge representation using Petri nets2016 Future Technologies Conference (FTC)10.1109/FTC.2016.7821606(165-172)Online publication date: Dec-2016
https://doi.org/10.1109/FTC.2016.7821606
Han DXing JYang QLi JWang H(2016)Handling Uncertainty in Self-Adaptive Software Using Self-Learning Fuzzy Neural Network2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC)10.1109/COMPSAC.2016.125(540-545)Online publication date: Jun-2016
https://doi.org/10.1109/COMPSAC.2016.125
Vahidipour SMeybodi MEsnaashari M(2015)Learning Automata-Based Adaptive Petri Net and Its Application to Priority Assignment in Queuing Systems With Unknown ParametersIEEE Transactions on Systems, Man, and Cybernetics: Systems10.1109/TSMC.2015.240676445:10(1373-1384)Online publication date: Oct-2015
https://doi.org/10.1109/TSMC.2015.2406764
Wu PChe AChu FZhou M(2015)An Improved Exact $\varepsilon$-Constraint and Cut-and-Solve Combined Method for Biobjective Robust Lane ReservationIEEE Transactions on Intelligent Transportation Systems10.1109/TITS.2014.236859416:3(1479-1492)Online publication date: Jun-2015
https://doi.org/10.1109/TITS.2014.2368594
Li JZhou MSun QDai XYu X(2015)Colored Traveling Salesman ProblemIEEE Transactions on Cybernetics10.1109/TCYB.2014.237191845:11(2390-2401)Online publication date: Nov-2015
https://doi.org/10.1109/TCYB.2014.2371918

View Options

Login options

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

Cited By

Index Terms

Recommendations

Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets

From Petri Nets to colored Petri Nets: a tutorial introduction to nets based formalism for modeling and simulation

Non Equivalence between Time Petri Nets and Time Stream Petri Nets