Validation and verification of web services choreographies by using timed automata

DOI10.1016/J.JLAP.2010.02.001MaRDI QIDQ615897zbMATH OpenOpenAlexFDO

Authors Gregorio Díaz, E. Martínez, María Emilia Cambronero, Valentín Valero

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

choreographiestimed automataweb servicesformal modelsWS-CDL

Mathematics Subject Classification ID

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

Recommendations

• The semantics and verification of timed service choreography
• A formal dynamic verification of choreographed web services conversations
• A Petri net approach for the design and analysis of web services choreographies
• Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets
• Formal modeling and conformance validation for WS-CDL using Reo and CASM

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 177824 (Why is no real title available?)
• scientific article; zbMATH DE number 2088361 (Why is no real title available?)
• A Petri net approach for the design and analysis of web services choreographies
• A calculus of mobile processes. I
• A theory of timed automata
• Formalizing web service choreographies
• Multiparty asynchronous session types
• Uppaal in a nutshell

Cited in

(13)

• A Petri net approach for the design and analysis of web services choreographies
• A formal dynamic verification of choreographed web services conversations
• A barred operational semantics for a subset of WS-CDL with time restrictions
• Analysis of Realizability Conditions for Web Service Choreographies
• Using linear logic to verify requirement scenarios in composite web service
• A survey of timed automata for the development of real-time systems
• Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets
• Monitoring networks through multiparty session types
• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• Formal modeling and conformance validation for WS-CDL using Reo and CASM
• Timed runtime monitoring for multiparty conversations
• Web services as a new approach to distributing and coordinating semantics-based verification toolkits
• The semantics and verification of timed service choreography

Describes a project that uses

Uses Software

• Uppaal

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

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