Operating Guidelines for Finite-State Services

DOI10.1007/978-3-540-73094-1_20zbMath1226.68063OpenAlexW1505632640MaRDI QIDQ3612941

Niels Lohmann, Peter Massuthe, Karsten Schmidt

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)

Related Items (12)

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

Uses Software

• BPEL2oWFN

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