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

DOI10.1016/J.INS.2018.08.042MaRDI QIDQ2200647zbMATH OpenOpenAlexWikidataFDO

Authors Changqin Huang, Xizhe Wang, Dianhui 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

cloud service compositionsemantic verificationsoftware-as-a-service applicationstheoretical prooftype theory

Mathematics Subject Classification ID

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

Recommendations

• Model transformation and formal verification for semantic web services composition
• An Event-B based approach for cloud composite services verification
• Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
• Verification of context-dependent channel-based service models
• scientific article; zbMATH DE number 5284505

Cites work

• Analysing and determining substitutability of different granularity Web services
• Global progress for dynamically interleaved multiparty sessions
• scientific article; zbMATH DE number 3521951 (Why is no real title available?)
• Multiparty asynchronous session types
• Multiparty session types meet communicating automata
• Notions of anonymous existence in Martin-Löf type theory
• Parameterised Multiparty Session Types
• Reversibility in the higher-order \(\pi\)-calculus
• Session types revisited
• Type systems for concurrent programs.

Cited in

(2)

• A verification and deployment approach for elastic component-based applications
• An Event-B based approach for cloud composite services verification

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

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