skip to main content
10.1145/2642937.2648617acmconferencesArticle/Chapter ViewAbstractPublication PagesaseConference Proceedingsconference-collections
demonstration

Meta-Model validation and verification with MetaBest

Published: 15 September 2014 Publication History

Abstract

Meta-models play a cornerstone role in Model-Driven Engineering as they are used to define the abstract syntax of Domain-Specific Modelling Languages, and so models and all sorts of model transformations depend on them. However, there are scarce tools and methods supporting their validation and verification, which are essential activities for the proper engineering of meta-models.
In this paper we present an Eclipse-based tool that aims to fill this gap by providing two complementary meta-model testing languages. The first one has similar philosophy to the xUnit framework, enabling the definition of meta-model unit test suites comprising model fragments and assertions on their (in-)correctness. The second one is directed to verify expected properties of the meta-model, including domain and design properties, quality criteria and platform-specific requirements. Both tools are integrated within a framework for example-based, incremental meta-model development.

References

[1]
D. Aguilera, C. Gómez, and A. Olivé. A method for the definition and treatment of conceptual schema quality issues. In ER'12, volume 7532 of LNCS, pages 501--514. Springer, 2012.
[2]
K. Beck. Simple smalltalk testing: with patterns. Technical Report 4 (2), The Smalltalk Reports, 1994.
[3]
B. W. Boehm. Verifying and validating software requirements and design specifications. IEEE Software, 1(1):75--88, 1984.
[4]
J. Cabot, R. Clarisó, and D. Riera. Umltocsp: a tool for the formal verification of uml/ocl models using constraint programming. In ASE'07, pages 547--548. ACM, 2007.
[5]
A. Cicchetti, D. D. Ruscio, A. Pierantonio, and D. Kolovos. A test-driven approach for metamodel development. In Emerging Technologies for the Evolution and Maintenance of Software Models, pages 319--342. IGI Global, 2012.
[6]
D. S. Kolovos, R. F. Paige, and F. A. C. Polack. On the evolution of OCL for capturing structural constraints in modelling languages. volume 5115 of LNCS, pages 204--218. Springer, 2009.
[7]
J. J. López-Fernÿndez, J. Sánchez Cuadrado, E. Guerra, and J. de Lara. Example-driven meta-model development. SoSyM, in press, 2014, see also http://www.miso.es/tools/metaBUP.html.
[8]
M. Mernik, J. Heering, and A. M. Sloane. When and how to develop domain-specific languages. ACM Comput. Surv., 37:316--344, 2005.
[9]
G. A. Miller. Wordnet: A lexical database for english. Commun. ACM, 38(11):39--41, 1995.
[10]
OMG. OCL 2.3.1 specification. http://www.omg.org/spec/OCL/2.3.1/.
[11]
D. A. Sadilek and S. Weißleder. Testing metamodels. In ECMDA-FA'08, volume 5095 of LNCS, pages 294--309. Springer, 2008.
[12]
S. Sobernig, B. Hoisl, and M. Strembeck. Requirements-driven testing of domain-specific core language models using scenarios. In QSIC, pages 163--172. IEEE, 2013.
[13]
D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks. EMF: Eclipse Modeling Framework, 2nd Edition. Addison-Wesley Professional, 2008.

Cited By

View all
  • (2023)Clustering Heterogeneous Data Values for Data Quality AnalysisJournal of Data and Information Quality10.1145/360371015:3(1-33)Online publication date: 22-Aug-2023
  • (2020)N-PAT: A Nested Model-CheckerAutomated Reasoning10.1007/978-3-030-51054-1_22(369-377)Online publication date: 1-Jul-2020
  • (2017)Preliminary validation of the metamodel for developing learning ecosystemsProceedings of the 5th International Conference on Technological Ecosystems for Enhancing Multiculturality10.1145/3144826.3145439(1-9)Online publication date: 18-Oct-2017
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ASE '14: Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering
September 2014
934 pages
ISBN:9781450330138
DOI:10.1145/2642937
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 September 2014

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. example-based meta-modelling
  2. meta-model testing
  3. meta-modelling
  4. validation & verification

Qualifiers

  • Demonstration

Funding Sources

Conference

ASE '14
Sponsor:

Acceptance Rates

ASE '14 Paper Acceptance Rate 82 of 337 submissions, 24%;
Overall Acceptance Rate 82 of 337 submissions, 24%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)15
  • Downloads (Last 6 weeks)1
Reflects downloads up to 10 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2023)Clustering Heterogeneous Data Values for Data Quality AnalysisJournal of Data and Information Quality10.1145/360371015:3(1-33)Online publication date: 22-Aug-2023
  • (2020)N-PAT: A Nested Model-CheckerAutomated Reasoning10.1007/978-3-030-51054-1_22(369-377)Online publication date: 1-Jul-2020
  • (2017)Preliminary validation of the metamodel for developing learning ecosystemsProceedings of the 5th International Conference on Technological Ecosystems for Enhancing Multiculturality10.1145/3144826.3145439(1-9)Online publication date: 18-Oct-2017
  • (2017)A text-based visual notation for the unit testing of model-driven toolsComputer Languages, Systems and Structures10.1016/j.cl.2016.08.00449:C(196-215)Online publication date: 1-Sep-2017
  • (2016)Combining unit and specification-based testing for meta-model validation and verificationInformation Systems10.1016/j.is.2016.06.00862:C(104-135)Online publication date: 1-Dec-2016
  • (2015)Example-based validation of domain-specific visual languagesProceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering10.1145/2814251.2814256(101-112)Online publication date: 26-Oct-2015

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media