Skip to main content

Theory and Practice of Networks of Models

  • Conference paper
  • First Online:
Software Foundations for Data Interoperability (SFDI 2021)


Separating concerns into multiple data sources, such as multiple models of a software system under development, enables people to work in parallel. However, concerns must also be re-integrated, and this gives rise to many interesting problems, both theoretical and practical. In my keynote talk i will discuss some of them; in this accompanying paper i give some background to my work in recent years and summarise some key points and definitions.

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

Access this chapter

USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions


  1. 1.

    The original version says “the”: but the key point is that live parts, which therefore cannot be simply overwritten by recomputation, should have dependencies between them.

  2. 2.


  3. 3.

    Notation slightly adapted since we here want to refer to equivalences for multiple bx: in subscripts like RF and RB, R specifies the bx while F, B stand for forward, backward respectively.


  1. Cleve, A., Kindler, E., Stevens, P., Zaytsev, V.: Multidirectional transformations and synchronisations (dagstuhl seminar 18491). Dagstuhl Rep. 8(12), 1–48 (2018)

    Google Scholar 

  2. Dijkstra, E.W.: Selected Writings on Computing: A Personal Perspective, Chapter On the Role of Scientific Thought, pp. 60–66. Springer-Verlag, Heidelberg (1982)

    Google Scholar 

  3. Erdweg, S., Lichter, M., Weiel, M.: A sound and optimal incremental build system with dynamic dependencies. In: OOPSLA, pp. 89–106. ACM (2015)

    Google Scholar 

  4. Johnson, M., Stevens, P.: Confidentiality in the process of (model-driven) software development. In: Proceedings of the 7th International Workshop on Bidirectional Transformations, Bx 2018, co-located with 2nd International Conference on the Art, Science, and Engineering of Programming, ACM (2018)

    Google Scholar 

  5. Stevens, P.: Observations relating to the equivalences induced on model sets by bidirectional transformations. EC-EASST, 49 (2012)

    Google Scholar 

  6. Stevens, P.: Is bidirectionality important? In: Pierantonio, A., Trujillo, S. (eds.) ECMFA 2018. LNCS, vol. 10890, pp. 1–11. Springer, Cham (2018).

    Chapter  Google Scholar 

  7. Stevens, P.: Maintaining consistency in networks of models: bidirectional transformations in the large. Softw. Syst. Model. 19(1), 39–65 (2019)

    Article  Google Scholar 

  8. Stevens, P.: Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels. Softw. Syst. Model. 19(4), 935–958 (2020)

    Article  Google Scholar 

Download references


Conversations with too many people to list have informed this work, so let me just mention en masse the participants of Dagstuhl no. 18491 on Multidirectional Transformations and Synchronisations [1].

Author information

Authors and Affiliations


Corresponding author

Correspondence to Perdita Stevens .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2022 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Stevens, P. (2022). Theory and Practice of Networks of Models. In: Fletcher, G., Nakano, K., Sasaki, Y. (eds) Software Foundations for Data Interoperability. SFDI 2021. Communications in Computer and Information Science, vol 1457. Springer, Cham.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-93848-2

  • Online ISBN: 978-3-030-93849-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics