Aeronautical booking process modeling for Web service and compositional compatibility verification
Weishi Zhang · Computer Engineering and Applications Journal · 2010
There has been an increased focus in recent years on Web services,which provide the way of solving complex problems by combining basic ones.However,there are some issues related to Web service composition,in particular its compatibility verification of services with interactions.To this end,this paper formally models the Web services in aeronautical booking domain,and proposes a method for verifying the behavior compatibility of booking services by using an improved Pi-calculus-based reasoning.To validate the proposed method,this paper further uses the MWB tool to demonstrate the verification process.