On the potential advantages of exploiting behavioural information for contract-based service discovery and composition

DOI10.1016/J.JLAP.2010.01.001MaRDI QIDQ615893zbMATH OpenOpenAlexFDO

Authors Antonio Brogi

Publication date 7 January 2011

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2010.01.001

zbMATH Keywords

service-oriented computingbehaviour informationservice descriptions

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Contract Based Multi-party Service Composition
• Behavioural contracts with request-response operations
• A foundational theory of contracts for multi-party service composition
• Contract-based discovery of Web services modulo simple orchestrators
• scientific article; zbMATH DE number 2080426

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• A generic type system for the pi-calculus
• A theory of contracts for web services
• A type system for lock-free processes
• Algebraic Methodology and Software Technology
• Formal semantics and analysis of control flow in WS-BPEL
• Fundamental Approaches to Software Engineering
• Modeling software with finite state machines. A practical approach.
• On the use of behavioural equivalences for web services' development
• Strong normalisation in the \(\pi\)-calculus
• Types as models: model checking message-passing programs

This page was built for publication: On the potential advantages of exploiting behavioural information for contract-based service discovery and composition

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