Compositional Service Trees

DOI10.1007/978-3-642-02424-5_17zbMath1242.68190OpenAlexW2166555029WikidataQ57005455 ScholiaQ57005455MaRDI QIDQ3636850

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

Publication date: 30 June 2009

Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02424-5_17

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Compositional Service Trees

Uses Software

• BPEL2oWFN

Cites Work

• Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach
• Operating Guidelines for Finite-State Services
• Deciding Substitutability of Services with Operating Guidelines
• A Framework for Linking and Pricing No-Cure-No-Pay Services
• Compositional Service Trees
• Inheritance of behavior

This page was built for publication: Compositional Service Trees