Specification, decomposition and agent synthesis for situation-aware service-based systems

Journal of Systems and Software

Volumn 81, Issue 10, 2008, Pages 1663-1680

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

^a ARIZONA STATE UNIVERSITY   (United States)

Author keywords

Agent synthesis; AS3 calculus and logic; Decomposition; Service based systems; Situation awareness

Indexed keywords

ACOUSTIC SURFACE WAVE FILTERS; ACOUSTIC WAVE VELOCITY; AGENTS; AUTONOMOUS AGENTS; CARBON DIOXIDE ARC WELDING; COMPUTER SOFTWARE; COMPUTER SOFTWARE REUSABILITY; COMPUTER SYSTEMS; COORDINATION REACTIONS; DECOMPOSITION; DISTRIBUTED COMPUTER SYSTEMS; ELECTRIC CURRENTS; ELECTRONIC COMMERCE; HEALTH; HEALTH CARE; MILITARY APPLICATIONS; MILITARY ENGINEERING; PUBLIC POLICY; RESEARCH; SAWING; SECURITY OF DATA; SECURITY SYSTEMS; SOFTWARE AGENTS; SPECIFICATIONS; TELECOMMUNICATION NETWORKS;

ADAPTIVE SERVICES; AGENT SYNTHESIS; APPLICATIONS.; AS3 CALCULUS AND LOGIC; AUTOMATED SYNTHESIS; AUTONOMOUS SOFTWARE; COLLABORATIVE RESEARCH; DISTRIBUTED APPLICATIONS; DISTRIBUTED COMPUTING SYSTEMS; E-BUSINESS; HOME LAND SECURITY; LOGIC-BASED APPROACHES; PROGRAMMING LANGUAGES; RUN-TIME SYSTEMS; SECURITY POLICY ENFORCEMENT; SERVICE-BASED SYSTEMS; SERVICE-ORIENTED COMPUTING; SITUATION AWARENESS; SITUATION-AWARE; SYSTEM MONITORING;

ACOUSTIC SURFACE WAVE DEVICES;

EID: 48649106317     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2008.02.035     Document Type: Article

References (32)

1. Appel A. Compiling with Continuations (1992), Cambridge University Press
2. Bharadwaj, R., 2003. Secure middleware for situation-aware Naval C2 and combat systems. In: Proceedings of the Nineth International Workshop on Future Trends of Distributed Computing System (FTDCS 2003), pp. 233-240.
3. Blackburn P., deRijke M., and Venema Y. Modal Logic (2003), Cambridge University Press
4. Booth, D., Haas, H., McCabe, F., Newcomer, E. et al., 2004. Web services architecture. Available at: .
5. Cardelli L., and Gordon A.D. Mobile ambients. Theoretical Computer Science 240 1 (2000) 177-213
6. Caromel D., and Henrio L. A Theory of Distributed Objects (2005), Springer-Verlag
7. Chan A.T.S., and Chuang S.N. MobiPADS: a reflective middleware for context-aware computing. IEEE Transactions on Software Engineering 29 12 (2003) 1072-1085
8. Chen H., Finin T., and Joshi A. An ontology for context-aware pervasive computing environments. Special Issue on Ontologies for Distributed Systems, Knowledge Engineering Review 18 (2003) 197-207
9. Dey A.K., and Abowd G.D. A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications. Human-Computer Interaction 16 2-4 (2001) 97-166
10. Huth M., and Ryan M. Logic in Computer Science: Modeling and Reasoning About Systems (2004), Cambridge University Press
11. Kifer M., Lausen G., and Wu J. Logical foundations of object-oriented and frame-based languages'. JACM 42 4 (1995) 741-843
12. Levesque H.J., Reiter R., Lespérance Y., Lin F., and Scherl R. GOLOG: a logic programming language for dynamic domains. Journal of Logic Programming 31 1-3 (1997) 59-84
13. Matheus, C.J., Kokar, M.M., Baclawski, K., 2003. A core ontology for situation awareness. In: Proceedings of the Sixth International Conference on Information Fusion, pp. 545 -552.
14. May, D., Shepherd, R., 1984. The transputer implementation of occam. In: Proceedings of the International Conference on Fifth Generation Computer Systems, pp. 533-541.
15. McCarthy J., and Hayes P.J. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4 (1969) 463-502
16. Milner R. Communicating and Mobile Systems: The π-Calculus (1999), Cambridge University Press
17. Pinto, J.A., 1994. Temporal reasoning in the situation calculus. Ph.D. Thesis, University of Toronto, Toronto.
18. Ranganathan, A., Campbell, R.H., 2003. A Middleware for Context-aware Agents in Ubiquitous Computing Environments. In: Proceedings of ACM International Middleware Conference, pp. 143-161.
19. Reiter R. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (2001), MIT Press
20. Roman M., Hess C., Cerqueira R., Ranganathan A., Campbell R.H., and Nahrstedt K. A middleware infrastructure for active spaces. IEEE Pervasive Computing 1 4 (2002) 74-83
21. Sorensen M.H., and Urzyczyn P. Lectures on the Curry-Howard Isomorphism (2006), Elsevier
22. Thuraisingham B.M. Data management Systems: Evolution and Interoperation (1996), CRC Press
23. Yau S.S., Karim F., Wang Y., Wang B., and Gupta S.K.S. Reconfigurable context-sensitive middleware for pervasive computing. IEEE Pervasive Computing 1 3 (2002) 33-40
24. Yau, S.S., Wang, Y., Karim, F., 2002. Development of situation-aware application software for ubiquitous computing environments. In: Proceedings of 26th IEEE International Computer Software and Application Conference, pp. 233-238.
25. Yau, S.S., Huang, D., Gong, H., Seth, S., 2004. Development and runtime support for situation-aware application software in ubiquitous computing environments. In: Proceedings of the 28th Annual International Computer Software and Application Conference (COMPSAC 2004), Hong Kong, pp. 452-457.
26. Yau, S.S., Huang, D., Gong H., Davulcu, H., 2005a. Situation-awareness for adaptable service coordination in service-based systems. In: Proceedings of the 29th Annual International Computer Software and Application Conference (COMPSAC 2005), pp. 107-112.
27. Yau, S.S., Mukhopadhyay, S., Huang, D., Gong, H., Davulcu, H., Zhu, L., 2005b. Automated agent synthesis for situation-aware service coordination in service-based systems. Technical Report, ASU-CSE-TR-05-008. .
28. Yau, S.S., Gong, H., Huang, D., Zhu, L., 2006a. Automated agent synthesis for situation awareness in service-based systems. In: Proceedings of the 30th Annual International Computer Software and Application Conference (COMPSAC 2006), pp. 503-512.
29. Yau S.S., Huang D., Gong H., and Yao Y. Support for situation-awareness in trustworthy ubiquitous computing application software. Journal of Software Practice and Engineering (JSPE) (2006) 893-921
30. 3) systems. In: Wang C., King S., Wachter R., et al. (Eds). Information Security Research: New Methods for Protecting Against Cyber Threats (2007), Wiley Publishing Inc. 585-596
31. Yau S.S., Mukhopadhyay S., Davulcu H., Huang D., Gong H., Singh P., and Gelgi F. Automated situation-aware service composition in service-oriented computing. International Journal of Web Services Research (IJWSR) 4 4 (2007) 59-82
32. Yau, S.S., Yao, Y., in press. An adaptable distributed trust management framework for development of secure service-based systems. Journal of Autonomic and Trusted Computing (JoATC).