Advertisement

Constructing Models with the Human-Usable Textual Notation

  • Louis M. Rose
  • Richard F. Paige
  • Dimitrios S. Kolovos
  • Fiona A. C. Polack
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5301)

Abstract

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.

Keywords

Test Suite Model Management Target Model Failure Behaviour Abstract Syntax 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Baar, T.: Correctly Defined Concrete Syntax for Visual Modeling Languages. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 111–125. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  2. 2.
  3. 3.
    The Eclipse Foundation. Eclipse Modelling Framework Project (2008), http://www.eclipse.org/modeling/emf/
  4. 4.
    The Eclipse Foundation. EMF Compare (2008), http://wiki.eclipse.org/index.php/EMF_Compare
  5. 5.
    The Eclipse Foundation. Graphical Modelling Framework (2008), http://www.eclipse.org/modeling/gmf/
  6. 6.
    Object Management Group. Human-Usable Textual Notation Specification (2004), http://www.omg.org/technology/documents/formal/hutn.htm
  7. 7.
    IRISA. Sintaks (2007), http://www.kermeta.org/sintaks/
  8. 8.
    Jouault, F., Bézivin, J., Kurtev, I.: TCS: a DSL for the specification of textual concrete syntaxes. In: Proc. GPCE 2006, pp. 249–254. ACM Press, New York (2006)CrossRefGoogle Scholar
  9. 9.
    Kolovos, D.S.: A Short Introduction to Epsilon (2007), http://www.cs.york.ac.uk/~dkolovos/epsilon/Epsilon.ppt
  10. 10.
    Kolovos, D.S.: Extensible Platform for Specification of Integrated Languages for mOdel maNagement Project Website (2007), http://www.eclipse.org/gmt/epsilon
  11. 11.
    Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Epsilon Development Tools for Eclipse. In: Eclipse Summit 2006 (2006)Google Scholar
  12. 12.
    Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Model comparison: a foundation for model composition and model transformation testing. In: Proc. GaMMa 2006, pp. 13–20. ACM Press, New York (2006)CrossRefGoogle Scholar
  13. 13.
    Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Merging Models with the Epsilon Merging Language (EML). In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 215–229. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  14. 14.
    Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The Epsilon Object Language (EOL). In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 128–142. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  15. 15.
    Kolovos, D.S., Paige, R.F., Polack, F.A.C.: On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. In: Workshop on Rigorous Methods for Software Construction & Analysis. LNCS, vol. 5115. Springer, Heidelberg (2008)Google Scholar
  16. 16.
    Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The Epsilon Transformation Language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  17. 17.
    Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Unit Testing Model Management Operations. In: Proc. MoDeVVa, ICST. IEEE, Los Alamitos (2008)Google Scholar
  18. 18.
    Lin, Y., Zhang, J., Gray, J.: A Framework for Testing Model Transformations. In: Model-driven Software Development, pp. 219–236. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  19. 19.
    Merriam-Webster. Definition of Nuclear Family (2008), http://www.merriam-webster.com/dictionary/nuclear%20family
  20. 20.
    Muller, P.-A., Hassenforder, M.: HUTN as a Bridge between ModelWare and GrammarWare. In: WISME Workshop, MODELS / UML 2005 (2005)Google Scholar
  21. 21.
    OpenArchitectureWare. openArchitectureWare Project Website (2008), http://www.eclipse.org/gmt/oaw/
  22. 22.
    Terence Parr. ANTLR Parser Generator (2008), http://www.antlr.org/
  23. 23.
    Community Z Tools Project. Community Z Tools (2007), http://czt.sourceforge.net/
  24. 24.
    Rose, L.M., Paige, R.F., Kolovos, D.S., Polack, F.A.C.: The Epsilon Generation Language. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 1–16. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  25. 25.
    Scheidgen, M.: Textual Modelling Embedded into Graphical Modelling. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 153–168. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  26. 26.
    Schuh, P., Punke, S.: ObjectMother: Easing Test Object Creation in XP. In: XP Universe (2001)Google Scholar
  27. 27.
    Wallace, M.: Modular architectural representation and analysis of fault propagation and transformation. Electr. Notes Theor. Comput. Sci. 141(3), 53–71 (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Louis M. Rose
    • 1
  • Richard F. Paige
    • 1
  • Dimitrios S. Kolovos
    • 1
  • Fiona A. C. Polack
    • 1
  1. 1.Department of Computer ScienceUniversity of YorkUK

Personalised recommendations