Monitoring temporal preconditions in a behaviour oriented object model
- 31 December 1994
- journal article
- Published by Elsevier in Data & Knowledge Engineering
- Vol. 14 (2) , 143-186
- https://doi.org/10.1016/0169-023x(94)90042-6
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Towards object-oriented conceptual modelingData & Knowledge Engineering, 1991
- Theoretical foundations of handling large substitution sets in temporal integrity monitoringActa Informatica, 1991
- Descriptive specification of database object behaviourData & Knowledge Engineering, 1991
- Transformation of dynamic integrity constraints into transaction specificationsTheoretical Computer Science, 1990
- Monitoring dynamic integrity constraints based on temporal logicInformation Systems, 1987
- Synthesis of Communicating Processes from Temporal Logic SpecificationsACM Transactions on Programming Languages and Systems, 1984
- Temporal aspects of logical procedure definitionInformation Systems, 1980