Dr. Andrew Broad
Computer Science
PhD Project
The Case Library

All the cases in the CCUS's case library are included here. They are written in FIL-C, a variant of my Frame-Instance Language for case representation.

• choice_set from ENUMERATION
• choice_set from SELECT
• choice_set from ABSTRACT SUPERTYPE
• choice_set from concrete SUPERTYPE
• Lower bound
• Upper bound
• range from two bounds
• range from interval
• equation from derived attribute
• adder from x + y = z
• adder from x = z - y
• multiplier from x * y = z
• multiplier from x = z / y
• type_hlc from optional attribute
• type_hlc and non_null from mandatory attribute
• non_null from EXISTS
• optional_xor_empty from SET [0 : ?]
• optional_xor_empty from OPTIONAL SET [1 : ?]
• one_to_one relationship
• one_to_many relationship
• one_to_many (many-to-one) relationship
• many_to_many relationship
• for_all
• there_exists
• domain_rules_hlc from an entity
• domain_rules_hlc propagated from a defined type to an entity

• Navigating a model
• Navigating a schema
• Navigating a defined type
• Navigating an entity
• Navigating a domain rule
• Navigating a conjunction
• Navigating an equation
• Navigating a negation
• Navigating a QUERY
• Navigating a user-defined function
• Navigating a return statement

• Positive comparators
• Negative comparators
• Conjunctions
• Disjunctions
• Lower bounds of unordered aggregation-types
• Upper bounds of unordered aggregation-types
• Lower bounds of list-types
• Upper bounds of list-types
• UNIQUE rules
• choice_set HLCs

• Conjunction
• Disjunction

• Schema
• Named type
• Explicit attribute
• Inverse attribute
• Derived attribute
• Enumeration symbol
• Set type
• Bag type
• List type
• Array type
• Expression
• Minus
• Reciprocal
• Integer literal
• Real literal
• Indeterminate
• Query variable
• choice_set HLC
• bound HLC
• range HLC
• adder HLC
• multiplier HLC
• non_null HLC
• type_hlc HLC
• one_to_one HLC
• one_to_many HLC
• many_to_many HLC
• for_all HLC
• there_exists HLC
• domain_rules_hlc HLC