The Community for Technology Leaders
RSS Icon
Issue No.03 - July-September (2009 vol.2)
pp: 261-275
Hsin-yi Jiang , Iowa State University, Ames
Hua Ming , Iowa State University, Ames
Katsunori Oyama , Iowa State University, Ames
Evolvability is essential for computer systems to adapt to the dynamic and changing requirements in response to instant or delayed feedback from a service environment that nowadays is becoming more and more context aware; however, current context-aware service-centric models largely lack the capability to continuously explore human intentions that often drive system evolution. To support service requirements analysis of real-world applications for services computing, this paper presents a situation-theoretic approach to human-intention-driven service evolution in context-aware service environments. In this study, we give situation a definition that is rich in semantics and useful for modeling and reasoning human intentions, whereas the definition of intention is based on the observations of situations. A novel computational framework is described that allows us to model and infer human intentions by detecting the desires of an individual as well as capturing the corresponding context values through observations. An inference process based on Hidden Markov Model makes instant definition of individualized services at runtime possible, and significantly, shortens service evolution cycle. We illustrate the possible applications of this framework through a smart home example aimed at supporting independent living of elderly people.
Context aware, hidden Markov chain, human intention, requirements, runtime, service, situation theoretic, smart home, software evolution.
Hsin-yi Jiang, Hua Ming, Katsunori Oyama, "Situ: A Situation-Theoretic Approach to Context-Aware Service Evolution", IEEE Transactions on Services Computing, vol.2, no. 3, pp. 261-275, July-September 2009, doi:10.1109/TSC.2009.21
[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 $\acute{\rm M}$ ental State$\acute{\rm t}$ 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,, 2009.
[47] UDDI Version 3 Specification,, 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 (IAWTIC'05), pp. 308-314, 2005.
34 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool