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.

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