Combining model-driven and schema-based program synthesis

Ewen Denney, Jon Whittle

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)

Abstract

We describe ongoing work which aims to extend the schema-based program synthesis paradigm with explicit models. In this context, schemas can be considered as model-to-model transformations. The combination of schemas with explicit models offers a number of advantages, namely, that building synthesis systems becomes much easier since the models can be used in verification and in adaptation of the synthesis systems. We illustrate our approach using an example from signal processing.

Original languageEnglish
Title of host publicationProceedings of the International Conference on Software Engineering Research and Practice, SERP'04
EditorsH.R. Arabnia, H. Reza
Pages207-211
Number of pages5
Publication statusPublished - 1 Dec 2004
Externally publishedYes
EventInternational Conference on Software Engineering Research and Practice (SERP) 2004 - Las Vegas, United States of America
Duration: 21 Jun 200424 Jun 2004

Publication series

NameProceedings of the International Conference on Software Engineering Research and Practice, SERP'04
Volume1

Conference

ConferenceInternational Conference on Software Engineering Research and Practice (SERP) 2004
CountryUnited States of America
CityLas Vegas
Period21/06/0424/06/04

Keywords

  • Kalman filters
  • Model-driven architecture
  • Program synthesis
  • UML

Cite this