Home
Schedule
Abstract Template
Masters Attendance
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Gerard Michels Abstract
Stc
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.
