On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
A structured approach for the definition of the semantics of active databases
ACM Transactions on Database Systems (TODS)
Declarative workflows that support easy modification and dynamic browsing
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
NiagaraCQ: a scalable continuous query system for Internet databases
SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
Design and evaluation of a wide-area event notification service
ACM Transactions on Computer Systems (TOCS)
Active Rules in Database Systems
Active Rules in Database Systems
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
Continuously adaptive continuous queries over streams
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
The Starburst Active Database Rule System
IEEE Transactions on Knowledge and Data Engineering
Continual Queries for Internet Scale Event-Driven Information Delivery
IEEE Transactions on Knowledge and Data Engineering
Modeling Exceptional Behaviors in Commercial Workflow Management Systems
COOPIS '99 Proceedings of the Fourth IECIS International Conference on Cooperative Information Systems
Modeling and Analysis of Interactions in Virtual Enterprises
RIDE '99 Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises
On the Semantics of Complex Events in Active Database Management Systems
ICDE '99 Proceedings of the 15th International Conference on Data Engineering
Adaptive filters for continuous queries over distributed data streams
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Location Based Services
Wireless Sensor Networks: An Information Processing Approach
Wireless Sensor Networks: An Information Processing Approach
Context-aware optimization of continuous range queries maintenance for trajectories
Proceedings of the 4th ACM international workshop on Data engineering for wireless and mobile access
Dynamic topological predicates and notifications in moving objects databases
Proceedings of the 6th international conference on Mobile data management
CAR: Controlled Adjustment of Routes and Sensor Networks Lifetime
MDM '06 Proceedings of the 7th International Conference on Mobile Data Management
OMCAT: optimal maintenance of continuous queries' answers for trajectories
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Streaming queries over streaming data
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Evolving triggers for dynamic environments
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
Hi-index | 0.00 |
One distinct characteristics of the context-aware systems is their ability to react and adapt to the evolution of the environment, which is often a result of changes in the values of various (possibly correlated) attributes. Based on these changes, reactive systems typically take corrective actions, e.g., adjusting parameters in order to maintain the desired specifications of the system's state. Pro-active systems, on the other hand, may change the mode of interaction with the environment as well as the desired goals of the system. In this paper we describe our (ECA)2 paradigm for reactive behavior with proactive impact and we present our ongoing work and vision for a system that is capable of context-aware adaptation, while ensuring the maintenance of a set of desired behavioral policies. Our main focus is on developing a formalism that provides tools for expressing normal, as well as defeasible and/or exceptional specification. However, at the same time, we insist on a sound semantics and the capability of answering hypothetical "what-if" queries. Towards this end, we introduce the high-level language LEAR that can be used to describe the dynamics of the problem domain, specify triggers under the (ECA)2 paradigm, and reason about the consequences of the possible evolutions.