Automata for analysing service contracts

DOI10.1007/978-3-662-45917-1_3MaRDI QIDQ2811923zbMATH OpenOpenAlexFDO

Authors D. Basile, Pierpaolo Degano, Gian Luigi Ferrari

Publication date 9 June 2016

Published in Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-45917-1_3

Mathematics Subject Classification ID

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

Recommendations

• Automata for Specifying and Orchestrating Service Contracts
• From orchestration to choreography through contract automata
• Relating two automata-based models of orchestration and choreography
• Contract Based Multi-party Service Composition
• A foundational theory of contracts for multi-party service composition

Cites work

• A theory of agreements and protection
• A theory of contracts for web services
• Automata for analysing service contracts
• Behavioural contracts with request-response operations
• Contract-oriented computing in CO₂
• Contracts for Mobile Processes
• From orchestration to choreography through contract automata
• Lending Petri nets and contracts
• Multiparty asynchronous session types
• Multiparty compatibility in communicating automata: characterisation and synthesis of global session types
• Nonlinear integer programming
• On Communicating Finite-State Machines
• On global types and multi-party sessions
• Synthesising Choreographies from Local Session Types
• Two-way pushdown automata

Cited in

(16)

• A fixed-points based framework for compliance of behavioural contracts
• Modelling and analysis of normative documents
• Relating two automata-based models of orchestration and choreography
• Automata for analysing service contracts
• Contracts for schedulability analysis
• Automata for Specifying and Orchestrating Service Contracts
• Automatic Conflict Detection on Contracts
• Compliance in behavioural contracts: a brief survey
• Validation of decentralised smart contracts through game theory and formal methods
• Orchestrated session compliance
• History Dependent Automata for Service Compatibility
• Contract Based Multi-party Service Composition
• Contract-Directed Synthesis of Simple Orchestrators
• A foundational theory of contracts for multi-party service composition
• From orchestration to choreography through contract automata
• Contract-based discovery of Web services modulo simple orchestrators

This page was built for publication: Automata for analysing service contracts

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