Realizing Live Sequence Charts in SystemVerilog (2008)
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requirement for its safety...
Realizing Live Sequence Charts in SystemVerilog (2008)
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requirement for its safety...
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO (2008)
Hai H. Wang, Nick Gibbins, Terry Payne, Ahmed Saleh
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service...
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO (2008)
Hai H. Wang, Nick Gibbins, Terry Payne, Ahmed Saleh
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service...
Putting OWL in Order: Patterns for Sequences in OWL (2008)
Nick Drummond, Alan Rector, Robert Stevens, Georgina Moulton, Matthew Horridge, Hai H. Wang, ...
Abstract: Sequences are a natural part of the world to be modelled in ontologies. Yet the Web Ontology Language, OWL, contains no specific support for ordering. It does, however, have constructs that...
Formal Specification of OWL-S with Object-Z (2008)
Hai H. Wang, Ahmed Saleh, Terry Payne, Nick Gibbins
Abstract. Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has been recognized as a promising technology that exhibits huge commercial potential, and...
A Formal Model of Semantic Web Service Ontology (WSMO) Execution (2008)
Wang, Hai H., Gibbins, Nick, Payne, Terry, Saleh, Ahmed, Sun, Jun
Semantic Web Services have been one of the most significant research areas within the Semantic Web vision, and have been recognized as a promising technology that exhibits huge commercial potential....
A Formal Model of Semantic Web Service Ontology (WSMO) Execution (2008)
Wang, Hai H., Gibbins, Nick, Payne, Terry, Saleh, Ahmed, Sun, Jun
Semantic Web Services have been one of the most significant research areas within the Semantic Web vision, and have been recognized as a promising technology that exhibits huge commercial potential....
Transitioning Applications to Semantic Web Services: An Automated Formal Approach (2008)
Wang, Hai H., Gibbins, Nick, Payne, Terry, Saleh, Ahmed, Li, Yuan
Semantic Web Services have been recognized as a promising technology that exhibits huge commercial potential, and attract significant attention from both industry and the research community. Despite...
Transitioning Applications to Semantic Web Services: An Automated Formal Approach (2008)
Wang, Hai H., Gibbins, Nick, Payne, Terry, Saleh, Ahmed, Li, Yuan
Semantic Web Services have been recognized as a promising technology that exhibits huge commercial potential, and attract significant attention from both industry and the research community. Despite...
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO) (2007)
Wang, Hai H., Gibbins, Nick, Payne, Terry, Saleh, Ahmed, Sun, Jun
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service...
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO) (2007)
Wang, Hai H., Gibbins, Nick, Payne, Terry, Saleh, Ahmed, Sun, Jun
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service...
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO) (2007)
Wang, Hai H., Gibbins, Nick, Payne, Terry, Saleh, Ahmed, Sun, Jun
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service...
An Integrated Formal Approach to Semantic Work Environments Design (2007)
Wang, Hai H., Dong, Jin-Song, Sun, Jing, Payne, Terry R., Gibbins, Nick, Li, Yuan-Fang, ...
An Integrated Formal Approach to Semantic Work Environments Design (2007)
Wang, Hai H., Dong, Jin-Song, Sun, Jing, Payne, Terry R., Gibbins, Nick, Li, Yuan-Fang, ...
Verifying feature models using OWL (2007)
Wang, Hai H., Li, Yuan Fang, Sun, Jing, Zhang, Hongyu, Pan, Jeff
Feature models are widely used in domain engineering to capture common and variant features among systems in a particular domain. However, the lack of a formal semantics and reasoning support of...
An Integral Formal Approach to Semantic Work Environments Design (2007)
Wang, Hai H., Dong, Jin Song, Sun, Jing, Payne, Terry R., Gibbins, Nicholas, Li, Yuan-Fang, ...
Verifying feature models using OWL (2007)
Wang, Hai H., Li, Yuan Fang, Sun, Jing, Zhang, Hongyu, Pan, Jeff
Feature models are widely used in domain engineering to capture common and variant features among systems in a particular domain. However, the lack of a formal semantics and reasoning support of...
An Integral Formal Approach to Semantic Work Environments Design (2007)
Wang, Hai H., Dong, Jin Song, Sun, Jing, Payne, Terry R., Gibbins, Nicholas, Li, Yuan-Fang, ...
Reasoning About ORA-SS Data Models Using the Semantic Web (2006)
Li, Yan Fang, Dobbie, Gillian, Wang, Hai H., Sun, Jun
There has been a rapid growth in the use of semistructured data in both web applications and database systems. Consequently, the design of a good semistructured data model is essential. In the...
Reasoning About ORA-SS Data Models Using the Semantic Web (2006)
Li, Yan Fang, Dobbie, Gillian, Wang, Hai H., Sun, Jun
There has been a rapid growth in the use of semistructured data in both web applications and database systems. Consequently, the design of a good semistructured data model is essential. In the...
The manchester owl syntax (2006)
Matthew Horridge, Nick Drummond, John Goodwin, Alan Rector, Hai H Wang
Abstract. This paper describes a new syntax that can be used to write OWL ontologies, and fragments of OWL ontologies for presentation and editing purposes. The syntax, which is known as the...