Verifying BPEL workflows under authorisation constraints

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Business process management
1. Verfasser:	Xiangpeng, Zhao (VerfasserIn)
Weitere Verfasser:	Cerone, Antonio (VerfasserIn), Krishnan, Padmanabhan (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2006
Schlagworte:	Aufsatz im Buch
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Tracking over collaborative business processes	2006	Zhao, Xiaohui
Semantic correctness in adaptive process management systems	2006	Ly, Linh Thao
History-based joins : semantics, soundness and implementation	2006
On representing, purging, and utilizing change logs in process management systems	2006
Web service e-contract establishment using features	2006	Fantinato, Marcelo
IT support for release management processes in the automotive industry	2006
Towards a methodology for deriving contract-compliant business processes	2006	Milosevic, Zoran
Formalizing service interactions	2006	Decker, Gero
Managing process variants as an information resource	2006	Lu, Ruopeng
Parameterized BPEL processes : concepts and implementation	2006
Analyzing interacting BPEL processes	2006
Automated service composition using heuristic search	2006	Meyer, Harald
Isolating process-level concerns using padus	2006
On the suitability of BPMN for business process modelling	2006
Workflow model compositions preserving relaxed soundness	2006	Siegeris, Juliane
A framework for the development and execution of horizontal protocols in open BPM systems	2006
Towards formal verification of Web service composition	2006	Rouached, Mohsen
Verifying workflows with cancellation regions and OR-joins : an approach based on reset nets and reachability analysis	2006
An AsmL executable model for WS-BPEL with orthogonal transactional behavior	2006	García-Bañuelos, Luciano
Verifying BPEL workflows under authorisation constraints	2006	Xiangpeng, Zhao