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

DOI10.1016/j.ins.2018.08.042zbMath1441.68133OpenAlexW2888554338WikidataQ129399723 ScholiaQ129399723MaRDI QIDQ2200647

Changqin Huang, Dianhui Wang, Xizhe Wang

Publication date: 22 September 2020

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2018.08.042

zbMATH Keywords

type theorysemantic verificationcloud service compositionsoftware-as-a-service applicationstheoretical proof

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Internet topics (68M11)

Cites Work

• Reversibility in the higher-order \(\pi\)-calculus
• Session types revisited
• Analysing and determining substitutability of different granularity Web services
• Multiparty Session Types Meet Communicating Automata
• Multiparty asynchronous session types
• Global progress for dynamically interleaved multiparty sessions
• Formal Methods at the Crossroads. From Panacea to Foundational Support
• Parameterised Multiparty Session Types
• Unnamed Item
• Unnamed Item

This page was built for publication: Type theory based semantic verification for service composition in cloud computing environments