Compositional Service Trees

DOI10.1007/978-3-642-02424-5_17MaRDI QIDQ3636850zbMATH OpenOpenAlexDBLPWikidataFDO

Authors W. M. P. van der Aalst, K. M. van Hee, Peter Massuthe, 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)

Recommendations

• Lending Petri nets and contracts
• AUTOMATIC SERVICE COMPOSITION VIA SIMULATION
• An interface theory for service-oriented design
• Modeling and model checking web services
• Service net algebra based on logic Petri nets

Cites work

• A Framework for Linking and Pricing No-Cure-No-Pay Services
• Compositional Service Trees
• Deciding Substitutability of Services with Operating Guidelines
• Inheritance of behavior
• Operating Guidelines for Finite-State Services
• Soundness and separability of workflow nets in the stepwise refinement approach

Cited in

(8)

• A rigorous model of service component architecture
• Guaranteeing weak termination in service discovery
• Lending Petri nets and contracts
• Operating Guidelines for Finite-State Services
• Does My Service Have Partners?
• Compositional Service Trees
• Security issues in service composition
• Service net algebra based on logic Petri nets

Describes a project that uses

Uses Software

• BPEL2oWFN

This page was built for publication: Compositional Service Trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3636850)