Deciding Substitutability of Services with Operating Guidelines

DOI10.1007/978-3-642-00899-3_10zbMath1235.68320OpenAlexW1541897457MaRDI QIDQ3623825

Peter Massuthe, Jan Bretschneider, Christian Stahl

Publication date: 24 April 2009

Published in: Transactions on Petri Nets and Other Models of Concurrency II (Search for Journal in Brave)

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

zbMATH Keywords

open netsoperating guidelinesservice substitutability

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (8)

Undecidability of accordance for open systems with unbounded message queues ⋮ A trace-based service semantics guaranteeing deadlock freedom ⋮ Trace- and failure-based semantics for responsiveness ⋮ Relating fair testing and accordance for service replaceability ⋮ Error-pruning in interface automata ⋮ Deciding Substitutability of Services with Operating Guidelines ⋮ Compositional Service Trees ⋮ Analysing and determining substitutability of different granularity Web services

Uses Software

• Zing
• BPEL2oWFN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modular construction and partial order semantics of Petri nets
• Can I find a partner? Undecidability of partner existence for open nets
• Petri nets with individual tokens
• A theory of contracts for web services
• Contract Based Multi-party Service Composition
• A Behavioural Congruence for Web Services
• Operating Guidelines for Finite-State Services
• Deciding Substitutability of Services with Operating Guidelines
• Computer Aided Verification
• Inheritance of workflows: An approach to tackling problems related to change

This page was built for publication: Deciding Substitutability of Services with Operating Guidelines