Communicating sequential processes
Communicating sequential processes
Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
Executing temporal logic programs
Executing temporal logic programs
Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
Statecharts: A visual formalism for complex systems
Science of Computer Programming
ODE (Object Database and Environment): the language and the data model
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
The architecture of an active database management system
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Making deductive databases a practical technology: a step forward
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
The Z notation: a reference manual
The Z notation: a reference manual
Rule condition testing and action execution in Ariel
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Integrating active concepts into an object-oriented database system
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
Introduction to HOL: a theorem proving environment for higher order logic
Introduction to HOL: a theorem proving environment for higher order logic
Implementing Set-Oriented Production Rules as an Extension to Starburst
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
The Active Database Management System Manifesto: A Rulebase of ADBMS Features
RIDS '95 Proceedings of the Second International Workshop on Rules in Database Systems
The SAMOS Active DBMS Prototype
The SAMOS Active DBMS Prototype
Hi-index | 0.00 |
This paper describes a new kind of specification of an active database system application based on the Dynamic Relation Nets, which are themselves derived from high-level Petri nets. We introduce the capability of a Dynamic Relation Net to describe both static and dynamic aspects of a system, and show how such a formalism may be used to specify ECA-rules. This model uses the graphical advantages of Petri nets as a visual interface with the user and inherits the precision of formal languages based on the set theory by describing unambiguously management rules of information systems. The derived tool, namely NetSpec, provides the designer with the ability to focus on the design rather than the implementation, since there is no imperative code to produce while in the design phase of an application.