skip to main content
10.1145/3555776.3578617acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
poster

Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems

Published: 07 June 2023 Publication History

Abstract

Adaptable distributed systems gain growing attention to raising service quality at low costs. Managing adaptation calls for suitable models through the entire life cycle. A challenging point is system structural reconfiguration, which has led to specialized formal models. We aim to bridge the gap with daily programming languages by defining a Maude abstract machine for "Nets-within-Nets".

References

[1]
Adel Bouhoula, Jean-Pierre Jouannaud, and José Meseguer. 2000. Specification and proof in membership equational logic. Theoretical Computer Science 236, 1 (2000), 35--132.
[2]
Roberto Bruni and José Meseguer. 2003. Generalized Rewrite Theories. In Automata, Languages and Programming, Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow, and Gerhard J. Woeginger (Eds.). Springer-Verlag, Berlin, 252--266.
[3]
Lorenzo Capra. 2022. Canonization of Reconfigurable PT Nets in Maude. In Reachability Problems, Anthony W. Lin, Georg Zetzsche, and Igor Potapov (Eds.). Springer International Publishing, Cham, 160--177.
[4]
Lorenzo Capra. 2022. Rewriting Logic and Petri Nets: A Natural Model for Reconfigurable Distributed Systems. In Distributed Computing and Intelligent Technology, Raju Bapi, Sandeep Kulkarni, Swarup Mohalik, and Sathya Peri (Eds.). Springer International Pub., Cham, 140--156.
[5]
Manuel Clavel, Francisco Duran, Steven Eker, Patrick Lincoln, Narciso M. Oliet, Jos'e Meseguer, and Carolyn Talcott. 2007. All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic. Springer.
[6]
Marwa Hachicha, Riadh Ben Halima, and Ahmed Hadj Kacem. 2019. Formal Verification approaches of Self-adaptive Systems: A Survey. Procedia Computer Science 159 (2019), 1853--1862. Proceedings of the 23rd International Conference KES2019.
[7]
Michael Köhler and Heiko Rölke. 2004. Properties of Object Petri Nets. In International Conference on Application and Theory of Petri Nets 2004 (LNCS, Vol. 3099), J. Cortadella and W. Reisig (Eds.). Springer-Verlag, 278--297.
[8]
Michael Köhler-Bußmeier. 2014. A Survey on Decidability Results for Elementary Object Systems. Fundamenta Informaticae 130, 1 (2014), 99--123.
[9]
Michael Köhler-Bußmeier and Frank Heitmann. 2011. Liveness of Safe Object Nets. Fundamenta Informaticae 112, 1 (2011), 73--87.
[10]
Olaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, and Rüdiger Valk. 2004. An Extensible Editor and Simulation Engine for Petri Nets: Renew. In International Conference on Application and Theory of Petri Nets 2004 (LNCS, Vol. 3099), J. Cortadella and W. Reisig (Eds.). Springer-Verlag, 484 -- 493.
[11]
Julia Padberg and Alexander Schulz. 2016. Model Checking Reconfigurable Petri Nets with Maude. In Graph Transformation, Rachid Echahed and Mark Minas (Eds.). Springer International Publishing, Cham, 54--70.
[12]
Mark-Oliver Stehr, José Meseguer, and Peter Csaba Ölveczky. 2001. Rewriting Logic as a Unifying Framework for Petri Nets. Springer-Verlag, Berlin, Heidelberg, 250--303.
[13]
Rüdiger Valk. 2003. Object Petri nets: Using the nets-within-nets paradigm. In Advanced Course on Petri Nets 2003 (LNCS, Vol. 3098), Jörg Desel, Wolfgang Reisig, and Grzegorz Rozenberg (Eds.). Springer-Verlag, 819--848.
[14]
Danny Weyns, M. Usman Iftikhar, Didac Gil de la Iglesia, and Tanvir Ahmad. 2012. A Survey of Formal Methods in Self-Adaptive Systems. In Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering (Montreal, Quebec, Canada) (C3S2E '12). Association for Computing Machinery, New York, NY, USA, 67--79.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing
March 2023
1932 pages
ISBN:9781450395175
DOI:10.1145/3555776
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(s).

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 June 2023

Check for updates

Author Tags

  1. adaptive systems
  2. petri nets
  3. maude
  4. nets-within-nets

Qualifiers

  • Poster

Conference

SAC '23
Sponsor:

Acceptance Rates

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

Upcoming Conference

SAC '25
The 40th ACM/SIGAPP Symposium on Applied Computing
March 31 - April 4, 2025
Catania , Italy

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 33
    Total Downloads
  • Downloads (Last 12 months)15
  • Downloads (Last 6 weeks)0
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media