![Agenda ,[object Object],[object Object],[object Object]](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Recommandé
Contenu connexe
Tendances
Tendances (20)
En vedette
Similaire à Realizability of Interaction Models
Similaire à Realizability of Interaction Models (20)
Dernier
Dernier (20)
Realizability of Interaction Models
- 1. Realizability of Interaction Models Gero Decker ZEUS Workshop, Stuttgart 3 Mar 2009
- 6. Interconnection Models incompatible loops incompatible branching structures incompatible sequence flow abstraction level = messages
- 7. Interaction Models atomic interactions decision ownership global control flow dependencies complex interactions global loops
- 9. Interaction Petri Nets Customer Manufacturer Reseller Payment Org
- 10. Realizability
- 13. Fu, Bultan & Su: Realizability (2004) Traces = { [(A, τ ,A),(A,x,B),(B,y,C)], [(A, τ ,A),(A,x,B)]} Traces = { [(A, τ ,A),(A,x,B),(B,y,C)], [(A, τ ,A),(A,x,B)]}
- 14. Now: Focus on Branching Structures
- 15. Role Projection: Preserving Branching Structures
- 16. Role Projection: Preserving Branching Structures
- 17. Role Projection: Preserving Branching Structures