Preserving Contract Satisfiability Under Non-monotonic Composition

DOI10.1007/978-3-319-92612-4_10MaRDI QIDQ5881541zbMATH OpenOpenAlexFDO

Authors Jonas Westman, Mattias Nyberg

Publication date 10 March 2023

Published in Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-92612-4_10

zbMATH Keywords

contractsnonmonotonic compositionsatisfiability

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Component composition preserving behavioral contracts based on communication traces
• A foundational theory of contracts for multi-party service composition
• Implementation and Application of Automata
• Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
• An explanatory presentation of composition rules for assumption- commitment specifications

Cites work

• A Theory of Communicating Sequential Processes
• An axiomatic basis for computer programming
• Conditions of contracts for separating responsibilities in heterogeneous systems
• scientific article; zbMATH DE number 1754637 (Why is no real title available?)
• Multiple Viewpoint Contract-Based Specification and Design

Cited in

(1)

• Unilateral substitutability implies substitutable completability in many-to-one matching with contracts

This page was built for publication: Preserving Contract Satisfiability Under Non-monotonic Composition

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