Analyzing Chor specifications by translation into FSP

MaRDI QIDQ2989007zbMATH OpenFDO

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

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)

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

Cited in

(3)

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

Describes a project that uses

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)