Static Analysis and Testing of Executable DSL Specification

Qinan Lai, Andy Carpenter

2013

Abstract

In model-driven software engineering, the syntax of a modelling language is defined as a meta-model, and its semantics is defined by some other formal languages. As the languages for defining syntax and semantics comes from different technology space, maintaining the correctness and consistency of a language specification is a challenging topic. Technologies on formal methods or sophisticated dynamic verification have been developed to verify a language specification. While these works are valuable, they can be hard to apply to a complex language in reality. In this paper, extended static checking and testing are used to maintain the correctness of a language specification, and the techniques are applied to a case study that formalises WS-BPEL to a model-based specification defined by OMG standard fUML and ALF. Several categories of different errors are identified which can happen during semantics development, and how our framework can simplify the checking on them by static checking and direct testing of executable models is discussed.

Paper Citation

in Harvard Style

Lai Q. and Carpenter A. (2013). Static Analysis and Testing of Executable DSL Specification . In Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-8565-42-6, pages 157-162. DOI: 10.5220/0004344401570162

in Bibtex Style

@conference{modelsward13,
author={Qinan Lai and Andy Carpenter},
title={Static Analysis and Testing of Executable DSL Specification},
booktitle={Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2013},
pages={157-162},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004344401570162},
isbn={978-989-8565-42-6},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Static Analysis and Testing of Executable DSL Specification
SN - 978-989-8565-42-6
AU - Lai Q.
AU - Carpenter A.
PY - 2013
SP - 157
EP - 162
DO - 10.5220/0004344401570162