Wednesday, October 03, 2007
Metamodel-based model conformance and multiview consistency checking
People interested in BON might want to check out Metamodel-based model conformance and multiview consistency checking. It's about the relation between tools and models of software.
The article doesn't reference the work of Joseph Kiniry, I believe he had done some work to formalize BON as well, but perhaps it wasn't useful.
Anyway interesting article.
The article doesn't reference the work of Joseph Kiniry, I believe he had done some work to formalize BON as well, but perhaps it wasn't useful.
Anyway interesting article.