Does My Service Have Partners?

DOI10.1007/978-3-642-00899-3_9zbMath1235.68321OpenAlexW1515425532MaRDI QIDQ3623824

Karsten Schmidt

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: https://doi.org/10.1007/978-3-642-00899-3_9

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 (7)

Software Engineering with Petri Nets: A Web Service and Agent Perspective ⋮ Distributed synthesis of asynchronously communicating distributed process models ⋮ Undecidability of accordance for open systems with unbounded message queues ⋮ Trace- and failure-based semantics for responsiveness ⋮ Associative composition of components with double-sided interfaces ⋮ Relating fair testing and accordance for service replaceability ⋮ Event-based functional decomposition

Uses Software

• BPEL2PN
• BPEL2oWFN

Cites Work

• Partial (set) 2-structures. I: Basic notions and the representation problems
• Can I find a partner? Undecidability of partner existence for open nets
• Web services. Concepts, architectures and applications
• The synthesis problem of Petri nets
• Operating Guidelines for Finite-State Services
• Graph-Based Algorithms for Boolean Function Manipulation
• Supervisory Control of a Class of Discrete Event Processes
• Fundamental Approaches to Software Engineering
• Lectures on Concurrency and Petri Nets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Does My Service Have Partners?