{"title":"web服务编排的QoS视图","authors":"Xiangpeng Zhao, C. Chao, Hongli Yang, Z. Qiu","doi":"10.1109/ICEBE.2007.18","DOIUrl":null,"url":null,"abstract":"Web service choreography describes the common and collaborative observable behavior of multiple services that interact with each other. Integrating QoS into choreography is valuable for designing and analyzing a choreography specification. In this paper, a formal model of web service choreography which incorporates QoS information such as time and cost is proposed. A formal trace semantics for the model is also given, together with several QoS estimation methods.","PeriodicalId":184487,"journal":{"name":"IEEE International Conference on e-Business Engineering (ICEBE'07)","volume":"55 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"16","resultStr":"{\"title\":\"A QoS View ofWeb Service Choreography\",\"authors\":\"Xiangpeng Zhao, C. Chao, Hongli Yang, Z. Qiu\",\"doi\":\"10.1109/ICEBE.2007.18\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Web service choreography describes the common and collaborative observable behavior of multiple services that interact with each other. Integrating QoS into choreography is valuable for designing and analyzing a choreography specification. In this paper, a formal model of web service choreography which incorporates QoS information such as time and cost is proposed. A formal trace semantics for the model is also given, together with several QoS estimation methods.\",\"PeriodicalId\":184487,\"journal\":{\"name\":\"IEEE International Conference on e-Business Engineering (ICEBE'07)\",\"volume\":\"55 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-10-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"16\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE International Conference on e-Business Engineering (ICEBE'07)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICEBE.2007.18\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE International Conference on e-Business Engineering (ICEBE'07)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICEBE.2007.18","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Web service choreography describes the common and collaborative observable behavior of multiple services that interact with each other. Integrating QoS into choreography is valuable for designing and analyzing a choreography specification. In this paper, a formal model of web service choreography which incorporates QoS information such as time and cost is proposed. A formal trace semantics for the model is also given, together with several QoS estimation methods.