Table of Contents Author Guidelines Submit a Manuscript
Scientific Programming
Volume 2018 (2018), Article ID 4094951, 20 pages
https://doi.org/10.1155/2018/4094951
Research Article

An Improved Abstract State Machine Based Choreography Specification and Execution Algorithm for Semantic Web Services

Eastern Mediterranean University, Famagusta, Northern Cyprus, Mersin 10, Turkey

Correspondence should be addressed to Shahin Mehdipour Ataee; moc.liamg@apm.nihahs

Received 13 June 2017; Revised 20 September 2017; Accepted 4 October 2017; Published 24 January 2018

Academic Editor: Mario Alviano

Copyright © 2018 Shahin Mehdipour Ataee and Zeki Bayram. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. A. Haller and J. Scicluna, “D13.9v0.1 WSMX Choreography,” WSMX Working, June 2005, http://www.wsmo.org/TR/d13/d13.9/v0.1/.
  2. J. Domingue, S. Galizia, and L. Cabral, “Choreography in IRS-III - Coping with heterogeneous interaction patterns in web services,” in The Semantic Web – ISWC 2005, vol. 3729, pp. 171–185, 2005. View at Publisher · View at Google Scholar · View at Scopus
  3. S. Galizia, M. Stollberg, E. Kilgarriff, and L. Henocque, “WP3: Service Ontologies and Service Description D3.5 An Ontology for Web Service Choreography, Data, Information and Process Integration with Semantic Web Services,” 2006.
  4. C. Peltz, “Web Service Orchestration and Choreography: A look at WSCI and BPEL4WS,” Web Search Journal 2nd Edition, 2003.
  5. A. Arkin, S. Askary, S. Fordin et al., “Web Service Choreography Interface (WSCI) 1.0,” August 2002, https://www.w3.org/TR/wsci/.
  6. N. Kavantzas, D. Burdett, and G. Ritzinger, “Web Services Choreography Description Language Version 1.0,” W3C, November 2005, http://www.w3.org/TR/ws-cdl-10/.
  7. G. Decker, O. Kopp, F. Leymann, K. Pfitzner, and M. Weske, “Modeling service choreographies using BPMN and BPEL4Chor,” in Advanced Information Systems Engineering, vol. 5074, pp. 79–93, Springer, Berlin, Germany, 2008. View at Publisher · View at Google Scholar · View at Scopus
  8. G. Decker, O. Kopp, F. Leymann, and M. Weske, “BPEL4Chor: extending BPEL for modeling choreographies,” in Proceedings of the IEEE International Conference on Web Services (ICWS '07), pp. 296–303, IEEE, Salt Lake City, Utah, USA, July 2007. View at Publisher · View at Google Scholar · View at Scopus
  9. J. M. Zaha, A. Barros, M. Dumas, and A. ter Hofstede, “Let’s Dance: A Language for Service Behavior Modeling,” in On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, vol. 4275 of Lecture Notes in Computer Science, pp. 145–162, Springer, Berlin, Germany, 2006. View at Publisher · View at Google Scholar
  10. A. Barker, C. D. Walton, and D. Robertson, “Choreographing web services,” IEEE Transactions on Services Computing, vol. 2, no. 2, pp. 152–166, 2009. View at Publisher · View at Google Scholar · View at Scopus
  11. L. Engler, BPELgold: Choreography on the Service Bus, Institute of Architecture of Application Systems, University of Stuttgart, 2009.
  12. S. Arroyo and A. Duke, “SOPHIE - A Conceptual Model for a Semantic Choreography Framework,” in Proceedings of the in In proceedings of the Workshop on Semantic and Dynamic Web Processes (SDWP), 2005.
  13. M. Stollberg, “Reasoning tasks and mediation on choreography and orchestration in WSMO,” in Proceedings of the WIW 2005 Workshop on WSMO Implementations, WIW 2005, June 2005. View at Scopus
  14. J. D. Bruijn, C. Bussler, J. Domingue, and D. Fensel, “Web Service Modeling Ontology (WSMO),” June 2005, http://www.w3.org/Submission/WSMO/.
  15. Y. Gurevich, “Evolving Algebras 1993: Lipari Guide,” in Specification and Validation Methods, pp. 9–36, Oxford University Press, 1993. View at Google Scholar
  16. Y. Gurevich, “Sequential abstract-state machines capture sequential algorithms,” ACM Transactions on Computational Logic, vol. 1, no. 1, pp. 77–111, 2000. View at Publisher · View at Google Scholar · View at MathSciNet
  17. M. Herold, WSMX Documentation, Digital Enterprise Research Institute, Galway, Ireland, 2008.
  18. S. M. Ataee and Z. Bayram, “A novel concise specification and efficient F-Logic based matching of semantic web services in Flora-2,” Lecture Notes in Electrical Engineering, vol. 355, pp. 191–198, 2015. View at Publisher · View at Google Scholar · View at Scopus
  19. M. Kifer and G. Lausen, “F-logic: a higher-order language for reasoning about objects, inheritance, and scheme,” in Proceedings of the ACM SIGMOD international conference, pp. 134–146, Portland, Ore, USA, 1989. View at Publisher · View at Google Scholar
  20. J. de Bruijn, H. Lausen, A. Polleres, and D. Fensel, “The Web Service Modeling Language WSML: An Overview,” in The Semantic Web: Research and Applications, vol. 4011 of Lecture Notes in Computer Science, pp. 590–604, Springer, Berlin, Germany, 2006. View at Publisher · View at Google Scholar
  21. E. Motta, “An Overview of the OCML Modelling Language,” in Proceedings of the In proceedings of the 8th Workshop on Knowledge Engineering Methods and Languages (KEML '98), 1998.
  22. M. Kifer, “Flora-2,” January 2017, https://sourceforge.net/projects/flora/files/FLORA-2/.
  23. Y. Guizhen, M. Kifer, and C. Zhao, “Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web,” in Proceedings of the in Second International Conference on Ontologies, Databases and Applications of Semantics (ODBASE, Catania, Italy, 2003.
  24. Y. Gurevich, “Abstract state machines: an overview of the project,” in Foundations of Information and Knowledge Systems, vol. 2942 of Lecture Notes in Computer Science, pp. 6–13, Springer, Berlin, Germany, 2004. View at Publisher · View at Google Scholar
  25. G. Flouris, D. Plexousakis, and G. Antoniou, “Evolving ontology evolution,” in SOFSEM 2006: Theory and Practice of Computer Science, vol. 3831, pp. 14–29, 2006. View at Publisher · View at Google Scholar · View at Scopus
  26. L. M. Garshol, “BNF and EBNF: What are they and how do they work,” acedida pela última vez em, vol. 16, 2003. View at Google Scholar
  27. S. Mehdipour and Z. Bayram, Choreography Engine Implementation in Flora-2, Eastern Mediterranean University, 2017, https://sourceforge.net/projects/vschore-semantic-choreography/.
  28. J. Belzer, A. G. Holzman, and A. Kent, Encyclopedia of computer science and technology. Vol. XXV, CRC Press, 1975. View at MathSciNet
  29. E. Börger and R. Stärk, Abstract State Machines, Springer, Berlin, Germany, 2003. View at Publisher · View at Google Scholar
  30. R. Zaharia, L. Vasiliu, and C. Bădică, “Semi-automatic Composition of Geospatial Web Services Using JBoss Rules,” in Rule Representation, Interchange and Reasoning on the Web, vol. 5321 of Lecture Notes in Computer Science, pp. 166–173, Springer, Berlin, Germany, 2008. View at Publisher · View at Google Scholar
  31. C. Wallace and J. K. Huggin, An Abstract State Machine Primer, Computer Science Department, Michigan Technological University, 2002.
  32. J. Huggins, Abstract State Machines, Department of Electrical Engineering and Computer Science, University of Michigan, 2013, http://wwweb.eecs.umich.edu/gasm/.
  33. T. E. O. E. Britannica, “predicate calculus,” July 1998, https://global.britannica.com/topic/predicate-calculus.
  34. M. Kifer, “Rules and Ontologies in F-Logic,” in Reasoning Web, vol. 3564 of Lecture Notes in Computer Science, pp. 22–34, Springer, Berlin, Germany, 2005. View at Publisher · View at Google Scholar
  35. M. Kifer, G. Lausen, and J. Wu, “Logical foundations of object-oriented and frame-based languages,” Journal of the ACM, vol. 42, no. 4, pp. 741–843, 1995. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  36. o. GmbH, How to write F – Logic - Programs, OntoBroker, Karlsruhe, Germany, 2007.
  37. M. Kifer and G. Lausen, “F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme,” in Proceedings of the SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data, Portland, Ore, USA.
  38. W. Chen, M. Kifer, and D. S. Warren, “HiLog: a foundation for higher-order logic programming,” Journal of Logic Programming, vol. 15, no. 3, pp. 187–230, 1993. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  39. W. Chen, M. Kifer, and D. S. Warren, “HiLog: a foundation for higher-order logic programming,” in Proceedings of the North American Conference on Logic Programming, 1989.
  40. A. J. Bonner and M. Kifer, “An overview of transaction logic,” Theoretical Computer Science, vol. 133, no. 2, pp. 205–265, 1994. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  41. “XSB,” Computer Science Department of Stony Brook University; Universidade Nova de Lisboa; XSB Inc.; Coherent Knowlege Systems, Inc., April 2015, http://xsb.sourceforge.net/.
  42. M. Kifer, “Flora-2 (a.k.a. Ergo Lite),” 2017, http://flora.sourceforge.net/.
  43. “Ergo Suite Platform,” Coherent Knowledge Systems, August 2015, http://coherentknowledge.com/product-overview-ergo-suite-platform/.
  44. “A Guide to FLORA-2 Packages Version 1.0 (Cherimoya),” 2014.
  45. M. Kifer, G. Yang, H. Wan, and C. Zhao, Flora-2: User's Manual (Version 1.0), Department of Computer Science, Stony Brook University, New York, NY, USA, 2014.
  46. U. Nilsson and J. Maluszynski, Logic, Programming and Prolog, John Wiley & Sons, 2nd edition, 2000.
  47. D. Roman, J. Scicluna, and C. Feier, “D14v0.1. Ontology-based Choreography and Orchestration of WSMO Services,” WSMO Working Draft, March 2005, http://www.wsmo.org/TR/d14/v0.1/.
  48. D. Fensel, H. Lausen, and J. D. Bruijn, “Introduction to WSMO,” in Enabling Semantic Web Services, pp. 57–61, Springer, Berlin, Germany, 2007. View at Google Scholar
  49. D. Roman, J. Scicluna, and J. Nitzsche, “D14v0.4. Ontology-based Choreography,” Working Draft, Feburary 2007, http://www.wsmo.org/TR/d14/v0.4/.
  50. R. F. Stärk, J. Schmid, and E. Börger, “Abstract state machines,” in Java and the Java Virtual Machine Definition, Verification, Validation, pp. 15–26, Springer, Berlin, Germany, 2001. View at Publisher · View at Google Scholar
  51. J. H. Gallier, Logic for Computer Science: Foundations of Automatic Theorem Proving, Harper & Row, New York, NY, USA, 2nd edition, 2015.
  52. http://www.wsmo.org/2004/d3/d3.3/v0.1/.
  53. D. Fensel, M. Kerrigan, and M. Zaremba, “Semantic Web Services,” in Implementing Semantic Web Services: The SESA Framework, pp. 27–41, Springer Science & Business Media, Berlin, Germany, 2008. View at Google Scholar
  54. D. Martin, M. Burstein, and J. Hobbs, “OWL-S: Semantic Markup for Web Services,” W3C, 22 November 2004, http://www.w3.org/Submission/OWL-S/.
  55. A. Haller, E. Cimpian, A. Mocan, E. Oren, and C. Bussler, “WSMX - A semantic service-oriented architecture,” in Proceedings of the 2005 IEEE International Conference on Web Services, ICWS 2005, pp. 321–328, July 2005. View at Publisher · View at Google Scholar · View at Scopus
  56. “WSMO Studio,” December 2008, http://www.wsmostudio.org/.
  57. DERI, “WSMO4J,” Innsbruck, The Semantic Technology Institute (STI), September 2008, http://www.sti-innsbruck.at/results/tools/downloads/wsmo4j.
  58. L. Cabral, J. Domingue, S. Galizia et al., “IRS-III: a broker for semantic web services based applications,” in The Semantic Web - ISWC 2006, vol. 4273 of Lecture Notes in Computer Science, pp. 201–214, Springer, Berlin, Germany, 2006. View at Publisher · View at Google Scholar
  59. “OWL for Services (OWL-S) - Tools,” 2017, http://www.ai.sri.com/daml/services/owl-s/tools.html.
  60. R. Lara, A. Polleres, H. Lausen, D. Roman, J. D. Bruijn, and D. Fensel, “A Conceptual Comparison between WSMO and OWL-S,” WSMO Working Draft, 2005.
  61. J. d. Bruijn, C. Feier, U. Keller, and R. Lara, “D16.2 v0.2 WSML Reasoning Implementation,” WSML Working Draft, 2005.
  62. B. Bishop, F. Fischer, U. Keller, N. Steinmetz, C. Fuchs, and M. Pressnig, “WSML2Reasoner,” 2008, http://tools.sti-innsbruck.at/wsml2reasoner/.
  63. “KAON2,” 2017, http://kaon2.semanticweb.org/.
  64. “Web Services Execution Environment,” 2009, https://sourceforge.net/projects/wsmx/.
  65. DERI and STI2, “WSMO Publications,” Web Service Modelling eXecution environment, 2017, http://www.wsmx.org/publications.html.
  66. J. Domingue, L. Cabral, F. Hakimpour, D. Sell, and E. Motta, “Demo of IRS-III: A Platform and Infrastructure for Creating WSMO-based Semantic Web Services,” in Proceedings of the 3rd International Semantic Web Conference (ISWC2004), Hiroshima, japan, 2004.
  67. T. C. L. Foundation, “Common Lisp,” March 2015, https://common-lisp.net/.
  68. D. Roman, M. Kifer, and D. Fensel, “WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic,” in Proceedings of the The Semantic Web: Research and Applications: 5th European Semantic Web Conference, ESWC 2008, Tenerife, Spain, 2008.
  69. D. Roman and M. Kifer, “Reasoning about the behavior of Semantic Web services with concurrent transaction logic,” in Proceedings of the 33rd International Conference on Very Large Data Bases, VLDB 2007, pp. 627–638, Vienna, Austria, September 2007. View at Scopus
  70. A. J. Bonner and M. Kifer, “Concurrency and Communication in Transaction Logic,” in Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP '96), 1996. View at MathSciNet
  71. A. Bonner and M. Kifer, Concurrent Transaction Logic Prototype, University of Toronto, 2017, http://www.cs.toronto.edu/.
  72. S. Ponnekanti and A. Fox, “SWORD: A developer toolkit for web service composition,” in Proceedings of the 11th International WWW Conference (WWW), Honolulu, Hawaii, USA, 2002.