Sensor-driven services often cause chain reactions, since one service may generate an environmental impact that automatically triggers another service. We first propose a framework that can formalize and detect such service chains based on ECA (event, condition, action) rules. Although the service chain can be a major source of feature interactions, not all service chains lead to harmful interactions. Therefore, we then propose a method that identifies feature interactions within the service chains. Specifically, we characterize the degree of deviation of every service chain by evaluating the gap between expected and actual service states. An experimental evaluation demonstrates that the proposed method successfully detects 11 service chains and 6 feature interactions within 7 practical sensor-driven services.
References
[1]
Panasonic Electric Works Co., Ltd. eco ideas HOUSE. Available online: http://panasonic.co.jp/ecohouse/en/Homenetwork/index.html (accessed on 20 June 2012).
[2]
Toshiba Lighting & Technology Corporation. Toshiba Network Appliance Feminity. Available online: http://feminity.toshiba.co.jp/feminity/feminity_eng/about/index.html (accessed on 20 June 2012).
[3]
Igaki, H.; Nakamura, M. Modeling and detecting feature interactions among integrated services of home network systems. IEICE Trans. Inf. Syst. 2010, E93-D, 822–833, doi:10.1587/transinf.E93.D.822.
[4]
Nakamura, M.; Igaki, H.; Yoshimura, Y.; Ikegami, K. Considering Online Feature Interaction Detection and Resolution for Integrated Services in Home Network System. Proceedings of the 10th International Conference on Feature Interactions in Telecommunications and Software Systems (ICFI2009), Lisbon, Portugal, 11–12 June 2009; pp. 191–206.
[5]
Nakamura, M.; Tanaka, A.; Igaki, H.; Matsumoto, K. Constructing home network systems and integrated services using legacy home appliances and web services. Int. J. Web Serv. Res. 2008, 5, 82–98, doi:10.4018/jwsr.2008010105.
[6]
Wang, F.; Turner, K.J. Policy Conflicts in Home Care System. Proceedings of the 9th International Conference on Feature Interactions in Telecommunications and Software Systems (ICFI2007), Grenoble, France, 3–5 September 2007; pp. 54–65.
[7]
Kolberg, M.; Magill, E.; Wilson, M.E. Compatibility issues between services supporting networked appliances. IEEE Commun. Mag. 2003, 41, 136–147.
[8]
Wilson, M.; Kolberg, M.; Magill, E. Considering Side Effects in Service Interactions in Home Automation—an Online Approach. Proceedings of the 9th International Conference on Feature Interactions in Software and Communication Systems (ICFI2007), Grenoble, France, 3–5 September 2007; pp. 172–187.
[9]
Layouni, A.F.; Logrippo, L.; Turner, K.J. Conflict detection in call control using first-order logic model checking. Proceedings of 9th Int. Conf. on Feature Interactions in Software and Communications Systems (ICFI2007), Grenoble, France, 3–5 September 2007; pp. 66–82.
[10]
Ter Beek, M.H.; Gnesi, S.; Montangero, C.; Semini, L. Detecting policy conflicts by model checking UML state machines. In Featur. Interact. Softw. Commun. Syst. X; 2009; 0, pp. 59–74.
[11]
Nakamura, M.; Matsuo, S.; Matsumoto, S.; Sakamot, H.; Igaki, H. Application Framework for Efficient Development of Sensor as a Service for Home Network System. Proceedings of the IEEE International Conference on Services Computing (SCC2011), Washington DC, USA, 4–9 July 2011; pp. 576–583.
[12]
Lupu, E.; Sloman, M. Conflicts in policy-based distributed systems management. IEEE Trans. Softw. Eng. 1999, 25, 852–869, doi:10.1109/32.824414.
[13]
Dunlop, N.; Indulska, J.; Raymond, K. Dynamic Conflict Detection in Policy-Based Management Systems. Proceedings of Sixth International Enterprise Distributed Object Computing Conference, Lausanne, Switzerland, 17–20 September, 2002; pp. 15–26.
[14]
Charalambides, M.; Flegkas, P.; Pavlou, G.; Bandara, A.; Lupu, E.; Russo, A.; Dulav, N.; Sloman, M.; Rubio-Loyola, J. Policy Conflict Analysis for Quality of Service Management. Proceedings of Sixth IEEE International Workshop on Policies for Distributed Systems and Networks, Stockholm, Sweden, 6–8 June 2005; pp. 99–108.
[15]
Shankar, C.; Campbell, R. A Policy-Based Management Framework for Pervasive Systems Using Axiomatized Rule-Actions. Proceedings of Fourth IEEE International Symposium on Network Computing and Applications, Cambridge, MA, USA, 27–29 July 2005; pp. 255–258.
