Christian Stahl
TitoloCitata daAnno
Transforming BPEL to Petri nets
S Hinz, K Schmidt, C Stahl
Business Process Management, 220-235, 2005
4122005
Modeling business processes: a petri net-oriented approach
W van der Aalst, C Stahl
MIT press, 2011
2052011
Analyzing interacting BPEL processes
N Lohmann, P Massuthe, C Stahl, D Weinberg
Business Process Management, 17-32, 2006
1782006
Multiparty contracts: Agreeing and implementing interorganizational processes
WMP van der Aalst, N Lohmann, P Massuthe, C Stahl, K Wolf
The Computer Journal 53 (1), 90-106, 2010
1632010
Analyzing interacting WS-BPEL processes using flexible model generation
N Lohmann, P Massuthe, C Stahl, D Weinberg
Data & Knowledge Engineering 64 (1), 38-54, 2008
1612008
Service interaction: Patterns, formalization, and analysis
W van der Aalst, A Mooij, C Stahl, K Wolf
Formal Methods for Web Services, 42-88, 2009
1302009
Multiagent systems with workflows
JM Vidal, PA Buhler, C Stahl
IEEE Internet Computing 8 (1), 76, 2004
1192004
A Petri net semantics for BPEL
C Stahl
Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät …, 2005
1172005
From public views to private views–correctness-by-design for services
WMP Van Der Aalst, N Lohmann, P Massuthe, C Stahl, K Wolf
Web Services and Formal Methods, 139-153, 2008
912008
A petri net semantic for BPEL4WS-validation and application
K Schmidt, C Stahl
Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets, 1-6, 2004
902004
Declarative Modeling–An Academic Dream or the Future for BPM?
HA Reijers, T Slaats, C Stahl
Business Process Management, 307-322, 2013
762013
Deciding substitutability of services with operating guidelines
C Stahl, P Massuthe, J Bretschneider
Transactions on Petri Nets and Other Models of Concurrency II, 172-191, 2009
682009
Soundness verification for conceptual workflow nets with data: early detection of errors with the most precision possible
N Sidorova, C Stahl, N Trčka
Information Systems 36 (7), 1026-1043, 2011
672011
Comparing and evaluating Petri net semantics for BPEL
N Lohmann, E Verbeek, C Ouyang, C Stahl
International Journal of Business Process Integration and Management 4 (1 …, 2009
642009
Comparing and evaluating Petri net semantics for BPEL
N Lohmann, HMW Verbeek, C Ouyang, C Stahl, WMP van der Aalst
Computer Science Report 7, 23, 2007
642007
Extending the compatibility notion for abstract WS-BPEL processes
D König, N Lohmann, S Moser, C Stahl, K Wolf
Proceedings of the 17th international conference on World Wide Web, 785-794, 2008
612008
Transformation von BPEL4WS in Petrinetze
C Stahl
Master’s thesis, Humboldt University, Berlin, Germany, 2004
572004
An SOA-based architecture framework
WMP Van Der Aalst, M Beisiegel, KM Van Hee, D Konig
International Journal of Business Process Integration and Management 2 (2 …, 2007
562007
Strategies for Modeling Complex Processes Using Colored Petri Nets
WMP van der Aalst, C Stahl, M Westergaard
Transactions on Petri Nets and Other Models of Concurrency VII, 6-55, 2013
532013
Workflow soundness revisited: checking correctness in the presence of data while staying conceptual
N Sidorova, C Stahl, N Trčka
Advanced Information Systems Engineering, 530-544, 2010
472010
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20