Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Towards a Unified View of Modeling and Programming (Track Summary) Kapitel lesen Erstes Kapitel lesen

2016 | OriginalPaper | Buchkapitel

Towards a Unified View of Modeling and Programming

verfasst von : Manfred Broy, Klaus Havelund, Rahul Kumar

Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this paper we argue that there is a value in providing a unified view of modeling and programming. Models are meant to describe a system at a high level of abstraction for the purpose of human understanding and analysis. Programs, on the other hand, are meant for execution. However, programming languages are becoming increasingly higher-level, with convenient notation for concepts that in the past would only be reserved formal specification languages. This leads to the observation, that programming languages could be used for modeling, if only appropriate modifications were made to these languages. At the same time, model-based engineering formalisms such as UML and SysML are highly popular in engineering communities due to their graphical nature. However, these communities are, due to the complex nature of these formalisms, struggling to find grounds in textual formalisms with proper semantics. A unified view of modeling and programming may provide a common ground. The paper illustrates these points with selected examples comparing models and programs.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Meta-Level Reuse for Mastering Domain Specialization
Nächstes Kapitel Formal Methods and Safety Certification: Challenges in the Railways Domain
Fußnoten
1
This characteristic of the difference is somewhat simplified since a VDM specification in fact also can denote more than one model.
 
2
This is an example of a discussion about semantics that can throw a project meeting off its course.
 
3
Note that the constraint can actually be avoided in Z by defining the type of https://static-content.springer.com/image/chp%3A10.1007%2F978-3-319-47169-3_17/432550_1_En_17_IEq13_HTML.gif to be \(\mathbb {N}_1\), the natural numbers starting from 1.
 
Literatur
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
Bjørner, D., Jones, C.B.: The Vienna Development Method: The Meta-Language. Lecture Notes in Computer Science, vol. 61. Springer, Heidelberg (1978)CrossRefMATH
14.
Bjørner, D., Jones, C.B.: Formal Specification and Software Development. Prentice Hall International, Upper Saddle River (1982). ISBN: 0-13-880733-7MATH
15.
Broy, M.: From chaos to undefinedness. In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.) Algebra, Meaning, and Computation. LNCS, vol. 4060, pp. 476–496. Springer, Heidelberg (2006). doi:10.​1007/​11780274_​25 CrossRef
16.
Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Upper Saddle River (1976)MATH
17.
Elmqvist, H., Otter, M., Henriksson, D., Thiele, B., Mattsson, S.E.: Modelica for embedded systems. In: Proceedings of the 7th Modelica Conference, Como, Italy, pp. 354–363, September 2009
18.
Fitzgerald, J., Larsen, P.G., Mukherjee, P., Plat, N., Verhoef, M.: Validated Designs For Object-Oriented Systems. Springer, Santa Clara (2005)MATH
19.
Floyd, R.W.: Assigning meanings to programs. In: Schwartz, J. (ed.) Mathematical Aspects of Computer Science, Proceedings of Symposium in Applied Mathematics, pp. 19–32. American Mathematical Society, Rhode Island (1967)
20.
Forgy, C.: Rete: a fast algorithm for the many pattern/many object pattern match problem. Artif. Intell. 19, 17–37 (1982)CrossRef
21.
Futatsugi, K., Goguen, J.A., Jouannaud, J.-P., Meseguer, J.: Principles of OBJ2. In: POPL (1985)
22.
George, C., Haff, P., Havelund, K., Haxthausen, A., Milne, R., Nielsen, C.B., Prehn, S., Wagner, K.R.: The RAISE Specification Language. The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead (1992)MATH
23.
Havelund, K.: Closing the gap between specification and programming: VDM\(^{++}\) and Scala. In: Korovina, M., Voronkov, A. (eds.) HOWARD-60: Higher-Order Workshop on Automated Runtime Verification and Debugging, EasyChair Proceedings, vol. 1, Manchester, UK, December 2011
24.
Havelund, K.: Rule-based runtime verification revisited. Softw. Tools Technol. Transf. (STTT) 17, 143–170 (2015)CrossRef
25.
Havelund, K., Joshi, R.: Experience with rule-based analysis of spacecraft logs. In: Artho, C., Ölveczky, P.C. (eds.) Formal Techniques for Safety-Critical Systems. Communications in Computer and Information Science, vol. 476. Springer, Switzerland (2015)
26.
Havelund, K., Kumar, R., Delp, C., Clement, B., K: a wide spectrum language for modeling, programming and analysis. In: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Rome, Italy, pp. 111–122. Scitepress Digital Library, February 2016
27.
Havelund, K., Pressburger, T.: Model checking Java programs using Java PathFinder. Int. J. Softw. Tools Technol. Transf. STTT 2(4), 366–381 (2000)CrossRefMATH
28.
Havelund, K., Visser, W.: Program model checking as a new trend. STTT 4(1), 8–20 (2002)CrossRef
29.
Hoare, C.A.R.: An axiomatic basis of computer programming. Commun. ACM 12, 567–583 (1969)CrossRefMATH
30.
Holzmann, G.J.: The Spin Model Checker - Primer and Reference Manual. Addison-Wesley, Boston (2004)
31.
Jones, C.B.: Systematic Software Development using VDM. Prentice Hall, Englewood Cliffs (1990). ISBN: 0-13-880733-7MATH
32.
Lamport, L.: The temporal logic of actions. ACM Trans. Program. Lang. Syst. 16, 872–923 (1994)CrossRef
33.
34.
McCarthy, J.: Recursive functions of symbolic expressions and their computation by machines, part I. Commun. ACM 3, 184–195 (1960)CrossRefMATH
35.
McCarthy, J.: Towards a mathematical science of computation. In: Popplewell, C. (ed.) IFIP World Congress Proceedings, pp. 21–28 (1962)
36.
Scott, D., Strachey, C.: Towards a mathematical semantics for computer languages. Comput. Automata Microwave Res. Inst. Symp. 21, 19–46 (1971)MATH
37.
Spivey, J.M.: The Z Notation - a Reference Manual. International Series in Computer Science, 2nd edn. Prentice Hall, Hemel Hempstead (1992)MATH
38.
The CIP Language Group. The Munich Project CIP Volume I: The Wide Spectrum Language CIP-L. LNCS, vol. 183. Springer (1985)
Metadaten
Titel
Towards a Unified View of Modeling and Programming
verfasst von
Manfred Broy
Klaus Havelund
Rahul Kumar
Copyright-Jahr
2016
Buch
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Print ISBN: 978-3-319-47168-6

Electronic ISBN: 978-3-319-47169-3

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-3-319-47169-3_17