Parallel composition of assumption-commitment specifications

被引：12

作者：

Cau, A ^{[1
]}

Collette, P ^{[1
]}

机构：

[1] UNIV CATHOLIQUE LOUVAIN, DEPT INGN INFORMAT, B-1348 LOUVAIN, BELGIUM

来源：

ACTA INFORMATICA | 1996年 / 33卷 / 02期

关键词：

D O I：

10.1007/s002360050039

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

We unify the parallel composition rule of assumption-commitment specifications for respectively state-based and message-based concurrent processes. Without providing language-dependent definitions, we first assume that the model of a process can be given as a set of 'sequences' (e.g., traces, state sequences). Then we assume the existence of a merging operator that captures the compositionality of that model. On this basis, we formulate a semantic parallel composition rule for assumption-commitment specifications wherein the merging operator behaves as a parameter. Then, by providing suitable language-specific definitions for the model of a process and the merging operator, we transform the semantic rule into syntactic ones, both for the state-based and message-based approaches to concurrency.

引用

页码：153 / 176

页数：24