A tool for modeling form type check constraints

IIS*Case is a software tool that provides information system modeling and generating executable application prototypes. At the level of platform independent model specifications, IIS*Case provides conceptual modeling of database schemas that include specifications of various database constraints, such as domain, not null key and unique constraints, as well as various kinds of inclusion dependencies. In the paper, we present new concepts and a tool embedded into IIS*Case, that are aimed to support specification of check constraints. We present a domain specific language for specifying check constraints and a tool that enables visually oriented design and parsing check constraints.