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

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)

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

Cited in

(2)

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

Describes a project that uses

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)