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

Research output: Contribution to conferencePaperResearchpeer-review

  • Ole Lehrmann Madsen
  • Birger Møller-Pedersen, Department of Informatics; University of Oslo, Norway
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.
Original languageEnglish
Publication year2018
Publication statusPublished - 2018
EventInternational Symposium On Leveraging Applications of Formal Methods, Verification and Validation - Royal Apollonia Beach Hotel, LIMASSO, Cyprus
Duration: 30 Oct 201813 Nov 2018
Conference number: 8th
http://www.isola-conference.org/isola2018/

Conference

ConferenceInternational Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Number8th
LocationRoyal Apollonia Beach Hotel
CountryCyprus
CityLIMASSO
Period30/10/201813/11/2018
Internet address

See relations at Aarhus University Citationformats

ID: 131922770