Enhancing Web Service Composition Security with Formal Methods

This paper presents a novel approach to enhance Web service composition through the Web Service Interaction Model (IWSN). The IWSN aims to ensure accurate interaction between Web services, improve composition scalability, resolve behavioral compatibility issues during interaction, and facilitate broader adoption of service composition technologies. Based on the Kahn Process Network (KPN) for its foundation in parallel computing via data streams and channels, the proposed model establishes formal semantics using Calculus of Communication Systems. The model's properties are explored, and its application is illustrated through a case study that demonstrates its effectiveness in web service composition and interaction.