A formal framework for specifying and verifying microservices based process flows

DOI10.1007/978-3-319-74781-1_14zbMATH Open1461.68112OpenAlexW2785325333MaRDI QIDQ4989712FDOQ4989712

Authors: Matteo Camilli, Carlo Bellettini, L. Capra, Mattia Monga 

Publication date: 26 May 2021

Published in: Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-74781-1_14

Recommendations

• Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
• scientific article; zbMATH DE number 1980999
• A rigorous methodology for specification and verification of business processes
• Towards verification of computation orchestration
• Model-checking web services orchestrations using BP-calculus

zbMATH Keywords

verificationmicroservicesformal methodsPetri netsorchestrationtime analysis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (2)

• Correct audit logging in concurrent systems
• Automatic analysis of complex interactions in microservice systems

Uses Software

• Conductor

This page was built for publication: A formal framework for specifying and verifying microservices based process flows

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