Domain-specific languages with a formal static semantics allow the early discovery of (domain-specific) inconsistencies. Using attribute grammars we show how such inconsistencies can be found in the pump domain. We compare some analyses using attribute grammars with analyses done in OCL w.r.t. performance and the quality of error messages.
CITATION STYLE
Berg, C., & Zimmermann, W. (2014). DSL implementation for model-based development of pumps. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8802, pp. 391–406). Springer Verlag. https://doi.org/10.1007/978-3-662-45234-9_28
Mendeley helps you to discover research relevant for your work.