You are here:
(13 Sep 2010,
Date: 2010-09-23 Time: 11:00 Room: [[http://www.cs.uu.nl/docs/reach/bbl.php][BBL]] 079 ---+++++ Speaker: Gerard Michels ----+++++ Title: Dealing with generalisation types in a heterogeneous relation algebra ----+++++ Abstract 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.
ore topic actions
Topic revision: r3 - 13 Sep 2010,
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?