Jack Campin

Learn More
This paper introduces a number of dimensions of active rule system behaviour which can be used both to highlight diierences between proposals for active rule systems, and to identify the requirements of diierent applications. These dimensions relate to the structure, execution model and management of active rules, and enable the concise expression of what(More)
This paper reviews research on the formal speciication of active behaviour, indicating both what has been done in this area, and how. The scope of diierent approaches is compared within a common framework, which reveals that although many aspects of active behaviour have been described formally, no single proposal covers all phenomena associated with active(More)
This paper presents a framework for the formal speciication of active database systems, and shows how the framework can be used to describe the functionality of three well known example systems, namely Starburst, POSTGRES and Ariel. The framework has been developed using Object-Z to structure speciications in a way that emphasises commonalities and key(More)
  • 1