Compiling with continuations
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
Theoretical Computer Science
Data Management Systems: Evolution and Interoperation
Data Management Systems: Evolution and Interoperation
Reconfigurable Context-Sensitive Middleware for Pervasive Computing
IEEE Pervasive Computing
A Middleware Infrastructure for Active Spaces
IEEE Pervasive Computing
Development of Situation-Aware Application Software for Ubiquitous Computing Environment
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
Secure Middleware for Situation-Aware Naval C2 and Combat Systems
FTDCS '03 Proceedings of the The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems
Temporal reasoning in the situation calculus
Temporal reasoning in the situation calculus
An ontology for context-aware pervasive computing environments
The Knowledge Engineering Review
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
A Theory of Distributed Objects
A Theory of Distributed Objects
Situation-Awareness for Adaptive Coordination in Service-Based Systems
COMPSAC '05 Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 01
Software—Practice & Experience
Automated Agent Synthesis for Situation Awareness in Service-Based Systems
COMPSAC '06 Proceedings of the 30th Annual International Computer Software and Applications Conference - Volume 01
MobiPADS: A Reflective Middleware for Context-Aware Mobile Computing
IEEE Transactions on Software Engineering
Human-Computer Interaction
A middleware for context-aware agents in ubiquitous computing environments
Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
Situation-Theoretic Analysis of Human Intentions in a Smart Home Environment
ICOST '09 Proceedings of the 7th International Conference on Smart Homes and Health Telematics: Ambient Assistive Health and Wellness Management in the Heart of the City
Web Semantics: Science, Services and Agents on the World Wide Web
Hi-index | 0.00 |
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and development, e-business, health care, military applications and homeland security, regardless of the programming languages and platforms used in developing and running various components of the applications. In dynamic service-oriented computing environment, situation awareness (SAW) is needed for system monitoring, adaptive service coordination and flexible security policy enforcement. To greatly reduce the development effort of SAW capability in service-based systems and effectively support runtime system adaptation, it is necessary to automate the development of reusable and autonomous software components, called SAW agents, for situation-aware service-based systems. In this paper, a logic-based approach to declaratively specifying SAW requirements, decomposing SAW specifications for efficient distributed situation analysis, and automated synthesis of SAW agents is presented. This approach is based on AS^3 calculus and logic, and our declarative model for SAW. Evaluation results of our approach are also presented.