skip to main content
10.1145/1096967.1096977acmconferencesArticle/Chapter ViewAbstractPublication PagescikmConference Proceedingsconference-collections
Article

Verifying web services composition based on hierarchical colored petri nets

Published: 04 November 2005 Publication History

Abstract

Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However, such proposals remain at the descriptive level, without providing any kind of mechanisms or tool support for verifying the composition specified in the proposed notations. In this paper, we present to verify Web services composition by using CP-nets. CP-nets combine the strengths of Petri nets with the expressive power of high-level programming and have sound mathematical semantics. These services composition proposals can be transformed by transformation rules into CP-nets, which can be used to analyze the performance and to investigate behavioral properties such as deadlock or livelock by CP-nets tools.

References

[1]
K. Jensen, "Colored Petri Nets Basic Concepts, Analysis Methods and Practical Use", Volume 1, 2 and 3, second edition, 1996.]]
[2]
D. Varró, A. Pataricza, "Automated Formal Verification of Model Transformations", Proceeding of CSDUML 2003: Workshop on Critical Systems Development with UML, October 2003, Technische Universitat Munchen, pp. 63--78.]]
[3]
S. Nakajima, "Verification of Web service flows with model-checking techniques," presented at First International Symposium on Cyber Worlds, 2002.]]
[4]
C. Karamanolis, D. Giannakopoulou, J. Magee, and S.M. Wheater. "Model checking of workflow schemas". In Proceedings of the 4th International Enterprise Distributed Object Computing Conference, pages 170--179, Makuhari, Japan, September 2000. IEEE.]]
[5]
H. Foster, S. Uchitel, J. Magee, and J. Kramer, "Model-based verification of web service composition," presented at Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on, 2003.]]
[6]
J. Koehler, G. Tirenni, and S. Kumaran. "From business process model to consistent implementation: a case study for formal verification methods", the 6th International Enterprise Distributed Object Computing Conference (EDOC02), Lausanne, September 2002. IEEE CS, pages 96--106.]]
[7]
M. Koshkina. "Verification of business processes for web services". Master's thesis, York University, 2003.]]
[8]
M. Schroeder. Verification of business processes for a correspondence handling center using CCS. In A.I. Vermesan and F. Coenen, editors, Proceedings of European Symposium on Validation and Verification of Knowledge Based Systems and Components, pages 1--15, Oslo, June 1999. Kluwer.]]
[9]
W.M.P. van der Aalst. "Verification of workflow nets". In P. Azema and G. Balbo, editors, Proceedings of the 18th International Conference on Applications and Theory in Petri Nets, volume 1248 of Lecture Notes in Computer Science, pages 407--426, Toulouse, June 1997. Springer-Verlag.]]
[10]
A. Martens. "Distributed Business Processes -- Modeling and Verification by help of Web Services". PhD thesis, Humboldt-Universität zu Berlin, July 2003. Available at www.informatik.hu-berlin.de/top/download/documents/pdf/Mar03.pdf.]]
[11]
S. Narayanan and S. McIlraith, "Analysis and simulation of Web services," Computer Networks, vol. 42, pp. 675--693, 2003.]]
[12]
Christian Stahl. "Transformation von BPEL4WS in Petrinetze". Diplomarbeit, Humboldt-Universitüat zu Berlin, April 2004.]]
[13]
Adam, N., Alturi, V. & Huang, W.-K. (1998), "Modeling and Analysing of Workflows Using Petri Nets", Journal of Intelligent Information Systems 10(2), 131--158.]]
[14]
Y. Yang, Q. Tan, J. Yu, F. Liu, " Transformation BPEL to CP-Nets for Verifying Web services Composition", the International Conference on Next generation Web services Practices (NWeSP'05), IEEE Computer Society, Seoul, Korea, August 2005.]]
[15]
Y. Yang, Q. Tan, Y. Xiao, Verifying Web Services Composition, eCOMO workshop of the 24th International Conference on Conceptual Modeling (ER2005), Klagenfurt, Austria, October 2005, LNCS, Springer-Verlag. Page 358.]]
[16]
F. Leymann etc. Web Services Flow language. Available at http://www.ibm.com/software/solutions/webservices/pdf/ http://www.ibm.com/software/solutions/webservices/pdf/WSFL.pdf, May 2001.]]
[17]
T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S.Weerawarana. Business Process Execution Language for Web Services (BPEL4WS) version 1.1, May 2003.]]
[18]
Web Services Composition Interface 1.0, Available at http://ifr.sap.com/wsci/specification/wsci-spec-10.htm]]
[19]
R. J. Miller, Y. E. Ioannidis, and R.Ramakrishnan, "The Use of Information Capacity in Schema Integration and Translation," Proceedings of the 19th VLDB Conference, 1993.]]
[20]
M. Mecella, B. Pernici, and P. Craca, "Compatibility of Web services in a Cooperative Multi-Platform Environment", in Proceedings of VLDB-TES 2001, Rome, Italy, 2001.]]
[21]
Karsten Schmidt. Lola --- a low level analyser. In Nielsen, M. and Simpson, D., editors, International Conference on Application and Theory of Petri Nets, LNCS 1825, page 465. Springer-Verlag, 2000.]]

Cited By

View all
  • (2023)Communication Layer Architecture for a Production Line Digital Twin Using Hierarchical Colored Petri NetsDesigning Modern Embedded Systems: Software, Hardware, and Applications10.1007/978-3-031-34214-1_4(41-50)Online publication date: 11-Jun-2023
  • (2021)Modeling an Intelligent Solar Power Plant Control System Using Colored Petri Nets2021 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)10.1109/IDAACS53288.2021.9660860(626-631)Online publication date: 22-Sep-2021
  • (2020)Approach for Modeling Search Web-Services Based on Color Petri NetsData Stream Mining & Processing10.1007/978-3-030-61656-4_35(525-538)Online publication date: 5-Nov-2020
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
IHIS '05: Proceedings of the first international workshop on Interoperability of heterogeneous information systems
November 2005
90 pages
ISBN:1595931848
DOI:10.1145/1096967
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: 04 November 2005

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. CP-net
  2. composition
  3. transformation
  4. verification
  5. web service

Qualifiers

  • Article

Conference

CIKM05
Sponsor:

Upcoming Conference

CIKM '25

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

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

Other Metrics

Citations

Cited By

View all
  • (2023)Communication Layer Architecture for a Production Line Digital Twin Using Hierarchical Colored Petri NetsDesigning Modern Embedded Systems: Software, Hardware, and Applications10.1007/978-3-031-34214-1_4(41-50)Online publication date: 11-Jun-2023
  • (2021)Modeling an Intelligent Solar Power Plant Control System Using Colored Petri Nets2021 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)10.1109/IDAACS53288.2021.9660860(626-631)Online publication date: 22-Sep-2021
  • (2020)Approach for Modeling Search Web-Services Based on Color Petri NetsData Stream Mining & Processing10.1007/978-3-030-61656-4_35(525-538)Online publication date: 5-Nov-2020
  • (2019)Web Service Interaction Modeling with Colored Petri Nets2019 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)10.1109/IDAACS.2019.8924400(319-323)Online publication date: Sep-2019
  • (2019)Associative composition of components with double-sided interfacesActa Informatica10.1007/s00236-018-0328-756:3(229-253)Online publication date: 1-Apr-2019
  • (2019)Behavioral Analysis of Service Composition Patterns in ECBS Using Petri-Net-Based ApproachAdvanced Computing and Systems for Security10.1007/978-981-13-8962-7_5(53-66)Online publication date: 15-Aug-2019
  • (2018)Colored Petri Nets Based Fault Diagnosis in Service Oriented ArchitectureInternational Journal of Web Services Research10.4018/IJWSR.201810010115:4(1-28)Online publication date: Oct-2018
  • (2018)Dependency-based fault diagnosis approach for SOA-based systems using Colored Petri NetsJournal of King Saud University - Computer and Information Sciences10.1016/j.jksuci.2018.12.002Online publication date: Dec-2018
  • (2018)Service Modelling and Verification: A Formal ApproachWebservices10.1007/978-981-13-3224-1_1(1-23)Online publication date: 1-Dec-2018
  • (2018)Deadlock-Freeness Verification of Cloud Composite Services Using Event-BOn the Move to Meaningful Internet Systems. OTM 2018 Conferences10.1007/978-3-030-02610-3_34(604-622)Online publication date: 18-Oct-2018
  • Show More Cited By

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