Verification tool of software requirement for network software

Authors:
Tao He;Liping Li;Huazhong Li
Affiliations:
Software Engineering Department, Shenzhen Institute of Information Technology, Shenzhen, China;Computer and Information Institute, Shanghai Second Polytechnic University, Shanghai, China;Software Engineering Department, Shenzhen Institute of Information Technology, Shenzhen, China
Venue:
ICICA'11 Proceedings of the Second international conference on Information Computing and Applications
Year:
2011

Citing 8
Cited 0

Meta-models of Domain Modeling Framework for Networked Software

GCC '07 Proceedings of the Sixth International Conference on Grid and Cooperative Computing
A Survey of Formal Verification for Business Process Modeling

ICCS '08 Proceedings of the 8th international conference on Computational Science, Part II
Partial Translation Verification for Untrusted Code-Generators

ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
OWLS-MX: A hybrid Semantic Web service matchmaker for OWL-S services

Web Semantics: Science, Services and Agents on the World Wide Web
A Translation-based Approach to the Verification of Modular Equivalence

Journal of Logic and Computation
Generating Interface Grammars from WSDL for Automated Verification of Web Services

ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Hierarchical Petri-nets model for the design of e-learning system

Edutainment'07 Proceedings of the 2nd international conference on Technologies for e-learning and digital entertainment
On-the-Fly Reduction of Stimuli for Functional Verification

ATS '10 Proceedings of the 2010 19th IEEE Asian Test Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

A model checking tool OWLSVerifyTool is proposed, designed and developed to verify Web service composition model of software requirement in this paper. It can convert OWL-S documents into Petri nets document described in PNML, then analysis and verify it with Petri nets with engine in dynamic context. Compositing the DL reasoning engine Pellet and F-logic-based reasoning engine Flora-2, it can play their respective advantages to reason and verify static model in static context of software requirement. The automated validation tool can effectively verify software requirement meta-model based on Web service described with OWL-S.