Unifying modeling and programming through an active, object-oriented, model-equivalent programming language

The intricate and complex structure of existing advanced database applications results in part from poor integration of existing models and languages. This complexity is a barrier to effectively understanding and developing advanced applications. We can significantly reduce the complexity of advanced-application specification and implementation by using a model-equivalent language (a language with a one-to-one correspondence to an underlying, executable model as defined herein). In this paper we explain the difficulties encountered in making models and languages equivalent, and we resolve these difficulties for a particular language and model.