Browsing by Author "Hai WANG"

Now showing 1 - 2 of 2
  • No Thumbnail Available
    Item
    A Formal Approach to Semantic Web Services Design
    (2004-02-01T00:00:00Z) Jin Song DONG; Yuanfang LI; Hai WANG
    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.
  • No Thumbnail Available
    Item
    Semantic-Web for Extending and Linking Formalisms
    (2002-03-01T00:00:00Z) Dong Jing SONG; Jing SUN; Hai WANG
    The diversity of various formal specification techniques and the need for their effective combinations requires an extensible and integrated supporting environment. The Web provides infrastructure for such an environment for formal specification and design because it allows sharing of various design models and provides hyper textual links among the models. Recently the Semantic Web Activity proposed the idea of having data on the web defined and linked in a way that it can be used for automation, extension and integration. The success of the Semantic Web may have profound impact on the web environment for formal specifications, especially for extending and integrating different formalisms. This paper demonstrates how RDF and DAML can be used to build a Semantic Web environment for supporting, extending and integrating various formal specification languages. Furthermore, the paper illustrates how RDF query techniques can facilitate specification comprehension.