Pages that link to "Item:Q2390034"
From MaRDI portal
The following pages link to A Petri net approach for the design and analysis of web services choreographies (Q2390034):
Displaying 10 items.
- 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)
- Analysis and simulation of Web services. (Q1398902) (← links)
- Formalizing web service choreographies (Q2847798) (← links)
- The semantics and verification of timed service choreography (Q2875284) (← links)
- Analysis of Realizability Conditions for Web Service Choreographies (Q3613058) (← links)
- Fundamental Approaches to Software Engineering (Q5316442) (← links)
- Fundamental Approaches to Software Engineering (Q5428886) (← links)