Constructing Models with the Human-Usable Textual Notation

We present an implementation of the OMG's Human-Usable Textual Notation (HUTN) [6] that provides a generic concrete syntax for MOF-based metamodels. The notation is summarised. Ways in which HUTN can be applied in order to improve the productivity of Model-Driven Engineering are identified. The use of HUTN to improve the quality of test suites for verifying model management operations (such as model-to-model transformation) is described. We also present a comparison of generic and domain-specific concrete syntax with HUTN.

[1]  Dimitrios S. Kolovos,et al.  An extensible platform for specification of integrated languages for model management , 2008 .

[2]  Malcolm Wallace,et al.  Modular Architectural Representation and Analysis of Fault Propagation and Transformation , 2005, FESCA@ETAPS.

[3]  Richard F. Paige,et al.  On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages , 2009, Rigorous Methods for Software Construction and Analysis.

[4]  Thomas Baar.  Correctly defined concrete syntax for visual modeling languages , 2006, MoDELS'06.

[5]  Jeffrey G. Gray,et al.  A Testing Framework for Model Transformations , 2005, Model-Driven Software Development.

[6]  Volker Gruhn,et al.  Model-Driven Software Development , 2005 .

[7]  Jean Bézivin,et al.  TCS:: a DSL for the specification of textual concrete syntaxes in model engineering , 2006, GPCE '06.

[8]  Perdita Stevens.  A Simple Game-Theoretic Approach to Checkonly QVT Relations , 2009, ICMT@TOOLS.

[9]  Richard F. Paige,et al.  The Epsilon Generation Language , 2008, ECMDA-FA.

[10]  Richard F. Paige,et al.  Model comparison: a foundation for model composition and model transformation testing , 2006, GaMMa '06.

[11]  Richard F. Paige,et al.  The Epsilon Transformation Language , 2008, ICMT@TOOLS.

[12]  Markus Scheidgen.  Textual Modelling Embedded into Graphical Modelling , 2008, ECMDA-FA.

[13]  Richard F. Paige,et al.  Merging models with the epsilon merging language (EML) , 2006, MoDELS'06.

[14]  Richard F. Paige,et al.  Unit Testing Model Management Operations , 2008, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop.

[15]  Richard F. Paige,et al.  The Epsilon Object Language (EOL) , 2006, ECMDA-FA.

[16]  Arend Rensink.  Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings , 2009, ECMDA-FA.