TCOZ approach to semantic web services design

Thirteenth International World Wide Web Conference Proceedings, WWW2004

Volumn , Issue , 2004, Pages 1174-1175

  Dong, Jin Song ^a   Li, Yuan Fang ^a   Wang, Hai ^b  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

DAML+OIL; DAML S; Formal Methods; Semantic Web; TCOZ

Indexed keywords

DAML+OIL; DAML-S; FORMAL METHODS; TCOZ;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DATA REDUCTION; FORMAL LANGUAGES; HUMAN COMPUTER INTERACTION; MATHEMATICAL MODELS; SEMANTICS;

WORLD WIDE WEB;

EID: 19944418835     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)

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/.
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.
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.
4. B. Mahony and J. S. Dong. Timed Communicating Object Z. IEEE Transactions on Software Engineering, 26(2):150-177, Feb. 2000.
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.