Skip to main content

Research Repository

Advanced Search

All Outputs (8)

CbSSDF and OWL-S, A Scenario based Solution Analysis and Comparison (2009)
Presentation / Conference Contribution
Du, X., Song, W., & Munro, M. (2009, December). CbSSDF and OWL-S, A Scenario based Solution Analysis and Comparison. Presented at 18th International Conference on Information System development (ISD2009), Nanchang, China

To tackle the semantic issues of web services, we proposed a comprehensive semantic service description framework – CbSSDF – and a two-step service discovery mechanism based on CbSSDF to help service users to easily locate their required services. In... Read More about CbSSDF and OWL-S, A Scenario based Solution Analysis and Comparison.

Pedagogic data as a basis for Web service fault models (2005)
Presentation / Conference Contribution
Looker, N., Burd, L., Drummond, S., Xu, J., & Munro, M. (2005, October). Pedagogic data as a basis for Web service fault models. Presented at IEEE International Workshop on Service-Oriented System Engineering (SOSE'05)., Beijing, PRC

This paper outlines our method for deriving Fault Models for use with our WS-FIT tool that can be used to assess the dependability of SOA. Since one of the major issues with extracting these heuristic rules and Fault Models is the availability of sof... Read More about Pedagogic data as a basis for Web service fault models.

A Framework for Software Architecture Visualization Assessment (2005)
Presentation / Conference Contribution
Gallagher, K., Hatch, A., & Munro, M. (2005, September). A Framework for Software Architecture Visualization Assessment. Presented at Proceedings of the 3rd IEEE Workshop on Visualizing Software (VISSOFT 2005, Budapest, Hungary

In order to assess software architecture visualisation strategies, we qualitatively characterize then construct an assessment framework with 7 key areas and 31 features. The framework is used for evaluation and comparison of various strategies from m... Read More about A Framework for Software Architecture Visualization Assessment.

Weakest precondition for general recursive programs formalized in coq (2002)
Presentation / Conference Contribution
Zhang, X., Munro, M., Harman, M., & Hu, L. (2002, January). Weakest precondition for general recursive programs formalized in coq. Presented at 15th International Conference on Theorem Proving in Higher Order Logics : TPHOLs., Hampton, VA

This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is a deep embedding using the computational power intrinsic to type theory. Since C... Read More about Weakest precondition for general recursive programs formalized in coq.