Deciding Substitutability of Services with Operating Guidelines

DOI10.1007/978-3-642-00899-3_10MaRDI QIDQ3623825zbMATH OpenOpenAlexFDO

Authors Christian Stahl, Peter Massuthe, Jan Bretschneider

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

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

Recommendations

• Operating Guidelines for Finite-State Services
• Selecting hierarchical facilities in a service-operations environment
• Analysing and determining substitutability of different granularity Web services

Cites work

• A Behavioural Congruence for Web Services
• A theory of contracts for web services
• Can I find a partner? Undecidability of partner existence for open nets
• Computer Aided Verification
• Contract Based Multi-party Service Composition
• Deciding Substitutability of Services with Operating Guidelines
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1302048 (Why is no real title available?)
• Inheritance of workflows: An approach to tackling problems related to change
• Modular construction and partial order semantics of Petri nets
• Operating Guidelines for Finite-State Services
• Petri nets with individual tokens

Cited in

(11)

• A trace-based service semantics guaranteeing deadlock freedom
• Error-pruning in interface automata
• Analysing and determining substitutability of different granularity Web services
• Compact representations and efficient algorithms for operating guidelines
• A trace-based view on operating guidelines
• Operating Guidelines for Finite-State Services
• Deciding Substitutability of Services with Operating Guidelines
• Compositional Service Trees
• Undecidability of accordance for open systems with unbounded message queues
• Trace- and failure-based semantics for responsiveness
• Relating fair testing and accordance for service replaceability

Describes a project that uses

Uses Software

• Zing
• BPEL2oWFN

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

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