Paper Info
Title
A generic approach to model generation operations.
Abstract
•Model search layer that supports model generation operations.•Model transformation as search layer independent from any solver format.•Unified formalism for both model and transformation as search.•Multi-level transformation for metamodel independent bridge.
Year
DOI
Venue
2018
10.1016/j.jss.2018.04.053
Journal of Systems and Software
Keywords
Field
DocType
Model search,Model transformations,Alloy
Use case,Computer science,Parallel computing,Boolean satisfiability problem,Real-time computing,Model finding,Solver,Extensibility
Journal
Volume
ISSN
Citations 
142
0164-1212
0
PageRank 
References 
Authors
0.34
33
2
Name
Order
Citations
PageRank
Mathias Kleiner1697.66
Marcos Didonet Del Fabro227334.14