Abstract
This paper presents an overview of the premises, research results, prototype implementations and prospectus of the Taxis Project at the University of Toronto. The project addresses several problems of Software Engineering within a unified representational framework. The framework offers a coherent set of basic principles for modelling and abstraction — drawn from work in knowledge representation in the field of Artificial Intelligence (AI) — and applies them to several aspects of system design and description.