CFP last date
20 December 2024
Call for Paper
January Edition
IJCA solicits high quality original research papers for the upcoming January edition of the journal. The last date of research paper submission is 20 December 2024

Submit your paper
Know more
The week's pick
Responsive image
Improved Shuffled Frog Leaping Algorithm with Self-Adaptive Shuffling for Fuzzy Logic PD+G Controller Optimization in Robotic Manipulators

Duc Hoang Nguyen
Random Articles
Reseach Article

A Semantic Framework for Analyzing Web Services Composition

by F. Belala, F. Latreche
journal cover thumbnail

International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 5 - Number 4
Year of Publication: 2010
Authors: F. Belala, F. Latreche
10.5120/902-1278

F. Belala, F. Latreche . A Semantic Framework for Analyzing Web Services Composition. International Journal of Computer Applications. 5, 4 ( August 2010), 47-53. DOI=10.5120/902-1278

@article{ 10.5120/902-1278,
author = { F. Belala, F. Latreche },
title = { A Semantic Framework for Analyzing Web Services Composition },
journal = { International Journal of Computer Applications },
issue_date = { August 2010 },
volume = { 5 },
number = { 4 },
month = { August },
year = { 2010 },
issn = { 0975-8887 },
pages = { 47-53 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume5/number4/902-1278/ },
doi = { 10.5120/902-1278 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T19:53:27.871308+05:30
%A F. Belala
%A F. Latreche
%T A Semantic Framework for Analyzing Web Services Composition
%J International Journal of Computer Applications
%@ 0975-8887
%V 5
%N 4
%P 47-53
%D 2010
%I Foundation of Computer Science (FCS), NY, USA
Abstract

Service oriented architecture (SOA) is an emergent paradigm that aims at building applications and components by assembling existing ones. Several works on composition aspects have been proposed by researchers and industrial practitioners. The overall observation about these works is that they only provide means for service composition and invocation; but, they offer little support for analysis, and formal checking of composite Web services.

References
  1. Web Service Conversation Language (WSCL) 1.0. http://www.w3.org/TR/2002/NOTE-wscl10-20020314/.
  2. Business Process Modeling Language (BPML). http://www.bpmi.org.
  3. Satish,T. XLANG.2001. Web services for business process design. www.gotdotnet.com/team/xml-wsspecs/xlang-c/default.htm.
  4. Leymann, F. 2001. Web Services Flow Language (WSFL) 1.1. In http:/www.w3.org/TR/wsfl/.
  5. Business Process Execution Language for Web Services (Version 1.0). 2002. http://www.ibm.com/developerworks/library/ws-bpel.
  6. Nickolas, K. David, B. Gregory, R. Tony , F and Yves, L . 2004. Web services choreography description language version 1.0 - w3c working draft 17 december 2004.
  7. Assaf , A. Web Service Choreography Interface (WSCI) 1.0. In http:/www.w3.org/TR/wsci/.
  8. Bucchiarone, A. Melgratti, H. and Severoni, F. 2007. Testing service composition. In: Proceedings of the 8th Argentine Symposium on Software Engineering (ASSE 2007).
  9. Hai, H. Rick A. M. 2006. Model Checking Technologies for Web Services. Proceedings of the Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems and Second International Workshop on Collaborative Computing, Integration, and Assurance (SEUS-WCCIA’06). IEEE.
  10. Nakajima, S. 2002. Model-checking verification for reliable Web service. In OOP-SLA 2002 Workshop on Object-Oriented Web Services, Seattle, Washington.
  11. Tevfik, B. Xiang, F. and Jianwen, S. 2006. Analyzing conversations of Web services. IEEE Internet Computing, 10(1):18–25.
  12. Roberto, L. and Manuel, M. 2007. A pi-calculus based semantics for WS-BPEL.J. Log. Algebr. Program., 70(1):96–118.
  13. Ferrara, A. 2004. Web services: a process algebra approach. In ICSOC ’04: Proceedings of the 2nd international conference on Service oriented computing, pages 242–251, New York, NY, USA. ACM Press.
  14. Foster, H. Uchitel, S. Magee, J. and Kramer, J. 2003. Model-based Verification of Web Service Composition, Proc. 18th IEEE International Conference on Automated Software Engineering (ASE’03), Montreal, Canada , pp. 152-163.
  15. Meseguer, J. 1992. Conditional Rewriting as a Unified Model of Concurrency, Theoretical Computer Science 96, pp. 73-155.
  16. Clavel, M. Durán, F. Eker, S. Lincoln, P. Martí-Oliet, N. Meseguer, J. Talcott, C. 2007. All about Maude: A High-Performance Logical Framework, Lecture Notes in Comput. Sci., vol. 4350, Springer.
  17. Clavel M., Duran F., Eker S., Martı-Oliet N., Lincoln P., Meseguer J., and Quesada J. 1999 “Maude: Specification and Programming in Rewriting Logic”, SRI International Lab., http://maude.csl.sri.com.
  18. Benammar M., Belala F., Barkaoui K., Benlahrache N. 2009. “Extension d’ABAReL par les Propriétés d’Exécution”, CAL’09, 3ième Conférence Francophone Sur les Architectures Logicielles, Cépaduès-Editions, RNTI L-4, pp.45-58, Nancy 24-25 Mars 2009,
  19. Belala F., Latreche F., Benammar M. 2008. “Vers l’Intégration des Propriétés non Fonctionnelles dans le Langage SADL”. 2ième Conférence Francophone Sur les Architectures Logicielles CFP-CAL’08, RNTI, pp.91-105, Montréal, Canada.
Index Terms

Computer Science
Information Sciences

Keywords

Web Services Rewriting Logic Behavioral Checking

Powered by PhDFocusTM