Operating Guidelines for Finite-State Services

DOI10.1007/978-3-540-73094-1_20MaRDI QIDQ3612941zbMATH OpenOpenAlexFDO

Authors Niels Lohmann, Peter Massuthe, Karsten Wolf

Publication date 11 March 2009

Published in Petri Nets and Other Models of Concurrency – ICATPN 2007 (Search for Journal in Brave)

Full work available at URL http://edoc.hu-berlin.de/18452/3126

Mathematics Subject Classification ID

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

Recommendations

• A trace-based view on operating guidelines
• Compact representations and efficient algorithms for operating guidelines
• A trace-based service semantics guaranteeing deadlock freedom
• Deciding Substitutability of Services with Operating Guidelines
• Compositional Service Trees

Cited in

(14)

• Reusing artifact-centric business process models: a behavioral consistent specialization approach
• A trace-based service semantics guaranteeing deadlock freedom
• Compact representations and efficient algorithms for operating guidelines
• A trace-based view on operating guidelines
• Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
• Automata on Multisets of Communicating Objects
• Does My Service Have Partners?
• Deciding Substitutability of Services with Operating Guidelines
• Compositional Service Trees
• Trace- and failure-based semantics for responsiveness
• Automata and processes on multisets of communicating objects
• Describing Behavior of Processes with Many-to-Many Interactions
• Can I find a partner? Undecidability of partner existence for open nets
• Component simulation-based substitutivity managing QoS and composition issues

Describes a project that uses

Uses Software

• BPEL2oWFN

This page was built for publication: Operating Guidelines for Finite-State Services

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