ABSTRACT
PEWS (Predicate Path Expression for Web Services) is a programming language for the definition of web service behavioral interfaces. PEWS programs can be used for the description of both simple and composite web services. Simple web services can be built from scratch, by the combination of operations defined in a WSDL description file. Composite web services are constructed from the combination of existing web services, accessed by using their WSDL descriptions. PEWS operators help to define the order in which web services and operations will be performed.
This paper presents a PEWS programs edition environment. This environment is in the form of a web interface that enables programmers to edit, test and run composition specifications. The front-end of the environment, i.e. the web interface, interacts with the back-end, a server-side application, for the specification analysis. Our platform offers the possibility of an automatic translation of a PEWS specification into a Java program skeleton, directly executable, to call the web service operations and perform them in the order defined by the PEWS specification. Thus, the use of this platform can help reducing the time for development of the compositions
- L. D. Alfaro and T. A. Henzinger. Interface automata. Proceedings of the 9th Annual ACM Symposium on Foundations of Software Engineering (FSE), 2001. Google ScholarDigital Library
- S. Andler. Predicate path expressions. In Sixth Annual ACM Symposium on Principles of Programming Languages (6th POPL'79), 1979. Google ScholarDigital Library
- Ariba Inc., IBM Corp., and Microsoft Corp. Universal description, discovery, and integration (UDDI). Technical white paper, uddi.org, September 2000.Google Scholar
- C. Ba, M. Carrero, M. Halfeld Ferrari, and M. Musicante. PEWS: A new language for building web service interfaces. j-jucs, 11(7):1215--1233, July 2005. http://www.jucs.org/jucs_11_7/pews_a_new_language.Google Scholar
- C. Ba and M. Halfeld Ferrari. Dependence graphs for verifications of web service compositions with pews. In SAC, pages 2387--2391, 2008. Google ScholarDigital Library
- C. Ba, M. Halfeld Ferrari, and M. Musicante. Building web services interfaces using predicate path expressions. In Proceedings of SBLP 2005. IX Brazilian Symposium on Programming Languages, pages 147--160, Recife - Brazil, May 2005. Brasilian Computer Science Society, University of Pernambuco.Google Scholar
- C. Ba, M. Halfeld Ferrari, and M. A. Musicante. Composing web services with PEWS: A trace-theoretical approach. In IEEE European Conference on Web Services (ECOWS), pages 65--74, 2006. Google ScholarDigital Library
- B. Benatallah, F. Casati, J. Ponge, and F. Toumani. Compatibility and replaceability analysis for timed web services protocols. Bases de données avancées (BDA), 2005.Google Scholar
- D. Beyer, A. Chakrabarti, and T. A. Henzinger. Web service interfaces. International World Wide Web Conference Committe (IW3C2), 2005. Google ScholarDigital Library
- D. Box, D. Ehnebuske, G. Kakivaya, A. Layman, N. Mendelsohn, H. F. Nielsen, S. Thatte, and D. Winer. Simple object access protocol (SOAP) 1.1. W3C Note NOTE-SOAP-20000508, World Wide Web Consortium, May 2000.Google Scholar
- T. Bultan, X. Fu, R. Hull, and J. Su. Conversation specification: a new approach to design and analysis of e-service composition. Proc. WWW, pp. 403--410. ACM, 2003. Google ScholarDigital Library
- E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana. Web services description language (WSDL) 1.1. Availabre at http://www.w3.org/TR/wsdl, 2001.Google Scholar
- I. Constantinescu, B. Faltings, and W. Binder. Large scale, type-compatible service composition. In ICWS, pages 506--513, 2004. Google ScholarDigital Library
- X. Fu, T. Bultan, and J. Su. Realizability of conversation protocols with message contents. Proc. ICWS, pp. 96--103. IEEE, 2004. Google ScholarDigital Library
- R. Hamadi and B. Benatallah. A Petri net-based model for web service composition. In K.-D. Schewe and X. Zhou, editors, Fourteenth Australasian Database Conference (ADC2003), volume 17 of CRPIT, pages 191--200, Adelaide, Australia, 2003. ACS. Google ScholarDigital Library
- A. Mazurkiewicz. Trace theory. Number 255 in LNCS. Springer-Verlag, 1987.Google Scholar
- A. Mazurkiewicz. Introduction to trace theory. In V. Diekert and G. Rozenberg, editors, The Book of Traces. World Scientific, 1995.Google ScholarCross Ref
- H. R. M. Nezhad, R. Saint-Paul, B. Benatallah, F. Casati, J. Ponge, and F. Toumani. Servicemosaic: Interactive analysis and manipulation of service conversations. ICDE, pages 1497--1498, 2007.Google Scholar
- J. Pathak, S. Basu, R. Lutz, and V. Honavar. Moscoe: an approach for composing web services through iterative reformulation of functional specifications. International Journal on Artificial Intelligence Tools, pages 109--138, 2008.Google Scholar
- M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, and P. Traverso. Planning and monitoring web service composition. In AIMSA, pages 106--115, 2004.Google ScholarCross Ref
- M. Pistore, P. Traverso, P. Bertoli, and A. Marconi. Automated synthesis of composite bpel4ws web services. In ICWS, pages 293--301, 2005. Google ScholarDigital Library
- G. Salaün, L. Bordeaux, and M. Schaerf. Describing and reasoning on web services using process algebra. In Proceeding of the 2nd International Conference on Web Services, IEEE, 2004. Google ScholarDigital Library
- M. Solanki, A. Cau, and H. Zedan. Augmenting semantic web service descriptions with compositional specification. Proc. WWW, pp. 544--552. ACM, 2004. Google ScholarDigital Library
Index Terms
- PEWS platform: a web services composition environment
Recommendations
A programming environment for web services
SAC '08: Proceedings of the 2008 ACM symposium on Applied computingPEWS is a programming language for the definition of web service interfaces. PEWS programs can be used for the description of both simple and composite web services. Simple web services can be built from scratch, by the combination of (WSDL) operations. ...
Formal semantics and expressiveness of a web service composition language
SAC '13: Proceedings of the 28th Annual ACM Symposium on Applied ComputingWeb Services have become the standard for exposing services on the Internet. Since many operations require the collaboration between two or more services, the need to have languages to express Web Services compositions has emerged. In this paper, we ...
Composing Web Services with PEWS: A Trace-Theoretical Approach
ECOWS '06: Proceedings of the European Conference on Web ServicesPEWS^1 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 ...
Comments