Towards a Methodology for Semantics Specification of Domain-specific Models through Properties

Onderzoeksoutput: Meeting abstract (Book)

Samenvatting

Domain-specific languages are designed for a specific domain and their use in the development of a software system enables domain experts to understand and develop models. The full description of a complex software system uses various domain-specific languages, each language having its own meaning. Current approaches for domain-specific modelling focus on the structural aspects. Semantics are a necessity to develop tools allowing formal analysis and verification. In this work we propose an approach that allows domain experts to specify the semantics of domain-specific models. Model semantics is defined through properties expressed in a domain-specific language. The advantage of the approach is that domain experts can write down and understand the properties of the models.
Originele taal-2English
TitelIn Proc. of the 4th International Workshop on Multi-Paradigm Modeling 2010
StatusPublished - 2010
EvenementUnknown - Stockholm, Sweden
Duur: 21 sep 200925 sep 2009

Conference

ConferenceUnknown
Land/RegioSweden
StadStockholm
Periode21/09/0925/09/09

Vingerafdruk

Duik in de onderzoeksthema's van 'Towards a Methodology for Semantics Specification of Domain-specific Models through Properties'. Samen vormen ze een unieke vingerafdruk.

Citeer dit