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

DOI10.1016/J.JLAP.2010.01.001zbMATH Open1209.68133OpenAlexW1965554078MaRDI QIDQ615893FDOQ615893

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A theory of contracts for web services
• Formal semantics and analysis of control flow in WS-BPEL
• A generic type system for the pi-calculus
• Types as models
• Fundamental Approaches to Software Engineering
• A type system for lock-free processes
• Strong normalisation in the \(\pi\)-calculus
• Algebraic Methodology and Software Technology
• Title not available (Why is that?)
• Title not available (Why is that?)

   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 👍 👎
• Title not available (Why is that?) 👍 👎

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)