A Formal Framework for Specifying and Verifying Microservices Based Process Flows

DOI10.1007/978-3-319-74781-1_14zbMath1461.68112OpenAlexW2785325333MaRDI QIDQ4989712

Lorenzo Capra, Matteo Camilli, Mattia Monga, Carlo Bellettini

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

verificationmicroservicesPetri netsformal methodsorchestrationtime analysis

Mathematics Subject Classification ID

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

Related Items (1)

Correct audit logging in concurrent systems

Uses Software

• Conductor

This page was built for publication: A Formal Framework for Specifying and Verifying Microservices Based Process Flows