Speaker: Gerard Michels
Title: Dealing with generalisation types in a heterogeneous relation algebra
A type system for ADL will be presented. ADL, a description language, is a specification language meant to formalize functional requirements of business processes and information systems. Business processes and information systems can be described by a collection of descriptive or invariant business rules. In ADL these rules are formalized in a representable heterogeneous relation algebra. Representable, because the relations have a population set. Heterogeneous, because the relations are typed. Type systems for these algebras exist, but ADL is extended with generalisation types. This extension has no mathematical purpose, but is required for requirements engineering. A type system for ADL has been defined and implemented using the attribute grammar library of ST UU.