skip to main content
10.1145/1363686.1364249acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
research-article

A programming environment for web services

Published: 16 March 2008 Publication History

Abstract

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. Each operation must be implemented as a Java method. Composite web services are constructed from the combination of existing web services, accessed by using their WSDL descriptions. PEWS combinators help to define the order in which web services and operations will be performed. PEWS has a human-readable syntax as well as a XML version, called XPEWS. The human-readable language is intended to help in the design of web services and in the formal reasoning about programs. XPEWS is used as an interface language between the front-end and back-end of the PEWS language processor.
This paper presents the development of a computational environment for PEWS. The front-end of the environment is an Eclipse plug-in. The use of the front-end can help reducing the time for development of the compositions, by the verification of codification errors and the generation XPEWS documents. The back-end of PEWS is responsible for the implementation of the web services described in a XPEWS document. The back-end produces Java™ code (skeletons) to call the web service operations and performs them in the order defined by the XPEWS document.

References

[1]
S. Andler. Predicate path expressions. In Sixth Annual ACM Symposium on Principles of Programming Languages (6th POPL '79), 1979.
[2]
T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weeranwarana. Bussiness process execution language for web services. http://www-128.ibm.com/developerworks/library/specification/ws-bpel/, 2003.
[3]
C. Ba, M. Carrero, M. H. Ferrari, and M. Musicante. Pews: A new language for building web service interfaces. Journal of Universal Computer Science (JUCS), 11(7):1215--1233, 2005.
[4]
C. Ba and M. Halfeld-Ferrari. Dependence graphs for verifications of web service compositions with pews. In Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), March 2008.
[5]
C. Ba, M. Halfeld-Ferrari, and M. A. Musicante. Composing web services with pews: a trace-theoretical approach. In I. C. Society, editor, The 4th IEEE European Conference on Web Services, volume 1, Zirich, Swizerland, dec 2006. IEEE Computer Society.
[6]
D. Berardi, F. de Rosa, L. de Santis, and M. Mecella. Finite state automata as conceptual model for e-services. In Integrated Design and Process Technology (IDPT), 2003.
[7]
G. Castagna, N. Gesbert, and L. Padovani. A theory of contracts for web services. In PLAN-X 2007, Programming Language Technologies for XML, pages 37--48, 2007.
[8]
F. Curbera, M. Duftler, R. Khalaf, W. Nagy, N. Mukhi, and S. Weerawarana. Unraveling the web services web: An introduction to SOAP, WSDL, and UDDI. IEEE Internet Computing, march-april 2002.
[9]
ebXML Team. ebxml requirements specification, version 1.06. http://www.ebxml.org/specs/ebREQ.pdf, May 2001.
[10]
T. A. S. Foundation. Web services project@apache. http://ws.apache.org/.
[11]
C. A. R. Hoare. Communicating sequential processes. Commun. ACM, 21(8):666--677, 1978.
[12]
R. Hull, M. Benedikt, V. Christophides, and J. Su. E-services: a look behind the curtain. In Proceedings of the 22nd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pages 1--14. ACM Press, 2003.
[13]
Intalio and BPMI.org. Bussiness process modeling language. http://www.bpmi.org/bpmi-downloads/BPML-SPEC-1.0.zip, 2002.
[14]
F. Leyman. Web services flow language (wsfl) 1.0. http://www-3.ibm.com/software/solutions/webservices/pdf/WSFL.pdf/, 2001.
[15]
M. Musicante and E. Potrich. Expressing workflow patterns for web services: The case of pews. 12(7):903--921, September 2006.
[16]
N. C. Schaller, G. H. Hilderink, and P. H. Welch. Using Java for parallel computing - jcsp versus ctj. In P. H. Welch and A. W. P. Bakkers, editors, Communicating Process Architectures 2000, pages 205--226, 2000.
[17]
I. Sun Microsystems. Java compiler compiler#8482;, 2005.
[18]
S. Thatte. XLANG: Web services for business process design. http://www.gotdotnet.com/team/xml.wsspecs/xlang-c/default.htm, 2001.
[19]
W. M. P. van der Aalst. Don't go with the flow: Web services compositions standards exposed. Issue of IEEE Inteligent System, Jan/Feb 2003.
[20]
W3C. Document Object Model (DOM) Level 2 Core Specification, 13 nov. 2000.
[21]
P. H. Welch and P. D. Austin. The communicating sequential processes for java (jcsp) home page. http://www.cs.kent.ac.uk/projects/ofa/jcsp/.
[22]
P. Wohed, W. M. van der Aalst, M. Dumas, and A. H. ter Hofstede. Analysis of web services composition languages: The case of BPEL4WS. In Proceedings of the 22nd International Conference on Conceptual Modeling (ER), Chicago IL, USA, October 2003. "citeseer.ist.psu.edu/659670.html".

Cited By

View all
  • (2013)Formal semantics and expressiveness of a web service composition languageProceedings of the 28th Annual ACM Symposium on Applied Computing10.1145/2480362.2480676(1667-1673)Online publication date: 18-Mar-2013

Index Terms

  1. A programming environment for web services

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    SAC '08: Proceedings of the 2008 ACM symposium on Applied computing
    March 2008
    2586 pages
    ISBN:9781595937537
    DOI:10.1145/1363686
    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]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 16 March 2008

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. PEWS
    2. back-end
    3. front-end

    Qualifiers

    • Research-article

    Conference

    SAC '08
    Sponsor:
    SAC '08: The 2008 ACM Symposium on Applied Computing
    March 16 - 20, 2008
    Fortaleza, Ceara, Brazil

    Acceptance Rates

    Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

    Upcoming Conference

    SAC '25
    The 40th ACM/SIGAPP Symposium on Applied Computing
    March 31 - April 4, 2025
    Catania , Italy

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)1
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 09 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2013)Formal semantics and expressiveness of a web service composition languageProceedings of the 28th Annual ACM Symposium on Applied Computing10.1145/2480362.2480676(1667-1673)Online publication date: 18-Mar-2013

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media