Dr. Hai WANG

Lecturer
Room MB214B
Computer Science
School of Engineering and Applied Science
Aston University
Aston Triangle
Birmingham B4 7ET
United Kingdom, UK
Email: H.WANG10@aston.ac.uk

Research Interests Qualifications and Awards Work Experiences Publications

Research Interests

Qualifications and Awards

Qualifications

Awards

Work Experiences

Publications

Journals

  • Hai H. Wang, Jin S. Dong, Jing Sun, Terry Payne, Nick Gibbins, Yuan Fang Li, and Jeff Pan, An Integrated Formal Approach to Semantic Work Environments Design , chapter of Emerging Technologies for Semantic Work Environments: Techniques, Methods,and Applications, 2007 (accepted)
  • Hai H. Wang , Yuan Fang Li, Jing Sun, Hong Yu Zhang and Jeff Pan. Verifying Feature Models using OWL, Journal of Web Semantics, 2007 (to appear) (pdf)(bib)
  • Yuan Fang Li, Jing Sun, Gillian Dobbie, Hai H. Wang and Jun Sun. Reasoning about ORA-SS Data Models using the Semantic Web, Journal of Data Semantics VII, Lecture Notes in Computer Science, Springer, 2006 (accepted) (pdf)(bib)
  • Hai Wang, Jin Song Dong, Jing Sun and Jun Sun. Reasoning Support for Semantic Web Ontology Family Languages Using Alloy. International Journal of Multiagent and Grid Systems, Special issue on Agent-Oriented Software Development Methodologies, IOS press, 2007. (to appear) (pdf)(bib)
  • Jing Sun, Jin Song Dong, Stanislaw Jarzabek and Hai Wang. CAD System Family Architecture and Verification: An Integrated Formal Approach, IEE Proceedings Software, 2006. (pdf)(bib)
  • Jing Sun, Jin Song Dong, Jing Liu and Hai Wang. A Formal Object Approach to the Design of ZML. Annals of Software Engineering: An international journal, 13:329-356, Kluwer Academic Publishers, 2002. (BibTex)
  • Conferences  

  • Hai H. Wang , Ahem Saleh, Terry Payne and Nick Gibbins . Formal Specification of OWL-S with Object-Z:   the Dynamic Aspect , The 8th International Conference on Web Information Systems Engineering, Dec. 2007, Nancy, France
  • Hai H. Wang , Shengchao Qin, Jun Sun and Jin Song Dong. Realizing Live Sequence Charts in SystemVerilog , 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE'07), June. 2007. Shanghai, China.
  • Hai H. Wang , Ahem Saleh, Terry Payne and Nick Gibbins . Formal Specification of OWL-S with Object-Z: the Static Aspect , The 2007 IEEE/WIC/ACM International Conference on Web Intelligence, Nov. 2007, Silicon Valley, USA
  • Hai H. Wang , Nick Gibbins, Terry Payne, Ahem Saleh and Jun Sun. A Formal Semantics Model of the Semantic Web Service Ontology (WSMO) , 12th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'07), Jul. 2007, Auckland, NZ
  • Yuzhang Feng, Yuan Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa and Hai H. Wang . Belief-augmented OWL (BOWL) - Engineering the Semantic Web with Beliefs , 12th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'07), Jul. 2007, Auckland, NZ
  • Yuan Fang Li, Jing Sun, Gillian Dobbie, Jun Sun and Hai Wang. Validating Semistructured Data using OWL. 7th International Conference on Web-Age Information Management (WAIM'06), Hong Kong, China, June, 2006. (pdf)(BibTex)
  • Jing Sun, Hai Wang, Sasanka Athauda and Tazkiya Sheik. SVG Web Environment for Z Specification Language. 7th International Conference on Formal Engineering Methods (ICFEM'05), Manchester, United Kingdom, November 2005. (pdf) (BibTex)
  • Jun Sun, Yuan Fang Li, Hai Wang and Jing Sun. Visualizing and Simulating Semantic Web Services Ontologies. 7th International Conference on Formal Engineering Methods (ICFEM'05), Manchester, United Kingdom, November 2005.(BibTex)
  • Hai Wang, M. Horridge, A. Rector,  N. Drummond and J. Seidenberg, Debugging OWL-DL Ontologies: A Heuristic Approach. 4th International Semantic Web Conference (ISWC'05), Galway, Ireland, November, 2005. (BibTex)
  • Hai Wang, Jin Song Dong, Jing Sun and Yuan Fang Li. TCOZ Approach to OWL-S Process Model Design. 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05), Taipei, Taiwan, July 2005. (BibTex)
  • Hai Wang, Jin Song Dong and Jing Sun. Reasoning Support for SWRL-FOL Using Alloy. 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05), Taipei, Taiwan, July 2005.(BibTex)
  • Jing Sun, Hongyu Zhang, Yuan Fang Li and Hai Wang. Formal Semantics and Verification for Feature Modeling. 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05), IEEE Press, Shanghai, China, June 2005. (BibTex)
  • Rector, A., Drummond, N., Horridge, M., Rogers, J., Knublauch, H., Stevens, R., Wang, H. and Wroe, C., Designing User interfaces to Minimise Common Errors in Ontology Development: The CO-ODE and HyOntUse Projects. UK E-Science All Hands Meeting 2004(AHM’04), ACM Press, Aug 2004.
  • Rector, A., Drummond, N., Horridge, M., Rogers, J., Knublauch, H., Stevens, R., Wang, H. and Wroe, C. OWL Pizzas: Common errors & common patterns from practical experience of teaching OWL-DL. 14th International Conference on Knowledge Engineering and Knowledge Management (EKAW’04), ACM Press, Oct 2004. (BibTex)
  • Jin Song. Dong, Chew Hung Lee, Yuan Fang Li and Hai Wang. A Combined Approach to Checking Web Ontologies. 13th ACM International World Wide Web Conference (WWW'04), refereed track, ACM Press, New York, USA, May 2004. (BibTex)
  • Jin Song. Dong, Yuan Fang Li and Hai Wang. TCOZ Approach to Semantic Web Services Design. 13th ACM International World Wide Web Conference (WWW'04), poster, New York, USA, May 2004.
  • Jin Song Dong, Yuan Fang Li and Hai Wang. Verifying DAML+OIL and Beyond in Z/EVES. The 26th International Conference on Software Engineering (ICSE'04), IEEE Press, Edinburgh, Scotland, May 2004. (technical paper) (BibTex)
  • Jin Song Dong, Jing Sun and Hai Wang. Checking and Reasoning about Semantic Web through Alloy. 12th International Symposium on Formal Methods Europe (FM'03). LNCS, pages 796-813, Springer-Verlag, Pisa, Italy, Sep 2003. (BibTex)
  • Jin Song Dong, Jun Sun, Hai Wang, Analysing Semantic Web Ontology: A Military Case Study. The 15th International Conference on Software Engineering and Knowledge Engineering (SEKE'03), San Francisco, USA, KSI Press, July 2003. (BibTex)
  • Jin Song Dong, Jing Sun and Hai Wang . Z Approach to Semantic Web. International Conference on Formal Engineering Methods (ICFEM'02), LNCS, Springer-Verlag, pages 156-167, Shanghai, China. Oct 2002. (pdf) (BibTex)
  • Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun and Hai Wang. XML-based static type checking and dynamic visualization for TCOZ. ICFEM'02, pages 311-322, Oct 2002. (pdf) (BibTex)
  • Jin Song Dong, Jing Sun and Hai Wang. Semantic Web for Extending and Linking Formalisms. Formal Methods Europe (FME'02 - FLoC), LNCS, Springer-Verlag, pages 587-606, Copenhagen, Denmark, July 2002. (pdf) (BibTex)
  • Jing Sun and Jin Song Dong and Jing Liu and Hai Wang. An XML/XSL Approach to Visualize and Animate TCOZ. The 8th Asia-Pacific Software Engineering Conference (APSEC'01). IEEE Press, pages 453-460, Macau, Dec 2001. (BibTex)
  • Jing Sun, Jin Song Dong, Jing Liu and Hai Wang. Object-Z Web Environment and Projections to UML. 10th International World Wide Web Conference (WWW'01), refereed track, pages 725-734, ACM Press, HK, May 2001. (ISBN 1581133480)(BibTex)
  • PhD Thesis

    Tutorial/Workshop/...:

    Some Reports: