Cheikh Ba, Mirian Halfeld-Ferrari, M. A. Musicante
{"title":"使用PEWS组合Web服务:一种跟踪理论方法","authors":"Cheikh Ba, Mirian Halfeld-Ferrari, M. A. Musicante","doi":"10.1109/ECOWS.2006.12","DOIUrl":null,"url":null,"abstract":"PEWS is an interface description language for both individual and composed Web services. Individual Web services are expressions over WSDL-defined operations while composed Web services are expressions over PEWS-defined services. This paper distinguishes two dimensions of PEWS. The control dimension describes the control workflow of the service, i.e. the order in which the operations of the Web service will be executed. No data constraints are imposed. The data dimension adds information flow to the control dimension. In order to analyse the composability and the substitutability of composed services, we introduce a trace-theoretical presentation of the language constructs. Our long-term goal is to integrate PEWS into a Web service design system that checks useful properties of the service specification","PeriodicalId":365520,"journal":{"name":"2006 European Conference on Web Services (ECOWS'06)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"11","resultStr":"{\"title\":\"Composing Web Services with PEWS: A Trace-Theoretical Approach\",\"authors\":\"Cheikh Ba, Mirian Halfeld-Ferrari, M. A. Musicante\",\"doi\":\"10.1109/ECOWS.2006.12\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"PEWS is an interface description language for both individual and composed Web services. Individual Web services are expressions over WSDL-defined operations while composed Web services are expressions over PEWS-defined services. This paper distinguishes two dimensions of PEWS. The control dimension describes the control workflow of the service, i.e. the order in which the operations of the Web service will be executed. No data constraints are imposed. The data dimension adds information flow to the control dimension. In order to analyse the composability and the substitutability of composed services, we introduce a trace-theoretical presentation of the language constructs. Our long-term goal is to integrate PEWS into a Web service design system that checks useful properties of the service specification\",\"PeriodicalId\":365520,\"journal\":{\"name\":\"2006 European Conference on Web Services (ECOWS'06)\",\"volume\":\"28 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-12-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"11\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2006 European Conference on Web Services (ECOWS'06)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ECOWS.2006.12\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 European Conference on Web Services (ECOWS'06)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ECOWS.2006.12","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Composing Web Services with PEWS: A Trace-Theoretical Approach
PEWS is an interface description language for both individual and composed Web services. Individual Web services are expressions over WSDL-defined operations while composed Web services are expressions over PEWS-defined services. This paper distinguishes two dimensions of PEWS. The control dimension describes the control workflow of the service, i.e. the order in which the operations of the Web service will be executed. No data constraints are imposed. The data dimension adds information flow to the control dimension. In order to analyse the composability and the substitutability of composed services, we introduce a trace-theoretical presentation of the language constructs. Our long-term goal is to integrate PEWS into a Web service design system that checks useful properties of the service specification
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
