Formal Modeling and Analysis of Business Process Timed Constraints

DOI10.1007/978-3-319-16577-6_7zbMath1368.68044OpenAlexW1018567092MaRDI QIDQ5348540

Djamel Eddine Saidouni, Imed Eddine Chama, Nabil Belala

Publication date: 18 August 2017

Published in: Formalisms for Reuse and Systems Integration (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-16577-6_7

zbMATH Keywords

formal semanticsBPELWeb servicesC-DATAtimed constraints

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Internet topics (68M11)

Uses Software

• Unnamed Item
• Uppaal
• CADP
• BPEL2oWFN

Cites Work

• Model-checking in dense real-time
• Uppaal in a nutshell

This page was built for publication: Formal Modeling and Analysis of Business Process Timed Constraints