To verify the software requirements of networksoftware, a verification tool OWLSVerifyTool is proposed,designed and developed to deal with model checking of Webservice composition model in this paper. It can convertOWL-S documents into Petri nets document and thenanalysis and verify it in Petri nets with engine in dynamiccontext. While compositing the DL reasoning engine Pelletand F-logic-based reasoning engine Flora-2, it can play theirrespective advantages to reason and verify static model instatic context of software requirement. The automatedvalidation tool can effectively verify software requirementmeta-model based on Web service described with OWL-S.
展开▼