Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Analysing and determining substitutability of different granularity Web services - MaRDI portal

Analysing and determining substitutability of different granularity Web services

From MaRDI portal

Publication:2874304

Jump to:navigation, search

DOI10.1080/00207160.2012.748902zbMath1287.68014OpenAlexW2044058339MaRDI QIDQ2874304

Shuiguang Deng, Yuyu Yin

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

verification type theory substitutability large granularity web service

Mathematics Subject Classification ID

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

Related Items (1)

Type theory based semantic verification for service composition in cloud computing environments

Cites Work

Deciding Substitutability of Services with Operating Guidelines

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2874304&oldid=15817124"