Analysing and determining substitutability of different granularity Web services

DOI10.1080/00207160.2012.748902MaRDI QIDQ2874304zbMATH OpenOpenAlexFDO

Authors Yuyu Yin, Shuiguang Deng

Publication date 29 January 2014

Published in International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207160.2012.748902

zbMATH Keywords

large granularity web servicesubstitutabilitytype theoryverification

Mathematics Subject Classification ID

Logic in computer science (03B70) Internet topics (68M11)

Recommendations

• Deciding Substitutability of Services with Operating Guidelines
• A Net-based Approach to Web Services Publication and Replaceability
• A compositional framework to the specification of service protocols controllability and substitutability
• Structural and behavioural compatibility of graphical service specifications
• Fundamental Approaches to Software Engineering

Cites work

• Deciding Substitutability of Services with Operating Guidelines

Cited in

(2)

• Type theory based semantic verification for service composition in cloud computing environments
• Deciding Substitutability of Services with Operating Guidelines

This page was built for publication: Analysing and determining substitutability of different granularity Web services

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2874304)