Towards Test-Driven Semantics Specification

C. Soltenborn, G. Engels, in: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA), Springer, Berlin/Heidelberg, 2009, pp. 378–392.

Download
No fulltext has been uploaded.
Conference Paper | English
Author
;
Abstract
Behavioral models are getting more and more important within the software development cycle. To get the most use out of them, their behavior should be defined formally. As a result, many approaches exist which aim at specifying formal semantics for behavioral languages (e.g., Dynamic Meta Modeling (DMM), Semantic Anchoring). Most of these approaches give rise to a formal semantics which can e.g. be used to check the quality of a particular language instance, for instance using model checking techniques. However, if the semantics specification itself contains errors, it is more or less useless, since one cannot rely on the analysis results. Therefore, the language engineer must make sure that the semantics he develops is of the highest quality possible. To help the language engineer to achieve that goal, we propose a test-driven semantics specification process: the semantics of the language under consideration is first informally demonstrated using example models, which will then be used as test cases during the actual semantics specification process. In this paper, we present this approach using the already mentioned specification language DMM.
Publishing Year
Proceedings Title
Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA)
Volume
5795
Page
378-392
LibreCat-ID

Cite this

Soltenborn C, Engels G. Towards Test-Driven Semantics Specification. In: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA). Vol 5795. LNCS. Berlin/Heidelberg: Springer; 2009:378-392. doi:http://dx.doi.org/10.1007/978-3-642-04425-0_30
Soltenborn, C., & Engels, G. (2009). Towards Test-Driven Semantics Specification. In Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA) (Vol. 5795, pp. 378–392). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-642-04425-0_30
@inproceedings{Soltenborn_Engels_2009, place={Berlin/Heidelberg}, series={LNCS}, title={Towards Test-Driven Semantics Specification}, volume={5795}, DOI={http://dx.doi.org/10.1007/978-3-642-04425-0_30}, booktitle={Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA)}, publisher={Springer}, author={Soltenborn, Christian and Engels, Gregor}, year={2009}, pages={378–392}, collection={LNCS} }
Soltenborn, Christian, and Gregor Engels. “Towards Test-Driven Semantics Specification.” In Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA), 5795:378–92. LNCS. Berlin/Heidelberg: Springer, 2009. http://dx.doi.org/10.1007/978-3-642-04425-0_30.
C. Soltenborn and G. Engels, “Towards Test-Driven Semantics Specification,” in Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA), 2009, vol. 5795, pp. 378–392.
Soltenborn, Christian, and Gregor Engels. “Towards Test-Driven Semantics Specification.” Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA), vol. 5795, Springer, 2009, pp. 378–92, doi:http://dx.doi.org/10.1007/978-3-642-04425-0_30.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar