Edinburgh Research Explorer

Domain-specific synthesis of simulation models

Research output: Working paper

Related Edinburgh Organisations

Open Access permissions



Original languageEnglish
Number of pages27
Publication statusPublished - 9 Aug 1998


The formal specification community has produced many languages but few structured design methods. Those which exist tend to be abstract, providing little guidance in tackling problems in particular domains. One way of devising domain-specific design methods is by reconstructing an example in the domain using the target method; then generalising the design structures to cover a class of designs in the domain; then building an environment in which these structures can more easily be re-applied to new problems. We demonstrate this approach using animal population dynamics models as the domain and Prolog techniques as the target method.

Download statistics

No data available

ID: 23513125