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. © 2011 Springer-Verlag.
CITATION STYLE
He, T., Li, L., & Li, H. (2011). Verification tool of software requirement for network software. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7030 LNCS, pp. 545–552). https://doi.org/10.1007/978-3-642-25255-6_69
Mendeley helps you to discover research relevant for your work.