A formal model of semantic web service ontology (WSMO) execution

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2008, Pages 111-120

  Wang, Hai H ^a   Gibbins, Nick ^a   Payne, Terry ^a   Saleh, Ahmed ^a   Sun, Jun ^b  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

^b NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; ONTOLOGY; SOFTWARE ENGINEERING; WEB SERVICES;

FORMAL UNAMBIGUOUS SPECIFICATION; WEB SERVICE MODELLING ONTOLOGY (WSMO);

SEMANTIC WEB;

EID: 44149086439     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2008.25     Document Type: Conference Paper

References (23)

1. A. Ankolekar, M. Burstein, J. Hobbs, O. Lassila, D. McDermott, D. Martin, S. Mcllraith, S. Narayanan, M. Paolucci, T. Payne, and K. Sycara. DAML-S: Web Service Description for the Semantic Web. In First International Semantic Web Conference (ISWC) Proceedings, pages 348-363, 2002.
2. J. Bruljn, H. Lausen, A. Polleres, and D. Fensel. The web service modelling language wsml: An overview. In Proceedings of the 3rd European Semantic Web Conference, pages 590-604, Budva, Montegegro, June 2006. Springer-Verlag.
3. R. Chinnici, J. J. Moreau, A. Ryman, and S. Weerawarana. Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language. http://www.w3.org/TR/wsdl20/wsdl20-z.html, 2006.
4. J. S. Dong and R. Duke. Class Union and Polymorphism. In C. Mingins, W. Haebich, J. Potter, and B. Meyer, editors, Proc. 12th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS 12, pages 181-190. Prentice-Hall, November 1993.
5. J. S. Dong, C. H. Lee, Y. F. Li, and H. Wang. A combined approach to checking web ontologies. In The 13th ACM International World Wide Web Conference (WWW'04), pages 714-722. ACM Press, May 2004.
6. J. S. Dong, C. H. Lee, Y. F. Li, and H. Wang. Verifying DAML+OIL and Beyond in Z/EVES. In Proc. The 26th International Conference on Software Engineering (ICSE'04), pages 201-210, Edinburgh, Scotland, May 2004.
7. J. S. Dong, J. Sun, and H. Wang. Checking and Reasoning about Semantic Web through Alloy. In 12th Intemation Symposium on Formal Methods Europe (FM'03). Springer-Verlag, September 2003.
8. R. Duke and G. Rose. Formal Object Oriented Specification Using Object-Z. Cornerstones of Computing. Macmillan, March 2000.
9. Dieter Fensel and E. Motta. Structured development of problem solving methods. In Proceedings of the 11th Workshop on Knowledge Acquisition, Modeling, and Management (KAW '98), Banff, Canada, APR 1998.
10. Dieter Fensel, Enrico Motta, V. Richard Benjamins, Monica Crubezy, Stefan Decker, Mauro Gaspari, Rix Groenboom, William Grosso, Frank van Harmelen, Mark Musen, Enric Plaza, Guus Schreiber, Rudi Studer, and Bob Wielinga. The unified problemsolving method development language upml. Knowledge and Information Systems, 5(1):83-131, 2002.
11. A. Griffiths and G. Rose. A Semantic Foundation for Object Identity in Formal Specification. Object-Oriented Systems, 2:195-215, Chapman & Hall 1995.
12. W. Johnston. A type checker for Object-Z. Technical report 96-24, Software Verification Research Centre, School of Information Technology, The University of Queensland, Brisbane 4072. Australia, July 1996.
13. S. K. Kim and D. Carrington. Formalizing UML Class Diagram Using Object-Z. In R. France and B. Rumpe, editors, UML'99, Lect. Notes in Comput. Sci. Springer-Verlag, October 1999.
14. S. McIlraith, T. Son, and H. Zeng. Semantic web services, 2001.
15. B. Medjahed, B. Benatallah, A. Bouguettaya, A. H. H. Ngu, and A. K. Elmagarmid. Business-to-business interactions: issues and enabling technologies. The International Journal on Very Large Data Bases, 12(1):59-85, 2003.
16. Object Management Group. Meta object facility (MOF) specification, 2002. http://www.omg.org.
17. Dumitru Roman, Uwe Keller, Holger Lausen, Jos de Bruijn, Rubn Lara, Michael Stollberg, Axel Polleres, Cristina Feier, Christoph Bussler, and Dieter Fensel. Web services modeling ontology. Journal of Applied Ontology, 39(1):77-106, 2005.
18. G. Smith. Extending W for Object-Z. In J. P. Bowen and M. G. Hinchey, editors, Proceedings of the 9th Annual Z-User Meeting, pages 276-295. Springer-Verlag, September 1995.
19. G. Smith. A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing, 7(3):289-313, 1995.
20. G. Smith. Reasoning about Object-Z specifications. In Proc. Asia Pacific Software Engineering Conference '95 (APSEC95), pages 489-497. IEEE Press, 1995.
21. W. K. Tan. A Semantic Model of A Small Typed Functional Language using Object-Z. In J. S. Dong, J. He, and M. Purvis, editors, The 7th Asia-Pacific Software Engineering Conference (APSEC'00). IEEE Press, December 2000.
22. H. H. Wang, N. Gibbins, T. Payne, A. Saleh, and J. Sun. A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). In The 12th IEEE International Conference on Engineering Complex Computer Systems, Auckland, July 2007.
23. J.C.P. Woodcock and S.M. Brien. W : A logic for Z. In Proceedings of Sixth Annual Z-User Meeting, University of York, Dec 1991.