Skip to main content

Theory and Practice of Networks of Models

  • 70 Accesses

Part of the Communications in Computer and Information Science book series (CCIS,volume 1457)

Abstract

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.

Keywords

  • Bidirectional transformation
  • Consistency maintenance
  • Megamodel

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-030-93849-9_1
  • Chapter length: 10 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   59.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-93849-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   74.99
Price excludes VAT (USA)
Fig. 1.
Fig. 2.

Notes

  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.

    See https://en.wikipedia.org/wiki/Fundamental_theorem_of_software_engineering.

  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.

References

  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). https://doi.org/10.1007/978-3-319-92997-2_1

    CrossRef  Google Scholar 

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

    CrossRef  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)

    CrossRef  Google Scholar 

Download references

Acknowledgments

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

Authors

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

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. https://doi.org/10.1007/978-3-030-93849-9_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-93849-9_1

  • 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)