research-article

PEWS platform: a web services composition environment

Authors:

Mírian Halfeld Ferrari,

Martin A. MusicanteAuthors Info & Claims

WEWST '11: Proceedings of the 6th International Workshop on Enhanced Web Service Technologies

Pages 1 - 8

https://doi.org/10.1145/2031325.2031326

Published: 14 September 2011 Publication History

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

References

[1]

L. D. Alfaro and T. A. Henzinger. Interface automata. Proceedings of the 9th Annual ACM Symposium on Foundations of Software Engineering (FSE), 2001.

Digital Library

[2]

S. Andler. Predicate path expressions. In Sixth Annual ACM Symposium on Principles of Programming Languages (6th POPL'79), 1979.

Digital Library

[3]

Ariba Inc., IBM Corp., and Microsoft Corp. Universal description, discovery, and integration (UDDI). Technical white paper, uddi.org, September 2000.

[4]

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.

[5]

C. Ba and M. Halfeld Ferrari. Dependence graphs for verifications of web service compositions with pews. In SAC, pages 2387--2391, 2008.

Digital Library

[6]

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.

[7]

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.

Digital Library

[8]

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.

[9]

D. Beyer, A. Chakrabarti, and T. A. Henzinger. Web service interfaces. International World Wide Web Conference Committe (IW3C2), 2005.

Digital Library

[10]

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.

[11]

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.

Digital Library

[12]

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.

[13]

I. Constantinescu, B. Faltings, and W. Binder. Large scale, type-compatible service composition. In ICWS, pages 506--513, 2004.

Digital Library

[14]

X. Fu, T. Bultan, and J. Su. Realizability of conversation protocols with message contents. Proc. ICWS, pp. 96--103. IEEE, 2004.

Digital Library

[15]

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.

Digital Library

[16]

A. Mazurkiewicz. Trace theory. Number 255 in LNCS. Springer-Verlag, 1987.

[17]

A. Mazurkiewicz. Introduction to trace theory. In V. Diekert and G. Rozenberg, editors, The Book of Traces. World Scientific, 1995.

[18]

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.

[19]

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.

[20]

M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, and P. Traverso. Planning and monitoring web service composition. In AIMSA, pages 106--115, 2004.

[21]

M. Pistore, P. Traverso, P. Bertoli, and A. Marconi. Automated synthesis of composite bpel4ws web services. In ICWS, pages 293--301, 2005.

Digital Library

[22]

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.

Digital Library

[23]

M. Solanki, A. Cau, and H. Zedan. Augmenting semantic web service descriptions with compositional specification. Proc. WWW, pp. 544--552. ACM, 2004.

Digital Library

Cited By

Boukhadra ABenatchba KBalla A(2015)Towards Efficient and Effective Distributed Discovery of SWs in P2P Overlay NetworksProceedings of the 2015 10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC)10.1109/3PGCIC.2015.130(77-84)Online publication date: 4-Nov-2015
https://dl.acm.org/doi/10.1109/3PGCIC.2015.130
Boukhadra ABenatchba KBalla A(2015)Efficient distributed discovery and composition of OWL-S process model in P2P systemsJournal of Ambient Intelligence and Humanized Computing10.1007/s12652-015-0313-87:2(187-203)Online publication date: 9-Aug-2015
https://doi.org/10.1007/s12652-015-0313-8
Boukhadra ABenatchba KBalla A(2014)Ranked Matching of OWL-S Process Model for Distributed Discovery of SWs in P2P SystemsProceedings of the 2014 17th International Conference on Network-Based Information Systems10.1109/NBiS.2014.67(106-113)Online publication date: 10-Sep-2014
https://dl.acm.org/doi/10.1109/NBiS.2014.67
Show More Cited By

Index Terms

PEWS platform: a web services composition environment
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
    2. Development frameworks and environments
  2. Software organization and properties
    1. Extra-functional properties
      1. Interoperability

Recommendations

A programming environment for web services
SAC '08: Proceedings of the 2008 ACM symposium on Applied computing

PEWS 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 Computing

Web 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 Services

PEWS^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

Information & Contributors

Information

Published In

cover image ACM Other conferences

WEWST '11: Proceedings of the 6th International Workshop on Enhanced Web Service Technologies

September 2011

37 pages

ISBN:9781450307482

DOI:10.1145/2031325

Copyright © 2011 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 September 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

WEWST '11

WEWST '11: 6th Workshop on Enhanced Web Service Technologies

September 14, 2011

Lugano, Switzerland

Acceptance Rates

Overall Acceptance Rate 5 of 13 submissions, 38%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
117
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Boukhadra ABenatchba KBalla A(2015)Towards Efficient and Effective Distributed Discovery of SWs in P2P Overlay NetworksProceedings of the 2015 10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC)10.1109/3PGCIC.2015.130(77-84)Online publication date: 4-Nov-2015
https://dl.acm.org/doi/10.1109/3PGCIC.2015.130
Boukhadra ABenatchba KBalla A(2015)Efficient distributed discovery and composition of OWL-S process model in P2P systemsJournal of Ambient Intelligence and Humanized Computing10.1007/s12652-015-0313-87:2(187-203)Online publication date: 9-Aug-2015
https://doi.org/10.1007/s12652-015-0313-8
Boukhadra ABenatchba KBalla A(2014)Ranked Matching of OWL-S Process Model for Distributed Discovery of SWs in P2P SystemsProceedings of the 2014 17th International Conference on Network-Based Information Systems10.1109/NBiS.2014.67(106-113)Online publication date: 10-Sep-2014
https://dl.acm.org/doi/10.1109/NBiS.2014.67
Boukhadra ABenatchba KBalla A(2014)Hybrid Ontology-Based Matching for Distributed Discovery of SWS in P2P SystemsProceedings of the 2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS)10.1109/HPCC.2014.156(896-903)Online publication date: 20-Aug-2014
https://dl.acm.org/doi/10.1109/HPCC.2014.156
Boukhadra ABenatchba KBalla A(2013)DA5DCSWS: A Distributed Architecture for semantic Web services Discovery and Composition8th International Conference for Internet Technology and Secured Transactions (ICITST-2013)10.1109/ICITST.2013.6750188(182-187)Online publication date: Dec-2013
https://doi.org/10.1109/ICITST.2013.6750188
Boukhadra ABenatchba KBalla A(2013)HPS5DSWSProceedings of the 2013 Eighth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing10.1109/3PGCIC.2013.12(29-36)Online publication date: 28-Oct-2013
https://dl.acm.org/doi/10.1109/3PGCIC.2013.12

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents