Analyzing Chor specifications by translation into FSP

zbMATH Open1364.68143MaRDI QIDQ2989007FDOQ2989007

Authors: Nima Roohi, Gwen Salaün, Seyyed Hassan Mirian 

Publication date: 19 May 2017

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066109004502?np=y

Recommendations

• Realizability and dynamic reconfiguration of chor specifications
• Deciding choreography realizability
• Analysis of Realizability Conditions for Web Service Choreographies
• Realizable temporal logics for web service choreography
• Realisability of choreographies

zbMATH Keywords

choreographyFSPWS-CDLChor

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (3)

• Realizability and dynamic reconfiguration of chor specifications
• Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets
• FSM Test Translation Through Context

Uses Software

• WSAT
• mCRL2

This page was built for publication: Analyzing Chor specifications by translation into FSP

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