The Taxis design language offers an entity-based framework for designing interactive information systems and a data model which supports generalisation, classification and aggregation as abstraction mechanisms. With the aim of balancing expressiveness and performance, this paper describes and discusses design, implementation and performance analysis of the closely related issues of management of long-term activities for Taxis and enforcement of semantic integrity constraints.
Parts of this paper are a revision and extension of a forthcoming book chapter [Nixon, forthcoming].
Senior Fellow, Canadian Institute for Advanced Research