TOWARDS SOUND, OPTIMAL, AND FLEXIBLE BUILD FROM MEGAMODELS
Paper
The basic idea is to build on
the pluto system the
additional functionality that will support sound, optimal and flexible
building from megamodels, using a new concept of orientation
model to specify key facts about how inconsistencies should be
resolved.
The paper will appear at MODELS'18. For now, here is the accepted version
(Ob-text: "© Perdita Stevens 2018. This is the author's version of the
work. It is posted here for your personal use. Not for redistribution. The
definitive version will be published in {Proceedings of MODELS'18},
https://doi.org/10.1145/3239372.3239378." )
and a Supplemental note, giving a longer
version of section 5, with material which was very reasonably requested by
a referee, but would noway not nohow fit inside the page limit.
Comments (to Perdita Stevens) would be very
welcome.
Implementation
has moved to GitHub; see the
README.md there for more information.