Advertisement

Towards a Unified View of Modeling and Programming (Track Summary)

  • Manfred Broy
  • Klaus Havelund
  • Rahul Kumar
  • Bernhard Steffen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9953)

Abstract

Since the 1960s we have seen tremendous amount of scientific and methodological work in the fields of specification, design, and programming languages. In spite of the very high value of this work, however, this effort has found its limitation by the fact that we do not have a sufficient integration of these languages, as well as tools that support the development engineer in applying the corresponding methods and techniques. A tighter integration between specification and verification logics, graphical modeling notations, and programming languages is needed.

Keywords

Programming Language Object Constraint Language Unify View Functional Programming Language Computational System Biology 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    Berry, G.: Formally unifying modeling and design for embedded systems - a personal view. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10–14 October, LNCS. Springer (2016). These proceedingsGoogle Scholar
  2. 2.
    Broy, M., Havelund, K., Kumar, R.: Towards a unified view of modeling and programming. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10–14 October, LNCS. Springer (2016). These proceedingsGoogle Scholar
  3. 3.
    Elaasar, M., Badreddin, O.: Modeling meets programming: a comparative study in model driven engineering action languages. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10–14 October, LNCS. Springer (2016). These proceedingsGoogle Scholar
  4. 4.
    Elmqvist, H., Henningsson, T., Otter, M.: Systems modeling and programming in a unified environment based on Julia. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10–14 October, LNCS. Springer (2016). These proceedingsGoogle Scholar
  5. 5.
    Haxthausen, A.E., Peleska, J.: On the feasibility of a unified modelling and programming paradigm. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10–14 October, LNCS. Springer (2016). These proceedingsGoogle Scholar
  6. 6.
    Kugler, H.: Unifying modelling, programming: a systems biology perspective. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10–14 October, LNCS. Springer (2016). These proceedingsGoogle Scholar
  7. 7.
    Larsen, P.G., Fitzgerald, J., Woodcock, J., Nilsson, R., Gamble, C., Foster, S.: Towards semantically integrated models and tools for cyber-physical systems design. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10–14 October, LNCS. Springer (2016). These proceedingsGoogle Scholar
  8. 8.
    Lattmann, Z., Kecskés, T., Meijer, P., Karsai, G., Völgyesi, P., Lédeczi, Á.: Abstractions for modeling complex systems. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10–14 October, LNCS. Springer (2016). These proceedingsGoogle Scholar
  9. 9.
    Leavens, G.T., Naumann, D., Rajan, H., Aotani T.: Specifying and verifying advanced control features. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10–14 October, LNCS. Springer (2016). These proceedingsGoogle Scholar
  10. 10.
    Lethbridge, T.C., Abdelzad, V., Orabi, M.H., Orabi, A.H., Adesina, O.: Merging modeling and programming using Umple. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10–14 October, LNCS. Springer (2016). These proceedingsGoogle Scholar
  11. 11.
    Naujokat, S., Neubauer, J., Margaria, T., Steffen, B.: Meta-level reuse for mastering domain specialization. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10–14 October, LNCS. Springer (2016). These proceedingsGoogle Scholar
  12. 12.
    Prinz, A., Møller-Pedersen, B., Fischer, J.: Modelling and testing of real systems. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10–14 October, LNCS. Springer (2016). These proceedingsGoogle Scholar
  13. 13.
    Rouquette, N.F.: Simplifying OMG MOF-based metamodeling. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10–14 October, LNCS. Springer (2016). These proceedingsGoogle Scholar
  14. 14.
    Rybicki, F., Smyth, S., Motika, C., Schulz-Rosengarten, A., von Hanxleden, R.: Interactive model-based compilation continued - incremental hardware synthesis for SCCharts. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10–14 October, LNCS. Springer (2016). These proceedingsGoogle Scholar
  15. 15.
    Seidewitz, E.: On a unified view of modeling and programming - position paper. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10–14 October, LNCS. Springer (2016). These proceedingsGoogle Scholar
  16. 16.
    Selic, B.: Programming \(\subset \) modeling \(\subset \) engineering. In: Margaria, T., Steffen, B. (eds.) 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, 10–14 October, LNCS. Springer (2016). These proceedingsGoogle Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Manfred Broy
    • 1
  • Klaus Havelund
    • 2
  • Rahul Kumar
    • 3
  • Bernhard Steffen
    • 4
  1. 1.Technische Universität MünchenMunichGermany
  2. 2.Jet Propulsion LaboratoryCalifornia Institute of TechnologyPasadenaUSA
  3. 3.Microsoft ResearchRedmondUSA
  4. 4.TU Dortmund UniversityDortmundGermany

Personalised recommendations