Unifying Models

摘要

In this paper we illustrate the unifying power and flexibility of an operational model-based approach by treating the problem dilemma of lack of consistency between the various description methods used in software systems design. The success of this approach strongly relies on the definition of adequate unifying model structures, which must be powerful enough to capture the interference potential between the different description methods, while remaining simple enough to support (automatic) verification, the key for formal methods to enter industrial practice.