The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Cspec: Constraint Specification for Data Modeling
Abstract
Data modeling allows us to elicit and visualize information about business objects and the relationships between them at a high level of abstraction. We argue that data modeling should be augmented to allow a detailed and rigorous specification of data constraints that represent structural invariants and business rules. We propose a language CSpec which extends OCL in a natural way to allow for constraint specification and advocate the use of a minimal but powerful set of notations to express constraint patterns. Novel features of our language are relational constraints, commuting constraints, concept formation, path predicates and safe transitive relationships.
|
|