Peter Massuthe

According to our database, Peter Massuthe authored at least 17 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2010

Multiparty Contracts: Agreeing and Implementing Interorganizational Processes.

Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf

Comput. J., 2010

2009

Operating guidelines for services.

Peter Massuthe

PhD thesis, 2009

Deciding Substitutability of Services with Operating Guidelines.

Christian Stahl, Peter Massuthe, Jan Bretschneider

Trans. Petri Nets Other Model. Concurr., 2009

Compositional Service Trees.

Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf

Proceedings of the Applications and Theory of Petri Nets, 2009

2008

Can I find a partner? Undecidability of partner existence for open nets.

Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, Karsten Wolf

Inf. Process. Lett., 2008

Analyzing interacting WS-BPEL processes using flexible model generation.

Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg

Data Knowl. Eng., 2008

Fiona: A Tool to Analyze Interacting Open Nets.

Peter Massuthe, Daniela Weinberg

Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008

2007

An algorithm for matching non-deterministic services with operating guidelines.

Peter Massuthe, Karsten Wolf

Int. J. Bus. Process. Integr. Manag., 2007

Challenges in a Service-Oriented World.

Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, Christian Stahl

ERCIM News, 2007

From Public Views to Private Views - Correctness-by-Design for Services.

Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Behavioral Constraints for Services.

Niels Lohmann, Peter Massuthe, Karsten Wolf

Proceedings of the Business Process Management, 5th International Conference, 2007

Services as a Paradigm of Computation.

Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

Operating Guidelines for Finite-State Services.

Niels Lohmann, Peter Massuthe, Karsten Wolf

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Analysis Techniques for Service Models.

Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner

Proceedings of the Leveraging Applications of Formal Methods, 2006

An Algorithm for Matching Nondeterministic Services with Operating Guidelines.

Peter Massuthe, Karsten Wolf

Proceedings of the Role of Business Processes in Service Oriented Architectures, 16.07., 2006

Analyzing Interacting BPEL Processes.

Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg

Proceedings of the Business Process Management, 4th International Conference, 2006

2005

Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture.

Peter Massuthe, Karsten Schmidt

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005