Peter Massuthe

17 papers A 2B 1C 1Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2010 J jnl
Multiparty Contracts: Agreeing and Implementing Interorganizational Processes.
Comput. J.
Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf
2009 B conf
Compositional Service Trees.
Petri Nets
Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf
2009 J jnl
Deciding Substitutability of Services with Operating Guidelines.
Trans. Petri Nets Other Model. Concurr.
Christian Stahl, Peter Massuthe, Jan Bretschneider
2009 — —
Operating guidelines for services.
Peter Massuthe
2008 J jnl
Analyzing interacting WS-BPEL processes using flexible model generation.
Data Knowl. Eng.
Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg
2008 J jnl
Can I find a partner? Undecidability of partner existence for open nets.
Inf. Process. Lett.
Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, Karsten Wolf
2008 — conf
Fiona: A Tool to Analyze Interacting Open Nets.
AWPN
Peter Massuthe, Daniela Weinberg
2007 J jnl
An algorithm for matching non-deterministic services with operating guidelines.
Int. J. Bus. Process. Integr. Manag.
Peter Massuthe, Karsten Wolf
2007 A conf
Behavioral Constraints for Services.
BPM
Niels Lohmann, Peter Massuthe, Karsten Wolf
2007 J jnl
Challenges in a Service-Oriented World.
ERCIM News
Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, Christian Stahl
2007 — conf
From Public Views to Private Views - Correctness-by-Design for Services.
WS-FM
Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf
2007 — conf
Operating Guidelines for Finite-State Services.
ICATPN
Niels Lohmann, Peter Massuthe, Karsten Wolf
2007 — conf
Services as a Paradigm of Computation.
Formal Methods and Hybrid Real-Time Systems
Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl
2006 — conf
An Algorithm for Matching Nondeterministic Services with Operating Guidelines.
The Role of Business Processes in Service Oriented Architectures
Peter Massuthe, Karsten Wolf
2006 C conf
Analysis Techniques for Service Models.
ISoLA
Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner
2006 A conf
Analyzing Interacting BPEL Processes.
Business Process Management
Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg
2005 — conf
Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture.
QSIC
Peter Massuthe, Karsten Schmidt