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.

References

  1. Lionel Briand, Clay Williams, Pierre-Alain Muller, Franck Fleurey, and Jean-Marc Jézéquel. Weaving Executability into Object-Oriented Meta-languages, volume 3713 of Lecture Notes in Computer Science, pages 264-278. Springer Berlin / Heidelberg, 2005.
  2. Jordi Cabot, Robert Clarisó, and Daniel Riera. Umltocsp: a tool for the formal verification of uml/ocl models using constraint programming. In Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, ASE 7807, pages 547-548, New York, NY, USA, 2007. ACM.
  3. S. Efftinge and M. Völter. oaw Xtext: A framework for textual dsls. In Workshop on Modeling Symposium at Eclipse Summit, volume 32, 2006.
  4. D. Fahland and W. Reisig. Asm-based semantics for bpel: The negative control flow. In Proc. 12th International Workshop on Abstract State Machines, pages 131-151. Citeseer, 2005.
  5. Object Management Group. Action language for foundational uml (alf) 1.0 - beta 1. www.omg.org/spec/ALF/, 2010.
  6. Qinan Lai and Andy Carpenter. Defining and verifying behaviour of domain specific language with fuml. In Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications, BMFA 7812, pages 1:1-1:7, New York, NY, USA, 2012. ACM.
  7. Andreas Prinz, Markus Scheidgen, and Merete Tveit. A model-based standard for sdl. In Emmanuel Gaudin, Elie Najm, and Rick Reed, editors, SDL 2007: Design for Dependable Systems, volume 4745 of Lecture Notes in Computer Science, pages 1-18. Springer Berlin / Heidelberg, 2007.
  8. Markus Scheidgen and Joachim Fischer. Human comprehensible and machine processable specifications of operational semantics. In Proceedings of the 3rd European conference on Model driven architecture-foundations and applications, ECMDA-FA'07, pages 157-171, Berlin, Heidelberg, 2007. Springer-Verlag.
  9. C. Wilke and B. Demuth. Uml is still inconsistent! how to improve ocl constraints in the uml 2.3 superstructure. Electronic Communications of the EASST, 44, 2011.
Download


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