Til hovedinnhold

Synthesizing Software Models: Generating Train Station Models Automatically

Synthesizing Software Models: Generating Train Station Models Automatically

Kategori
Vitenskapelig artikkel
Sammendrag
This paper presents an approach for automatic synthesis of software models. Software models are increasingly being used for representing software applications at a high abstraction level, and source code can usually be generated from these models. Creating application models can be a tedious task, and thus the presented approach automates this task. Based on a formal definition of the domain-specific language (DSL) and user-defined properties, we generate intended application models. These models can then be subject to further manual extensions or used as is. The approach is illustrated by a DSL from the train domain, and the automatic synthesis of train station models.
Språk
Engelsk
Forfatter(e)
  • Andreas Svendsen
  • Øystein Haugen
  • Birger Møller-Pedersen
Institusjon(er)
  • Universitetet i Oslo
  • SINTEF Digital / Software and Service Innovation
År
Publisert i
Lecture Notes in Computer Science (LNCS)
ISSN
0302-9743
Forlag
Springer
Årgang
7083
Side(r)
38 - 53