Validation and verification of web services choreographies by using timed automata

DOI10.1016/J.JLAP.2010.02.001zbMath1207.68082OpenAlexW2070813196MaRDI QIDQ615897

Enrique Martínez, Gregorio Díaz, Valentin Valero, María Emilia Cambronero

Publication date: 7 January 2011

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2010.02.001

zbMATH Keywords

timed automatachoreographiesweb servicesformal modelsWS-CDL

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Internet topics (68M11)

Related Items (5)

Timed runtime monitoring for multiparty conversations ⋮ Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python ⋮ A survey of timed automata for the development of real-time systems ⋮ Monitoring networks through multiparty session types ⋮ The semantics and verification of timed service choreography

Uses Software

• Uppaal

Cites Work

• A calculus of mobile processes. I
• A theory of timed automata
• Uppaal in a nutshell
• A Petri net approach for the design and analysis of web services choreographies
• Multiparty asynchronous session types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Validation and verification of web services choreographies by using timed automata