Situ: A situation-theoretic approach to context-aware service evolution

IEEE Transactions on Services Computing

Volumn 2, Issue 3, 2009, Pages 261-275

  Chang, Carl K ^a   Jiang, Hsin Yi ^a   Ming, Hua ^a   Oyama, Katsunori ^a  

^a Iowa State University   (United States)

Author keywords

Context aware; Hidden Markov chain; Human intention; Requirements; Runtime; Service; Situation theoretic; Smart home; Software evolution

Indexed keywords

CONTEXT AWARE; HIDDEN MARKOV CHAIN; HUMAN INTENTION; REQUIREMENTS; RUNTIME; SERVICE; SITUATION THEORETIC; SMART HOME; SOFTWARE EVOLUTION;

COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE; DYNAMIC RESPONSE; INFORMATION SERVICES; SIGNAL THEORY;

HIDDEN MARKOV MODELS;

EID: 70349413098     PISSN: 19391374     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSC.2009.21     Document Type: Conference Paper

References (56)

1. R. Laddaga, "Self Adaptive Software - Problems and Projects," Proc. Int'l Workshop Software Evolvability (SE '06), pp. 3-10, 2006.
2. J. Xia, C. Chang, T. Kim, H. Yang, R. Bose, and S. Helal, "Fault-Resilient Ubiquitous Service Composition," Proc. Third IET Int'l Conf. Intelligent Environments (IE '07), pp. 108-115, 2007.
3. C. Chang, K. Oyama, H. Jaygarl, and H. Ming, "On Distributed Run-Time Software Evolution Driven by Stakeholders of Smart Home Development," Proc. Second Int'l Symp. Universal Comm. (ISUC '08 , pp. 59-66, 2008.
4. A. Dey, "Understanding and Using Context," Personal Ubiquitous Computing, vol. 5, no. 1, pp. 4-7, 2001.
5. A. Van Lamsweerde and E. Letier, "From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering," Proc. Radical Innovations of Software and System Eng., Montery Workshop, pp. 4-8, 2003.
6. M.E. Bratman, Intentions, Plans, and Practical Reason. Harvard Univ. Press, 1991.
7. K. Oyama, H. Jaygarl, J. Xia, C. Chang, A. Takeuchi, and H. Fujimoto, "A Human-Machine Dimensional Inference Ontology That Weaves Human Intentions and Requirements of Context Awareness Systems," Proc. Computer Software and Applications Conf. (COMPSAC '08), pp. 287-294, 2008.
8. H. Ming, K. Oyama, and C. Chang, "Human-Intention Driven Self Adaptive Software Evolvability in Distributed Service Environments," Proc. 12th IEEE Int'l Workshop Future Trends of Distributed Computing Systems (FTDCS '08), pp. 51-57, 2008.
9. A. Iliasov and A. Romanovsky, "CAMA: Structured Communication Space and Exception Propagation Mechanism for Mobile Agents," Proc. ECOOP Workshop Exception Handling in Object Oriented Systems: Developing Systems That Handle Exceptions, 2005.
10. S. Yau, H. Gong, D. Huang, W. Gao, and L. Zhu, "Specification, Decomposition and Agent Synthesis for Situation-Aware Service-Based Systems," J. Systems and Software, vol. 81, no. 10, pp. 1663-1680, 2008.
11. F. Mastrogiovanni, A. Sgorbissa, and R. Zaccaria, "Understanding Events Relationally and Temporally Related: Context Assessment Strategies for a Smart Home," Proc. Second Int'l Symp. Universal Comm. (ISUC '08), pp. 217-224, 2008.
12. J. Barwise and J. Perry, "The Situation Underground," Stanford Working Papers in Semantics, J. Barwise and I. Sag, eds., vol. 1, Stanford Cognitive Science Group, 1980.
13. V. Morreale, S. Bonura, G. Francaviglia, F. Centineo, M. Cossentino, and S. Gaglio, "Reasoning about Goals in BDI Agents: The PRACTIONIST Framework," Proc. Workshop Objects and Agents (WOA), 2006.
14. M.J. Beal, Z. Ghahramani, and C.E. Rasmussen, "The Infinite Hidden Markov Model," Advances in Neural Information Processing Systems 14 2002.
15. L.A. Belady and M.M. Lehman, "A Model of Large Program Development," IBM Systems J., vol. 15, no. 1, pp. 225-252, 1976.
16. M.M. Lehman, J.F. Ramil, P. Wernick, D.E. Perry, and W.M. Turski, "Metrics and Laws of Software Evolution - the Nineties View," Proc. Fourth Int'l Software Metrics Symp., pp. 20-32, 1997.
17. J. Gorinsek, S. Van Baelen, Y. Berbers, and K. De Vlaminck, "Managing Quality of Service during Evolution Using Component Contracts," Proc. ETAPS 2003 Workshop Unanticipated Software Evolution (USE '03), pp. 57-62, 2003.
18. S. Ciraci and P. van den Broek, "Evolvability as a Quality Attribute of Software Architectures," Proc. ERCIM Workshop Software Evolution (EVOL '06), pp. 29-31, 2006.
19. H. Jaygarl, K. Oyama, J. Xia, and C. Chang, "HESA: A Human-Centric Evolvable Situation-Awareness Model in Smart Homes," Proc. Int'l Conf. Smart Homes and Health Telematics (ICOST '08), pp. 153-160, 2008.
20. T. Strang and C. Linnhoff-Popien, "A Context Modeling Survey," Proc. UbiComp: The First Int'l Workshop Advanced Context Modeling, Reasoning and Management, 2004.
21. P. Bellavista, A. Küpper, and S. Helal, "Location-Based Services: Back to the Future," IEEE Pervasive Computing, vol. 7, no. 2, pp. 85-89, Apr.-June 2008.
22. M. Marschall, "Transforming a Six Month Release Cycle to Continuous Flow," Proc. Assoc. Geographic Information Laboratories Europe Conf. (AGILE '07), pp. 395-400, 2007.
23. H. Levesque, F. Pirri, and R. Reiter, "Foundations for the Situation Calculus," Electronic Trans. Artificial Intelligence, pp. 159-178, 1998.
24. M. Tomasello, M. Carpenter, J. Call, T. Behne, and H. Moll, "Understanding and Sharing Intentions: The Origins of Cultural Cognition," Behavioral and Brain Sciences, vol. 28, no. 5, pp. 675-691, 2005.
25. P.R. Cohen and H.J. Levesque, "Intention Is Choice with Commitment," Artificial Intelligence, vol. 42, nos. 2/3, pp. 213-261, 1990.
26. A.S. Rao and M.P. Georgeff, "Modeling Rational Agents within a BDI-Architecture," Proc. Second Int'l Conf. Principles of Knowledge Representation and Reasoning (KR), pp. 473-484, 1991.
27. R. Bordini, J. Hübner, and R. Vieira, "Jason and the Golden Fleece of Agent-Oriented Programming," Multi-Agent Programming, Springer, 2005.
28. F.R. Meneguzzi and M. Luck, "Composing High-Level Plans for Declarative Programming," Proc. Workshop Declarative Agent Languages and Technologies, pp. 69-85, 2008.
29. M. Móra, J. Lopes, R. Vicari, and H. Coelho, "BDI Models and Systems: Bridging the Gap," Proc. Workshop Intelligent Agents V, Agent Theories, Architectures, and Languages (ATAL '98), pp. 11-27, 1999.
30. R. Scheer, "The Ḿental Statet́heory of Intentions," Philosophy vol. 79, pp. 121-131, 2004.
31. R. Kelley, A. Tavakkoli, C. King, M. Nicolescu, M. Nicolescu, and G. Bebis, "Understanding Human Intentions via Hidden Markov Models in Autonomous Mobile Robots," Proc. Third ACM/IEEE Int'l Conf. Human Robot Interaction (HRI '08), pp. 367-374, 2008.
32. A. Cichocki, Y. Washizawa, T. Rutkowski, H. Bakardjian, A. Phan, S. Choi, H. Lee, Q. Zhao, L. Zhang, and Y. Li, "Noninvasive BCIs: Multiway Signal-Processing Array Decompositions," Computer, vol. 41, no. 10, pp. 34-42, Oct. 2008.
33. M. Adcock, J. Chung, and C. Schmandt, "Are We There Yet? User-Centered Temporal Awareness," Computer, vol. 42, no. 2, pp. 97-99, Feb. 2009.
34. D. Norman, The Design of Everyday Things. Basic Books, 1988.
35. Q. Hua, H. Wang, and M. Hemmje, "Conceptual Modeling for Interaction Design," Proc. 10th Int'l Conf. Human-Computer Interaction, pp. 351-355, 2003.
36. C. Rolland, R. Kaabi, and N. Kraïem, "On ISOA: Intentional Services Oriented Architecture," Proc. Int'l Conf. Advanced Information Systems Eng. (CAISE '07), pp. 158-172, 2007.
37. A. Van Lamsweerde, "Goal-Oriented Requirements Engineering: A Guided Tour," Proc. Fifth IEEE Int'l Symp. Requirements Eng. (RE '01 , pp. 249-262, 2001.
38. P. Korpipää, M. Koskinen, J. Peltola, S. Mäkelä, and T. Seppänen, "Bayesian Approach to Sensor-Based Context Awareness," Personal Ubiquitous Computing, vol. 7, no. 2, pp. 113-124, 2003.
39. H. Yamahara, F. Harada, H. Takada, and H. Shimakawa, "Dynamic Threshold Determination for Stable Behavior Detection," World Scientific and Eng. Academy and Soc. (WSEAS) Trans. Computers, vol. 7, no. 4, pp. 196-206, 2008.
40. L. Rabiner, "A Tutorial on Hidden Markov Models and Selected Applications in Speech Recognition," Proc. IEEE, vol. 77, no. 2, pp. 257-286, 1989.
41. O. Saliu and G. Ruhe, "Supporting Software Release Planning Decisions for Evolving Systems," Proc. 29th IEEE/NASA Software Eng. Workshop (SEW-29), pp. 14-26, 2005.
42. Y. Yang and G. Webb, "A Comparative Study of Discretization Methods for Naive-Bayes Classifiers," Proc. Pacific Rim Knowledge Acquisition Workshop (PKAW '02), pp. 159-173, 2002.
43. T. Adam, S. Dadvandipour, and J. Futas, "Influence of Discretization Method on the Digital Control System Performance," Acta Montanistica Slovaca, pp. 197-200, 2003.
44. E.A. Emerson and C.-L. Lei, "Modalities for Model Checking: Branching Time Logic Strikes Back," Science of Computer Programming, vol. 8, pp. 275-306, 1987.
45. H. Yang, J. King, S. Helal, and E. Jansen, "A Context-Driven Programming Model for Pervasive Spaces," Proc. Int'l Conf. Smart Homes and Health Telematics (ICOST '07), pp. 31-43, 2007.
46. WSDL 2.0 Specification, http://www.w3.org/TR/wsdl20-primer, 2009.
47. UDDI Version 3 Specification, http://uddi.org/pubs/uddi_v3.htm, 2009.
48. G. Weiss, Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence. MIT Press, 2000.
49. A. Mittal and A. Kassim, Bayesian Network Technologies: Applications and Graphical Models. IGI Global, 2007.
50. K. Korb and A. Nicholson, Bayesian Artificial Intelligence. CRC Press, 2004.
51. D. Hernando, V. Crespi, and G. Cybenko, "Efficient Computation of the Hidden Markov Model Entropy for a Given Observation Sequence," IEEE Trans. Information Theory, vol. 51, no. 7, pp. 2681-2685, July 2005.
52. R. Babbitt, J. Wong, C. Chang, and S. Mitra, "Privacy Management in Smart Homes: Design and Analysis," Proc. Int'l Conf. Aging, Disability, Independence (ICADI '06), pp. 55-64, 2006.
53. R. Picard, Affective Computing. MIT Press, 1997.
54. X. Li, "Integrating User Affective State Assessment in Enhancing Hci: Review and Proposition," The Open Cybernetics and Systemics J., pp. 192-205, 2008.
55. J. Ejarque, M. de Palol, I. Goiri, F. Julia, J. Guitart, R. Badia, and J. Torres, "SLA-Driven Semantically-Enhanced Dynamic Resource Allocator for Virtualized Service Providers," Proc. IEEE Fourth Int'l Conf. eScience, pp. 8-15, 2008.
56. A. Paschke, "RBSLA-A Declarative Rule-Based Service Level Agreement Language Based on RuleML," Proc. Int'l Conf. Intelligent Agents, Web Technology and Internet Commerce (IAW-TIC '05), pp. 308-314, 2005.