Constraint modelling using a conceptual prototyping language

摘要

A conceptual language (CPL) is proposed, derived from natural language theory, for specifying both the static and dynamic component of a conceptual model using the same basic structures. A software tool is also described, which automatically generates a prototype database from the conceptual model described in CPL. The constraints, declared in the static component of the conceptual model, are automatically checked when the prototype database changes. Also the events, declared in the dynamic component of the conceptual model, are automatically converted into procedures which operate on the prototype database.