其他
smc4ws
smv4ws is a Semantic Model Checker developed by SRG at D.I.I. - Università Politecnica delle Marche.
smc4ws 1.0.0 is free
This version of smc4ws is distributed under the LGPL v2.1 license. This is an Free Software license that allows free academic and commercial usage of smc4ws.
Overview
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behavior at process level. It has been used as a basic tool in several scenarios such as service selection, service validation and service composition. The importance of semantics is also widely recognized. Indeed, there are several solutions to the problem of providing semantics to web services, most of them relying on some form of Description Logic. This project aims to integrate model checking and semantic reasoning technologies in an efficient way. The approach relies on a representation of services a
暂无评论