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

Dependence graphs for verifications of web service compositions with PEWS

Published: 16 March 2008 Publication History

Abstract

PEWS is an interface description language for both individual and composed web services. We propose an approach for verifying PEWS compositions which exploits dependence graphs (equivalent to trace systems). The introduction of a synchronization based on dependence graphs allows more efficient algorithms for testing composition properties.

References

[1]
Sten Andler. Predicate path expressions. In Sixth Annual ACM Symposium on Principles of Programming Languages (6th POPL '79), pages 226--236, 1979.
[2]
C. Ba, M. Carrero, M. Halfeld Ferrari, and M. Musicante. PEWS: A new language for building web service interfaces. Journal of Universal Computer Science, 11(7):1215--1233, July 2005. http://www.jucs.org/jucs_11_7/pews_a_new_language.
[3]
Cheikh Ba, Mirian Halfeld Ferrari, and Martin A. Musicante. Composing web services with PEWS: A trace-theoretical approach. In IEEE European Conference on Web Services (ECOWS), pages 65--74, 2006.
[4]
Boualem Benatallah, Fabio Casati, Julien Ponge, and Farouk Toumani. Compatibility and replaceability analysis for timed web services protocols. Bases de données avancées (BDA), 2005.
[5]
Dirk Beyer, Arindam Chakrabarti, and Thomas A. Henzinger. Web service interfaces. International World Wide Web Conference Committe (IW3C2), 2005.
[6]
Luca de Alfaro and Thomas A. Henzinger. Interface automata. In ESEC / SIGSOFT FSE, pages 109--120, 2001.
[7]
Hendrik Jan Hoogeboom and Grzegorz Rozenberg. Dependence graphs. In Volker Diekert and Grzegorz Rozenberg, editors, The Book of Traces. World Scientific, 1995.
[8]
Antoni Mazurkiewicz. Trace theory. Number 255 in Lecture Notes in Computer Science (LNCS). Springer-Verlag, 1987.

Cited By

View all
  • (2011)PEWS platformProceedings of the 6th International Workshop on Enhanced Web Service Technologies10.1145/2031325.2031326(1-8)Online publication date: 14-Sep-2011
  • (2008)A programming environment for web servicesProceedings of the 2008 ACM symposium on Applied computing10.1145/1363686.1364249(2363-2367)Online publication date: 16-Mar-2008

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. dependence graphs
  2. trace theory
  3. web service composition

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)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 14 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2011)PEWS platformProceedings of the 6th International Workshop on Enhanced Web Service Technologies10.1145/2031325.2031326(1-8)Online publication date: 14-Sep-2011
  • (2008)A programming environment for web servicesProceedings of the 2008 ACM symposium on Applied computing10.1145/1363686.1364249(2363-2367)Online publication date: 16-Mar-2008

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