Pages that link to "Item:Q436361"
From MaRDI portal
The following pages link to Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361):
Displaying 6 items.
- Validation and verification of web services choreographies by using timed automata (Q615897) (← links)
- A barred operational semantics for a subset of WS-CDL with time restrictions (Q1035678) (← links)
- A Petri net approach for the design and analysis of web services choreographies (Q2390034) (← links)
- Formalizing web service choreographies (Q2847798) (← links)
- The semantics and verification of timed service choreography (Q2875284) (← links)
- Fundamental Approaches to Software Engineering (Q5428886) (← links)