A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf
.
Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples
[chapter]
2013
Lecture Notes in Computer Science
Current metamodeling formalisms support the definition of a metamodel with two views: classes and relations, that form the core of the metamodel, and well-formedness rules, that constraints the set of valid models. While a safe application of automatic operations on models requires a precise definition of the domain using the two views, most metamodels currently present in repositories have only the first one part. In this paper, we propose to start from valid and invalid model examples in
doi:10.1007/978-3-642-41533-3_12
fatcat:gy6tv6zczrfopf2jtutyotkyt4