Preserving Contract Satisfiability Under Non-monotonic Composition

Jonas Westman; Mattias Nyberg

doi:10.1007/978-3-319-92612-4_10

通信Dans Un Congrès 安妮：2018

非单调组合下保持合同可满足性

(1),(1, 2)

1
2

乔纳斯·韦斯特曼

功能：奥特尔
人员ID:1033822

KTH皇家理工学院[斯德哥尔摩]

马蒂亚斯·尼伯格

功能：奥特尔

KTH皇家理工学院[斯德哥尔摩]

Scania CV AB公司[Södertälje]

Résumé

如果两个组件的组合实现了规范$$\mathcal{S}$$，而这一事实通常并不遵循这些组件中实现$$\mathcal{S}$$的一个，那么契约理论嵌入了非单调组合（与实现有关）。与单调合成相比，非单调合成提供了额外的表达能力，可以指定仅对组件局部保持的属性，因为非单调合成不会强制在合成时保留所有属性。尽管这种额外的表现力显然是必要的，但它意味着确实需要单调的情况需要明确管理。本文通过引入嵌入非单调合成的契约理论来阐述这一主题，并在该理论的背景下探讨确保单调合成的条件。

Mots clés公司

合同非单调组成可满足性

与葡萄园

信息[cs] Réseaux etélél通信[cs.NI]

菲奇尔校长

469043_1_En_10_章.pdf（315.26 Ko）

原籍	菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

哈尔·伊菲普 : Connectez-vous浇注接触器le contributer

https://inria.hal.science/hal-01824811

Soumis le：2018年7月27日-15:55:15

Dernière修改le:mercredi 2023-07:52:03 9月13日

长期存档：jeudi 27 septembre 2018-04:30:42

日期和版本

hal-01824811，版本1 (27-06-2018)

执照

父爱

身份证明人

HAL标识： hal-01824811，版本1
内政部： 10.1007/978-3-319-92612-4_10

Citer公司

Jonas Westman，Mattias Nyberg。非单调复合下的保合同可满足性。第38届分布式对象、组件和系统形式化技术国际会议（FORTE），2018年6月，西班牙马德里。第181-195页，⟨10.1007/978-3-319-92612-4_10⟩.⟨hal-01824811⟩

出口商

BibTeX公司 XML-TEI公司都柏林核心元数据集 DC条款尾注数据引用

IFIP-LNCS公司国际投资促进会 IFIP-TC公司 IFIP-WG公司 IFIP-c6型 IFIP-WG6-1 IFIP-FORTE公司 IFIP-DISCOTEC公司 IFIP-LNCS-10854

72 磋商

44 交易费用