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. © 2011 Springer-Verlag.
CITATION STYLE
Svendsen, A., Haugen, Ø., & Møller-Pedersen, B. (2011). Synthesizing software models: Generating train station models automatically. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7083 LNCS, pp. 38–53). https://doi.org/10.1007/978-3-642-25264-8_5
Mendeley helps you to discover research relevant for your work.