loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Author: Hao Wu

Affiliation: National University of Ireland and Maynooth, Ireland

Keyword(s): Metamodel, Satisfiability Modulo Theories (SMT), Coverage Criteria, Graph.

Related Ontology Subjects/Areas/Topics: Languages, Tools and Architectures ; MetaModeling ; Model-Driven Software Development ; Models ; Paradigm Trends ; Reasoning about Models ; Software Engineering

Abstract: One of the challenges for using metamodels in Model Driven Engineering is to automatically generate metamodel instances. Each instance should satisfy many constraints defined by a metamodel. Such instances can then be used for verifying or validating metamodels. Recent studies have already shown that this can be tackled by using SAT/SMT solvers. However, such instance generation does not take coverage criteria into account, and instances satisfying specified coverage criteria could be useful for testing model transformation. In this paper, we present an approach consisting of two techniques for coverage oriented metamodel instance generation. The first technique realises the standard coverage criteria defined for UML class diagrams, while the second technique focuses on generating instances satisfying graph-based criteria. With our approach, both kinds of criteria are translated to SMT formulas which are then investigated by an SMT solver. Each successful assignment is then i nterpreted as a metamodel instance that provably satisfies a coverage criteria or a graph property. We have already integrated this approach into our existing tool to demonstrate the feasibility. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.22.51.241

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Wu, H. (2016). Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving. In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - MODELSWARD; ISBN 978-989-758-168-7; ISSN 2184-4348, SciTePress, pages 40-51. DOI: 10.5220/0005650000400051

@conference{modelsward16,
author={Hao Wu.},
title={Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving},
booktitle={Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - MODELSWARD},
year={2016},
pages={40-51},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005650000400051},
isbn={978-989-758-168-7},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving
SN - 978-989-758-168-7
IS - 2184-4348
AU - Wu, H.
PY - 2016
SP - 40
EP - 51
DO - 10.5220/0005650000400051
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic