The Concept of Contract Management in the Base Language of the Adaptive Modeling System

An approach to the formation of semantic rules in the base language of the adaptive modeling system is proposed. This approach is based on the ideas of contract programming and allows one to customize and validate a wide set of rules during semantic analysis of the model text. Several examples of such extended contracts are provided and discussed, and it is shown how the record of the rules of these contracts might look like. Rule checking can be used in both the base language and domain-specific languages based on the base language. It is emphasized that the proposed concept of contract management makes it possible to make the language expressive and flexible, as well as to form complex and adaptive program constructions with it.