This is not a Model: On development of a common terminology for modeling and programming

Publikation: KonferencebidragPaperForskningpeer review

  • Ole Lehrmann Madsen
  • Birger Møller-Pedersen, Department of Informatics; University of Oslo, Norge
SIMULA and Beta are object-oriented languages intended for modeling and programming. This is in contrast to mainstream where different languages are used for modeling and programming. In previous papers, it has been argued that there are a number of advantages in developing a unified language. In order to do this, a consistent terminology for modeling and programming is needed. The notion of model is essential in this respect. In UML, the diagrams are considered models. For SIMULA and Beta the program executions are considered models. We argue for the latter and discuss the implications for the design of a unified language.
OriginalsprogEngelsk
Udgivelsesår2018
StatusUdgivet - 2018
BegivenhedInternational Symposium On Leveraging Applications of Formal Methods, Verification and Validation - Royal Apollonia Beach Hotel, LIMASSO, Cypern
Varighed: 30 okt. 201813 nov. 2018
Konferencens nummer: 8th
http://www.isola-conference.org/isola2018/

Konference

KonferenceInternational Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Nummer8th
LokationRoyal Apollonia Beach Hotel
LandCypern
ByLIMASSO
Periode30/10/201813/11/2018
Internetadresse

    Forskningsområder

  • Modellimg, Programming, Lamnguages

Se relationer på Aarhus Universitet Citationsformater

ID: 131922770