Pages that link to "Item:Q5316442"
From MaRDI portal
The following pages link to Fundamental Approaches to Software Engineering (Q5316442):
Displayed 13 items.
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361) (← links)
- A formal model for service-oriented interactions (Q436383) (← links)
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- On the potential advantages of exploiting behavioural information for contract-based service discovery and composition (Q615893) (← links)
- Can I find a partner? Undecidability of partner existence for open nets (Q975497) (← links)
- An analytical method for well-formed workflow/Petri net verification of classical soundness (Q2018421) (← links)
- A Petri net approach for the design and analysis of web services choreographies (Q2390034) (← links)
- Contracts for cross-organizational workflows as timed dynamic condition response graphs (Q2436452) (← links)
- Session types for safe web service orchestration (Q2436511) (← links)
- Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study (Q3510856) (← links)
- Discovery, Verification and Conformance of Workflows with Cancellation (Q3540385) (← links)
- A Formal Model for Organisational Structures behind Process-Aware Information Systems (Q3623820) (← links)
- Does My Service Have Partners? (Q3623824) (← links)