Skip to main content
Springer Nature Link
Log in

Modelling Adaptive Systems with Maude Nets-within-Nets

  • Conference paper
  • First Online:
Information Systems and Technologies (WorldCIST 2023)

Part of the book series: Lecture Notes in Networks and Systems ((LNNS,volume 801))

Included in the following conference series:

  • 299 Accesses

Abstract

Systems able to dynamically adapt their behaviour gain growing attention to raising service quality by reducing development costs. On the other hand, adaptation is a major source of complexity and calls for suitable methodologies during the whole system life cycle. A challenging point is the system’s structural reconfiguration in front of particular events like component failure/congestion. This solution is so common in modern distributed systems that it has led to defining ad-hoc extensions of known formal models (e.g., the pi-calculus) But even with syntactic sugar, these formalisms differ enough from daily programming languages. This work aims to bridge the gap between theory and practice by introducing an abstract machine for the “nets-within-nets” paradigm. Our encoding is in the well-known Maude language, whose rewriting logic semantics ensures the mathematical soundness needed for analysis and an intuitive operational perspective.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Bouhoula, A., Jouannaud, J.P., Meseguer, J.: Specification and proof in membership equational logic. Theoret. Comput. Sci. 236(1), 35–132 (2000). https://doi.org/10.1016/S0304-3975(99)00206-6

    Article  MathSciNet  Google Scholar 

  2. Bruni, R., Meseguer, J.: Generalized rewrite theories. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) Automata, Languages and Programming, pp. 252–266. Springer, Berlin (2003). https://doi.org/10.1007/3-540-45061-0_22

  3. Capra, L.: A maude implementation of rewritable petri nets: a feasible model for dynamically reconfigurable systems. In: Gleirscher, M., Pol, J.v.d., Woodcock, J. (eds.) Proceedings First Workshop on Applicable Formal Methods, virtual, 23rd November 2021. Electronic Proceedings in Theoretical Computer Science, vol. 349, pp. 31–49. Open Publishing Association (2021). https://doi.org/10.4204/EPTCS.349.3

  4. Capra, L.: Canonization of reconfigurable pt nets in maude. In: Lin, A.W., Zetzsche, G., Potapov, I. (eds.) Reachability Problems, pp. 160–177. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-19135-0_11

  5. Capra, L.: Rewriting logic and petri nets: A natural model for reconfigurable distributed systems. In: Bapi, R., Kulkarni, S., Mohalik, S., Peri, S. (eds.) Distributed Computing and Intelligent Technology, pp. 140–156. Springer, Cham (2022)

    Chapter  Google Scholar 

  6. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-71999-1

    Book  Google Scholar 

  7. Hachicha, M., Halima, R.B., Kacem, A.H.: Formal verification approaches of self-adaptive systems: a survey. Procedia Comput. Sci. 159, 1853–1862 (2019). https://doi.org/10.1016/j.procs.2019.09.357, proceedings of KES2019

  8. Köhler-Bußmeier, M., Heitmann, F.: On the expressiveness of communication channels for object nets. Fund. Inform. 93(1–3), 205–219 (2009)

    MathSciNet  Google Scholar 

  9. Köhler-Bußmeier, M., Heitmann, F.: Liveness of safe object nets. Fund. Inform. 112(1), 73–87 (2011)

    MathSciNet  Google Scholar 

  10. Köhler-Bußmeier, M., Moldt, D.: Analysis of mobile agents using invariants of object nets. Electronic Communications of the EASST: Special Issue on Formal Modeling of Adaptive and Mobile Processes 12 (2009)

    Google Scholar 

  11. Köhler, M., Rölke, H.: Properties of object petri nets. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 278–297. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-27793-4_16

    Chapter  Google Scholar 

  12. Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., Köhler, M., Moldt, D., Rölke, H., Valk, R.: An extensible editor and simulation engine for Petri nets: Renew. In: Cortadella, J., Reisig, W. (eds.) International Conference on Application and Theory of Petri Nets 2004. LNCS, vol. 3099, pp. 484–493. Springer-Verlag (2004)

    Google Scholar 

  13. Padberg, J., Schulz, A.: Model checking reconfigurable petri nets with maude. In: Echahed, R., Minas, M. (eds.) Graph Transformation, pp. 54–70. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-40530-8_4

  14. Stehr, M.O., Meseguer, J., Ölveczky, P.C.: Rewriting Logic as a Unifying Framework for Petri Nets, pp. 250–303. Springer (2001). https://doi.org/10.1007/3-540-45541-8_9

  15. Valk, R.: Object Petri Nets: Using the nets-within-nets paradigm. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 819–848. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-27755-2_23

    Chapter  Google Scholar 

  16. Weyns, D., Iftikhar, M.U., de la Iglesia, D.G., Ahmad, T.: A survey of formal methods in self-adaptive systems. In: Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering, C3S2E 2012, pp. 67–79. Association for Computing Machinery, New York (2012). https://doi.org/10.1145/2347583.2347592

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università degli Studi di Milano, Milan, Italy

    Lorenzo Capra

  2. University of Applied Science Hamburg, Hamburg, Germany

    Michael Köhler-Bußmeier

Authors
  1. Lorenzo Capra
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Köhler-Bußmeier
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Lorenzo Capra .

Editor information

Editors and Affiliations

  1. ISEG, Universidade de Lisboa, Lisbon, Cávado, Portugal

    Alvaro Rocha

  2. College of Engineering, The Ohio State University, Columbus, OH, USA

    Hojjat Adeli

  3. Institute of Data Science and Digital Technologies, Vilnius University, Vilnius, Lithuania

    Gintautas Dzemyda

  4. DCT, Universidade Portucalense, Porto, Portugal

    Fernando Moreira

  5. TeCIP Institute, Scuola Superiore Sant’Anna, Pisa, Italy

    Valentina Colla

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Capra, L., Köhler-Bußmeier, M. (2024). Modelling Adaptive Systems with Maude Nets-within-Nets. In: Rocha, A., Adeli, H., Dzemyda, G., Moreira, F., Colla, V. (eds) Information Systems and Technologies. WorldCIST 2023. Lecture Notes in Networks and Systems, vol 801. Springer, Cham. https://doi.org/10.1007/978-3-031-45648-0_18

Download citation

Publish with us

Policies and ethics