Article

TCOZ approach to semantic web services design

Authors:

Jin Song Dong,

Yuan Fang Li,

Hai WangAuthors Info & Claims

WWW Alt. '04: Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters

Pages 442 - 443

https://doi.org/10.1145/1013367.1013516

Published: 19 May 2004 Publication History

Get Access

Abstract

Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise and powerful modelling techniques to capture not only the ontology domain properties but also the services' process behavior and functionalities. In this paper we apply an integrated formal modeling language, Timed Communicating Object Z (TCOZ), to design SW services. Furthermore, the paper presents the development of the systematic translation rules and tools which can automatically extract the SW ontology and services semantic markup from the formal TCOZ design model.

References

[1]

M. Burstein, J. Hobbs, O. Lassila, D. Martin, S. McIlraith, S. Narayanan, M. Paolucci, T. Payne, K. Sycara, and H. Zeng. Daml service. http://www.daml.org/services/daml-s/2001/05/.

Google Scholar

[2]

J. D. Dong, Y. F. Li, and H. Wang. A formal approach to semantic web services design. Technical Report TRB2/04, National University of Sinagpore, Feb. 2004.

Google Scholar

[3]

J. S. Dong, J. Sun, and H. Wang. Semantic Web for Extending and Linking Formalisms . In L.-H. Eriksson and P. A. Lindsay, editors, Proceedings of Formal Methods Europe: FME'02, pages 587--606, Copenhagen, Denmark, July 2002. LNCS, Springer-Verlag.

Digital Library

Google Scholar

[4]

B. Mahony and J. S. Dong. Timed Communicating Object Z. IEEE Transactions on Software Engineering, 26(2):150--177, Feb. 2000.

Digital Library

Google Scholar

[5]

J. Sun, J. S. Dong, J. Liu, and H. Wang. Object-Z Web Environment and Projections to UML. In WWW-10: 10th International World Wide Web Conference, refereed papers track, pages 725--734. ACM Press, May 2001.

Digital Library

Google Scholar

Index Terms

TCOZ approach to semantic web services design
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Formal software verification
  2. Software organization and properties
    1. Software functional properties
      1. Formal methods

Recommendations

A combined approach to checking web ontologies
WWW '04: Proceedings of the 13th international conference on World Wide Web

The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reasoners such as RACER and FaCT have been developed to reason ontologies with a ...
Agent-based semantic web services
WWW '03: Proceedings of the 12th international conference on World Wide Web

The Web Services world consists of loosely-coupled distributed systems which adapt to ad-hoc changes by the use of service descriptions that enable opportunistic service discovery. At present, these service descriptions are semantically impoverished, ...
Foundations for service ontologies: aligning OWL-S to dolce
WWW '04: Proceedings of the 13th international conference on World Wide Web

Clarity in semantics and a rich formalization of this semantics are important requirements for ontologies designed to be deployed in large-scale, open, distributed systems such as the envisioned Semantic Web This is especially important for the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

WWW Alt. '04: Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters

May 2004

532 pages

ISBN:1581139128

DOI:10.1145/1013367

Conference Chairs:
Stuart Feldman
IBM Research
,
Mike Uretsky
New York University
,
Program Chairs:
Marc Najork
Microsoft Research
,
Craig Wills
Worcester Polytechnic Institute

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 May 2004

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

WWW04

Sponsor:

WWW04: The 2004 World Wide Web Conference ( in conjunction with ACM Conference on Electronic Commerce [EC'04])

May 19 - 21, 2004

NY, New York, USA

Acceptance Rates

Overall Acceptance Rate 1,899 of 8,196 submissions, 23%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
322
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 14 Nov 2024

Other Metrics

View Author Metrics

Citations

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Index Terms

Recommendations

A combined approach to checking web ontologies

Agent-based semantic web services

Foundations for service ontologies: aligning OWL-S to dolce