Pages that link to "Item:Q2847798"
From MaRDI portal
The following pages link to Formalizing web service choreographies (Q2847798):
Displaying 13 items.
- On the diversity of asynchronous communication (Q315311) (← links)
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361) (← links)
- Validation and verification of web services choreographies by using timed automata (Q615897) (← links)
- A centralized and a decentralized method to automatically derive choreography-conforming web service systems (Q764383) (← links)
- A barred operational semantics for a subset of WS-CDL with time restrictions (Q1035678) (← links)
- A modular framework for verifying versatile distributed systems (Q2011199) (← links)
- A perspective on service orchestration (Q2389337) (← links)
- A Petri net approach for the design and analysis of web services choreographies (Q2390034) (← links)
- Communicating by compatibility (Q2426519) (← links)
- Specifications using XQuery expressions on traces (Q2847801) (← links)
- A rigorous model of service component architecture (Q2873686) (← links)
- Analysis of Realizability Conditions for Web Service Choreographies (Q3613058) (← links)
- Does My Service Have Partners? (Q3623824) (← links)