smc4ws

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

README
test1.jar
test2.jar
20121004
ASTS
test1
AnCTL
specification_1.xml
test2
ASTS
Amazon_PayPal_ABS_Classic.asts
Amazon_PayPal_AUTH_simple.asts
Flight_ABS.asts
Flight_AUTH.asts
Hotel_ABS.asts
Hotel_ABS.smv
ProcessorProvider1.asts
ProcessorProvider2.asts
ProcessorProvider2.smv
ProcessorProvider3.asts
eBay_PayPal_ABS_Classic.asts
eBay_PayPal_ABS_Classic.smv
eBay_PayPal_AUTH_simple.asts
eBay_PayPal_AUTH_simple.smv
semchk.jar
smc.jar