View Prior Art for Claim 00010
The method according to Claim 1, wherein at least two models of the same system exist, a first model represents the system in a first condition and a second model the system in a second condition, and comprising the step of automatically determining actions for conveying the system from the first into the second condition is carried out. Annotations(0)
Title Transaction Level Modeling: An Overview
Paper providing an overview of comparing different types of models, and their attributes.
Title Detecting Changes in XML Documents
A paper describing an algorithm to diff XML documents. XML documents often represent a model of a complex system.