Automated agent synthesis for situation awareness in service-based systems

Proceedings - International Computer Software and Applications Conference

Volumn 1, Issue , 2006, Pages 503-510

  Yau, S S ^a   Gong, H ^a   Huang, D ^a   Gao, W ^a   Zhu, L ^a  

^a ARIZONA STATE UNIVERSITY   (United States)

Author keywords

AS3 calculus and logic; Automated agent synthesis; Service based systems; Situation awareness agents

Indexed keywords

DIFFERENTIATION (CALCULUS); ELECTRONIC COMMERCE; ENVIRONMENTAL PROTECTION; HEALTH CARE; QUALITY OF SERVICE; SECURITY OF DATA;

AUTOMATED AGENT SYNTHESIS; SERVICE BASED SYSTEMS; SERVICE ORIENTED COMPUTING; SITUATION AWARENESS AGENTS; SOFTWARE SYSTEMS;

INTELLIGENT AGENTS;

EID: 34247534217     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2006.30     Document Type: Conference Paper

References (22)

1. Web Services Architecture. Available at: http://www.w3.org/TR/2004/NOTE- ws-arch-20040211/.
2. th IEEE Int'l Computer Software and App. Conf., 2002, pp. 233-238.
3. S. S. Yau, et al, "Reconfigurable Context-Sensitive Middleware far Pervasive Computing," IEEE Pervasive Computing, vol. 1(3), 2002, pp. 33-40.
4. S. S. Yau, et al, "Adaptable Situation-Aware Secure Service Based Systems", Proc. 8th IEEE Int'l Symp. on Object-oriented Real-time distributed Computing, 2005, pp. 308-315.
5. S. S. Yau, et al, "Situation-Awareness for Adaptable Service Coordination in Service-based Systems", Proc. 29th Annual Int'l Computer Software and App. Conf., 2005, pp. 107-112.
6. J. McCarthy and P. J. Hayes, "Some Philosophical Problems from the Standpoint of Artificial Intelligence", Machine Intelligence 4, 1969, pp. 463-502.
7. H. J. Levesque, et al, "GOLOG: A logic programming language for dynamic domains", J. Logic Programming, vol. 31(1-3), 1997, pp. 59-84.
8. R. Reiter, "Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems", MIT Press, 2001.
9. C. J. Matheus, M. M. Kokar, and K. Baclawski, "A Core Ontology for Situation Awareness", Proc. 6th Int'l Conf. on Information Fusion, 2003, pp. 545-552.
10. C. J. Matheus, et al, "Constructing RuleML-Based Domain Theories on top of OWL Ontologies", Proc. 2nd Int'l Workshop on Rules and Rule Markup Languages for the Semantic Web, 2003, pp. 81-94.
11. H. Chen, T. Finin, and A. Joshi. "An Ontology for Context-Aware Pervasive Computing Environments". Special Issue on Ontologies for Distributed Systems, Knowledge Engineering Review, vol. 18, Sep. 2003, pp. 197-207.
12. th IEEE Int'l Symp. on Object-oriented Real-time distributed Computing, 2006, pp. 287-294.
13. A.K. Dey, and G.D. Abowd, "A Conceptual Framework and a Toolkit for Supporting the Rapid Prototyping of Context-aware Applications", Human-Computer Interaction, vol. 16(2-4), 2001, pp. 97-166.
14. M. Roman, et al., "A middleware infrastructure for active spaces," IEEE Pervasive Computing, vol. 1(4), 2002, pp. 74-83.
15. A. Ranganathan, and R.H. Campbell, "A Middleware for Context-aware Agents in Ubiquitous Computing Environments", Proc. ACM Int'l Middleware Conf., 2003, pp. 143-161.
16. A.T.S. Chan, and S.N. Chuang, "MobiPADS: a Reflective Middleware for Context-aware Computing," IEEE Trans. on Software Engineering, vol. 29(12), 2003, pp. 1072-1085.
17. P. Blackburn, M. deRijke, and Y. Venema, Modal Logic, Cambridge University Press, 2003.
18. S. S. Yau, et al., "Automated Agent Synthesis for Situation-Aware Service Coordination in Service-based Systems," Technical Report, ASU-CSE-TR-05-008, August, 2005. http://dpse.eas.asu.edu/AS3/papers/ASU-CSE- TR-05-009.pdf
19. A. J. R. J. Milner, Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, 1999.
20. A. Appel, "Compiling with Continuations." Cambridge University Press, 1992
21. L. Cardelli and A. D. Gordon, "Mobile Ambients," Theoretical Computer Science, vol. 240(1), 2000, pp. 177-213.
22. R. Bharadwaj, "Secure Middleware for Situation-Aware Naval C2 and combat Systems," Proc. 9th Int'l Workshop on Future Trends of Distributed Computing System (FTDCS 2003), 2003, pp. 233-240.