普适环境下基于推理的组合服务可靠性度量及验证
|
摘要
普适计算技术正随着计算机网络,传感器网络和移动设备的发展得到了越来越多的关注和研究。在普适环境下,设备种类繁多、功能和能力各异、网络通信协议多样、资源状态动态变化,组合服务的可靠性会随着上下文环境变化而发生变化,其可靠性的度量、预测与验证是一个亟待解决的问题。
针对上述问题,本文提出一种基于规则推理的方法对组合服务进行可靠性度量、预测和验证。该方法根据普适环境的特点建立基于本体的上下文模型和服务可靠性度量模型,通过上下文感知并使用基于规则的推理方法度量及预测服务的可靠度,然后参照目标需求对服务的可靠性进行验证。在此基础上,本文阐述了原型系统的设计与实现,通过在具体场景中的应用,验证了该方法的可行性与有效性。
与传统的方法相比,本文提出的方法具有以下特点:第一,本文提出了一种基于本体的服务可靠性度量模型,同时使用基于规则的推理方法对基本服务及其组合服务的可靠性进行度量及预测;第二,本文提出了两阶段的服务可靠性度量及预测方法,先通过上下文感知及推理计算出基本服务的可靠度,再根据组合服务的控制结构通过推理得出组合服务的可靠度。
Pervasive computing is getting more and more spotlights along with the development of computer network, sensor network and mobile technology. In pervasive environment, devices have different type and provide disparate functions while various protocols of networks exist and status of resources change dynamically, which causes the reliability of services varies as the context environment is changed. The measurement, forecast and verification of the service reliability is a main issue.
Aiming at the problem, this paper brought forward a rule-based reasoning method to measure, forecast and verify reliability of composite services. According to the characters of pervasive environment, a context model and service reliability measuring model based on ontology technology were established. Services reliability was computed by rule-based reasoning through context awareness, and then a verification method of service reliability referred to the request was proposed. Based on the above method, the design and the realization of the prototype system was discussed in detail. And experiments in the scene also proved that the method is feasible and effective.
Compared with the traditional methods, this method in this paper has the following points: Firstly, this paper introduced a service reliability measurement model based on ontology technology and computed the reliability of atomic services and their composite services through rule-based reasoning. Secondly, this paper used two-stage method for service reliability measurement and forecast, which computed the simple service reliability through context awareness and reasoning, and then measured the reliability of composite services according to various of control construct.
针对上述问题,本文提出一种基于规则推理的方法对组合服务进行可靠性度量、预测和验证。该方法根据普适环境的特点建立基于本体的上下文模型和服务可靠性度量模型,通过上下文感知并使用基于规则的推理方法度量及预测服务的可靠度,然后参照目标需求对服务的可靠性进行验证。在此基础上,本文阐述了原型系统的设计与实现,通过在具体场景中的应用,验证了该方法的可行性与有效性。
与传统的方法相比,本文提出的方法具有以下特点:第一,本文提出了一种基于本体的服务可靠性度量模型,同时使用基于规则的推理方法对基本服务及其组合服务的可靠性进行度量及预测;第二,本文提出了两阶段的服务可靠性度量及预测方法,先通过上下文感知及推理计算出基本服务的可靠度,再根据组合服务的控制结构通过推理得出组合服务的可靠度。
Pervasive computing is getting more and more spotlights along with the development of computer network, sensor network and mobile technology. In pervasive environment, devices have different type and provide disparate functions while various protocols of networks exist and status of resources change dynamically, which causes the reliability of services varies as the context environment is changed. The measurement, forecast and verification of the service reliability is a main issue.
Aiming at the problem, this paper brought forward a rule-based reasoning method to measure, forecast and verify reliability of composite services. According to the characters of pervasive environment, a context model and service reliability measuring model based on ontology technology were established. Services reliability was computed by rule-based reasoning through context awareness, and then a verification method of service reliability referred to the request was proposed. Based on the above method, the design and the realization of the prototype system was discussed in detail. And experiments in the scene also proved that the method is feasible and effective.
Compared with the traditional methods, this method in this paper has the following points: Firstly, this paper introduced a service reliability measurement model based on ontology technology and computed the reliability of atomic services and their composite services through rule-based reasoning. Secondly, this paper used two-stage method for service reliability measurement and forecast, which computed the simple service reliability through context awareness and reasoning, and then measured the reliability of composite services according to various of control construct.
引文
[1] M.P.Papazoglou, D.Georgakopoulos. Service-Oriented Computing. Communications of ACM ,2003.46(10): p25-28
[2] T. Andrews et al. Business Process Execution Language for Web Services. www.ibm.com/developerworks/ library/ws-bpel/, 2004
[3] Business Process Management Initiative, Business Process Modeling Language v1.0, http://www.bpmi.org, 2002.
[4] Web Services Choreography Definition Language,http://www.w3.org/TR/wsci/, 2002
[5] Ran, S. "A Model for Web Services Discovery with QoS" ACM SIGecom Exchanges(4:1), 2003, pp.1-10.
[6] Sirin E, Parsia B, Wu Dan, et al. HTN Planning for Web Service Composition Using SHOP2. Proceedings of 2nd International Semantic Web Conference (ISWC2003), Sanibel Island, Florida, USA, 2003. 20-23
[7] Narayanan S, Mcllraith SA. Simulation, Verification and Automated Composition of Web Services. Proceeding of the 11th WWW.Honolulu: ACM, 2002. 77-88
[8] Medjahed B, Bouguettaya A, Elmagarmid A K. Composing Web Services on the Semantic Web. The VLDB Journal the International Journal on Very Large Data Bases, 2003, 12(4): 333-351
[9] Liu jiamao, Fan Chenhui, Gu Ning. Web services automatic compostion with minimal execution price Web Services, 2005 (ICWS2005). IEEE International Conference, 2005. 302-309.
[10] Shankar R. Ponnekanti, Armando Fox. Sword: A Developer Toolkit for Web Service Compostion, In Proceeding of the Eleventh World Wide Web Conference, 2002.
[11] J.Rao, Kungas P, Mat skin M. Compostion of semantic Web Services using linear logic theorem proving. Information System, 2006(31): 340-360
[12] Semantic Markup for Web Services. http://www.daml.org/services/owl-s/, 2008.
[13] Web Service Modeling Ontology/Language. http://www.wsmo.org/, 2005
[14] Semantic Web Services Language. http://www.daml.org/services/swsl/ , 2005.
[15] Web Service Semantics. , 2005
[16] Liangzhao Zeng, Boualem Benatallah, Marlon Dumas, Jayant Kalagnanam, Quan Z. Sheng. Quality driven web services composition. Proceedings of the 12th international conference on World Wide Web, 2003
[17] Liangzhao Zeng, Boualem Benatallah, Anne H.H.Ngu, et al. QoS-Aware Middleware for WebServices Composition. IEEE Transactions on Software Engineering.Volume 30 , Issue 5 (May 2004): 311-327
[18] Yingqiu Li, Minghua Chen, Tao Wen, et al. Quality Driven Web Services Composition Based on an Extended Layered Graph. Proceedings of the 2008 International Conference on Computer Science and Software Engineering (CSSE2008), Volume 3.
[19] Lei Cao, Minglu Li, Jian Cao. Using Genetic Algorithm to Implement Cost-driven Web Service Selection. Multiagent and Grid Systems , Volume 3 Issue1, 2007.
[20] Wonhong Nam, Hyunyoung Kil, Jungjae Lee. QoS-Driven Web Service Composition Using Learning-Based Depth First Search. Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing (CEC'09)
[21] Menasce DA.QoS Issues in Web Services. IEEE Internet Computing,2002,6(6):72-75.
[22] K. Kritikos & D. Plexousakis. Semantic QoS Metric Matching. In Proc. of European Conf. on Web Services, IEEE Computer, pp. 265–274, 2006.
[23] G. F. Tondello and F. Siqueira. The QoS-MO Ontology for Semantic QoS Modeling. In Proc. of ACM Symposium on Applied Computing, ACM Press, pp.2336–2340, 2008.
[24] G. Dobson, R. Lock, and I. Sommerville. QoSOnt: a QoS Ontology for Service-Centric Systems. In Proc. of 2005 Euromicro SEAA, 2005.
[25]何丰,语义Web服务组合若干关键技术研究,东华大学博士学位论文。
[26] S. Kalasapur, M. Kumar, and B. A. Shirazi, Dynamic Service Composition in Pervasive Computing. IEEE Transactions on parallel and distributed systems, vol. 18, no. 7, pp.907-918, JULY 2007.
[27] B. Schilit, N. Adams, and R. Want. Context-Aware Computing Applications. In Proc. of the Workshop on Mobile Computing Systems and Applications, pages 85– 90, Santa Cruz, CA, Dec. 1994.
[28] T. Strang and C. Linnhoff-Popien "A Context Modeling Survey," In First International Workshop on Ad-vanced Context Modelling, Reasoning And Management,UbiComp 2004.
[29] Dey, A.K. and Abowd, G.D. The context toolkit: aiding the development of context-aware applications, Workshop on Software Engineering for Wearable and Pervasive Computing, Limerick, Ireland, 2000.
[30] Manuel Román, Christopher K. Hess, Renato Cerqueira, et al. Gaia: A Middleware Infrastructure to Enable Active Spaces. IEEE Pervasive Computing,pp.74-83, Oct-Dec 2002.
[31] P Verissimo, V Cahill, A Casimiro, K Cheverst,,CORTEX: Towards Supporting Autonomous and Cooperating Sentient Entities,Proceedings of European Wireless, 2002
[32] Chakraborty D,Joshi A, Finin T,et al. Service composition for mobile environment. Mobile Networks and Applications, 2005,10(4):435-451
[33] Amigo[EB/OL]. http://www.extra.research.philips.com/euprojects/amigo/, 2008.
[34] S. Chetan, A. Ranganathan and R. Campbell, Towards fault tolerance pervasive somputing, Technology and Society Magazine, IEEE,2005,24(1):38-44.
[35]彭晓明,何炎祥,朱兵舰.蚁群算法在Web服务组合中的应用。计算机工程,1000-3428(2009)10-0182-06
[36] I. V. Papaioannou et al. A QoS Ontology Language for Web Services. In Proc. of 20th Intl. Conf. on Advanced Information Networking and Applications, IEEE Computer, pp. 18–25, 2006.
[37] Amir Padovitz, Seng W. Loke, Arkady Zaslavsky The ECORA framework: A hybrid architecture for context-oriented pervasive computing. Apr. 2008 Pervasive and Mobile Computing Volume 4
[38] Ejigu, Dejene; Scuturici, Marian; Brunie, Lionel; CoCA: A Collaborative Context-Aware Service Platform for Pervasive Computing; Information Technology, 2007. ITNG '07. Fourth International Conference on 2-4 April 2007 Page(s):297 - 302 Digital Object Identifier 10.1109/ITNG.2007.49
[39]邓水光,Web服务自动组合与形式化验证的研究,浙江大学博士学位论文。
[40] Diaz R P, Vilas A F,Cabrer M R, et al.Enhancing residential gateways:OSGi service composition[J].IEEE Transactions on Consumer Electronics, 2007, 53(1):87—95.
[41] Heejung Chang, Kangsun Lee. Quality-Driven Web Service Composition for Ubiquitous Computing Environment. Proceedings of the 2009 International Conference on New Trends in Information and Service Science (NISS'09).
[42] Menasce DA.Composing Web Services:A QoS View.IEEE Internet Computing, 2004,8(6):88—90.
[2] T. Andrews et al. Business Process Execution Language for Web Services. www.ibm.com/developerworks/ library/ws-bpel/, 2004
[3] Business Process Management Initiative, Business Process Modeling Language v1.0, http://www.bpmi.org, 2002.
[4] Web Services Choreography Definition Language,http://www.w3.org/TR/wsci/, 2002
[5] Ran, S. "A Model for Web Services Discovery with QoS" ACM SIGecom Exchanges(4:1), 2003, pp.1-10.
[6] Sirin E, Parsia B, Wu Dan, et al. HTN Planning for Web Service Composition Using SHOP2. Proceedings of 2nd International Semantic Web Conference (ISWC2003), Sanibel Island, Florida, USA, 2003. 20-23
[7] Narayanan S, Mcllraith SA. Simulation, Verification and Automated Composition of Web Services. Proceeding of the 11th WWW.Honolulu: ACM, 2002. 77-88
[8] Medjahed B, Bouguettaya A, Elmagarmid A K. Composing Web Services on the Semantic Web. The VLDB Journal the International Journal on Very Large Data Bases, 2003, 12(4): 333-351
[9] Liu jiamao, Fan Chenhui, Gu Ning. Web services automatic compostion with minimal execution price Web Services, 2005 (ICWS2005). IEEE International Conference, 2005. 302-309.
[10] Shankar R. Ponnekanti, Armando Fox. Sword: A Developer Toolkit for Web Service Compostion, In Proceeding of the Eleventh World Wide Web Conference, 2002.
[11] J.Rao, Kungas P, Mat skin M. Compostion of semantic Web Services using linear logic theorem proving. Information System, 2006(31): 340-360
[12] Semantic Markup for Web Services. http://www.daml.org/services/owl-s/, 2008.
[13] Web Service Modeling Ontology/Language. http://www.wsmo.org/, 2005
[14] Semantic Web Services Language. http://www.daml.org/services/swsl/ , 2005.
[15] Web Service Semantics. , 2005
[16] Liangzhao Zeng, Boualem Benatallah, Marlon Dumas, Jayant Kalagnanam, Quan Z. Sheng. Quality driven web services composition. Proceedings of the 12th international conference on World Wide Web, 2003
[17] Liangzhao Zeng, Boualem Benatallah, Anne H.H.Ngu, et al. QoS-Aware Middleware for WebServices Composition. IEEE Transactions on Software Engineering.Volume 30 , Issue 5 (May 2004): 311-327
[18] Yingqiu Li, Minghua Chen, Tao Wen, et al. Quality Driven Web Services Composition Based on an Extended Layered Graph. Proceedings of the 2008 International Conference on Computer Science and Software Engineering (CSSE2008), Volume 3.
[19] Lei Cao, Minglu Li, Jian Cao. Using Genetic Algorithm to Implement Cost-driven Web Service Selection. Multiagent and Grid Systems , Volume 3 Issue1, 2007.
[20] Wonhong Nam, Hyunyoung Kil, Jungjae Lee. QoS-Driven Web Service Composition Using Learning-Based Depth First Search. Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing (CEC'09)
[21] Menasce DA.QoS Issues in Web Services. IEEE Internet Computing,2002,6(6):72-75.
[22] K. Kritikos & D. Plexousakis. Semantic QoS Metric Matching. In Proc. of European Conf. on Web Services, IEEE Computer, pp. 265–274, 2006.
[23] G. F. Tondello and F. Siqueira. The QoS-MO Ontology for Semantic QoS Modeling. In Proc. of ACM Symposium on Applied Computing, ACM Press, pp.2336–2340, 2008.
[24] G. Dobson, R. Lock, and I. Sommerville. QoSOnt: a QoS Ontology for Service-Centric Systems. In Proc. of 2005 Euromicro SEAA, 2005.
[25]何丰,语义Web服务组合若干关键技术研究,东华大学博士学位论文。
[26] S. Kalasapur, M. Kumar, and B. A. Shirazi, Dynamic Service Composition in Pervasive Computing. IEEE Transactions on parallel and distributed systems, vol. 18, no. 7, pp.907-918, JULY 2007.
[27] B. Schilit, N. Adams, and R. Want. Context-Aware Computing Applications. In Proc. of the Workshop on Mobile Computing Systems and Applications, pages 85– 90, Santa Cruz, CA, Dec. 1994.
[28] T. Strang and C. Linnhoff-Popien "A Context Modeling Survey," In First International Workshop on Ad-vanced Context Modelling, Reasoning And Management,UbiComp 2004.
[29] Dey, A.K. and Abowd, G.D. The context toolkit: aiding the development of context-aware applications, Workshop on Software Engineering for Wearable and Pervasive Computing, Limerick, Ireland, 2000.
[30] Manuel Román, Christopher K. Hess, Renato Cerqueira, et al. Gaia: A Middleware Infrastructure to Enable Active Spaces. IEEE Pervasive Computing,pp.74-83, Oct-Dec 2002.
[31] P Verissimo, V Cahill, A Casimiro, K Cheverst,,CORTEX: Towards Supporting Autonomous and Cooperating Sentient Entities,Proceedings of European Wireless, 2002
[32] Chakraborty D,Joshi A, Finin T,et al. Service composition for mobile environment. Mobile Networks and Applications, 2005,10(4):435-451
[33] Amigo[EB/OL]. http://www.extra.research.philips.com/euprojects/amigo/, 2008.
[34] S. Chetan, A. Ranganathan and R. Campbell, Towards fault tolerance pervasive somputing, Technology and Society Magazine, IEEE,2005,24(1):38-44.
[35]彭晓明,何炎祥,朱兵舰.蚁群算法在Web服务组合中的应用。计算机工程,1000-3428(2009)10-0182-06
[36] I. V. Papaioannou et al. A QoS Ontology Language for Web Services. In Proc. of 20th Intl. Conf. on Advanced Information Networking and Applications, IEEE Computer, pp. 18–25, 2006.
[37] Amir Padovitz, Seng W. Loke, Arkady Zaslavsky The ECORA framework: A hybrid architecture for context-oriented pervasive computing. Apr. 2008 Pervasive and Mobile Computing Volume 4
[38] Ejigu, Dejene; Scuturici, Marian; Brunie, Lionel; CoCA: A Collaborative Context-Aware Service Platform for Pervasive Computing; Information Technology, 2007. ITNG '07. Fourth International Conference on 2-4 April 2007 Page(s):297 - 302 Digital Object Identifier 10.1109/ITNG.2007.49
[39]邓水光,Web服务自动组合与形式化验证的研究,浙江大学博士学位论文。
[40] Diaz R P, Vilas A F,Cabrer M R, et al.Enhancing residential gateways:OSGi service composition[J].IEEE Transactions on Consumer Electronics, 2007, 53(1):87—95.
[41] Heejung Chang, Kangsun Lee. Quality-Driven Web Service Composition for Ubiquitous Computing Environment. Proceedings of the 2009 International Conference on New Trends in Information and Service Science (NISS'09).
[42] Menasce DA.Composing Web Services:A QoS View.IEEE Internet Computing, 2004,8(6):88—90.