Algebra Process Approach for Accessing Control Compatibility Analysis of Web Service

Web services compatibility states the fitness of SOA application in which service peers that interact with each other. How ever, most approaches deal with the compatibility issue only focus on the message interaction, and ignore the authority that a service can access or invoke another service or resources. In this paper, we propose an unified approach in formal analysis of web service in compatibility of both dynamical behavior and access validity. We also discuss about context-independent substitutability in above issue in different levels.