Where academic tradition
meets the exciting future

A Feasibility Study on the Validation of Domain Specific Languages

Ye Liu, Sören Höglund, Ali Hanzala Khan, Ivan Porres, A Feasibility Study on the Validation of Domain Specific Languages. In: Silva Parreiras Fernando, Z. Pan Jeff, Assmann Uwe (Eds.), Proceedings of the 3rd Workshop on Transforming and Weaving Ontologies in Model Driven Engineering, Ceur Workshop Proceedings, 1–13, CEUR, 2010.

Abstract:

In this article we report on our experiences using the OWL 2 reasoners HermiT and Pellet to validate domain-specifi c languages defi ned using UML-like metamodels. Currently there exists few tools to validate metamodels. Using ontologies and reasoners to de ne and validate metamodels is a possible solution to this problem. We evaluate the reasoners according to expressiveness, correctness, performance and problem reporting capabilities. We use metamodels from the Atlantic Zoo metamodel repository as input for our comparison, and report on our experiences with the zoo.

Files:

Abstract in PDF-format

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpLiHoKhPo10a,
  title = {A Feasibility Study on the Validation of Domain Specific Languages},
  booktitle = {Proceedings of the 3rd Workshop on Transforming and Weaving Ontologies in Model Driven Engineering},
  author = {Liu, Ye and Höglund, Sören and Khan, Ali Hanzala and Porres, Ivan},
  series = {Ceur Workshop Proceedings},
  editor = {Fernando, Silva Parreiras and Jeff, Z. Pan and Uwe, Assmann},
  publisher = {CEUR},
  pages = {1–13},
  year = {2010},
  keywords = {Metamodel Validation, OWL2, Reasoning,},
}

Belongs to TUCS Research Unit(s): Software Engineering Laboratory (SE Lab)

Publication Forum rating of this publication: level 1

Edit publication