Validation and verification of web services choreographies by using timed automata
From MaRDI portal
Publication:615897
DOI10.1016/J.JLAP.2010.02.001zbMATH Open1207.68082OpenAlexW2070813196MaRDI QIDQ615897FDOQ615897
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
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
- Uppaal in a nutshell
- A theory of timed automata
- Title not available (Why is that?)
- A calculus of mobile processes. I
- Multiparty asynchronous session types
- Title not available (Why is that?)
- Formalizing web service choreographies
- Title not available (Why is that?)
- A Petri net approach for the design and analysis of web services choreographies
Cited In (13)
- A survey of timed automata for the development of real-time systems
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
- Using linear logic to verify requirement scenarios in composite web service
- Web services as a new approach to distributing and coordinating semantics-based verification toolkits
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets
- Monitoring networks through multiparty session types
- Formal modeling and conformance validation for WS-CDL using Reo and CASM
- A barred operational semantics for a subset of WS-CDL with time restrictions
- Timed runtime monitoring for multiparty conversations
- Analysis of Realizability Conditions for Web Service Choreographies
- A formal dynamic verification of choreographed web services conversations
- A Petri net approach for the design and analysis of web services choreographies
- The semantics and verification of timed service choreography
Uses Software
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)
