Component-Based Specification of Distributed Systems

被引：2

作者：

Malcolm, Grant ^{[1
]}

机构：

[1] Univ Liverpool, Dept Comp Sci, Liverpool, Merseyside, England

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2006年 / 160卷

关键词：

Component-based software; algebraic specification; hidden algebra; distributed systems; amalgamation;

D O I：

10.1016/j.entcs.2006.05.024

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We suggest that hidden algebra can provide a setting for component specification and composition that has the advantages of algebraic specification, without the disadvantages of object-oriented approaches where communication between components is mediated solely by method invocation. We propose a basic composition mechanism for hidden algebraic component specifications that is based on communication through shared subcomponents, and show that this composition mechanism on specifications extends naturally to allow models (or implementations) of the component specifications to be amalgamated into a model of the composite system.

引用

页码：211 / 224

页数：14

共 16 条

[1]

Andrade LF, 2004, J UNIVERS COMPUT SCI, V10, P375

[2] Abstract Behavior Types: a foundation model for components and their composition [J].

Arbab, F .

SCIENCE OF COMPUTER PROGRAMMING, 2005, 55 (1-3) :3-52

[3]

Barbosa L. S, 2000, P FMOODS 2000, P397, DOI [10.1007/978-0-387-35520-7_20, DOI 10.1007/978-0-387-35520-7_20]

[4]

Barbosa LS, 2003, J UNIVERS COMPUT SCI, V9, P891

[5]

Cirstea C., 1998, P 12 WORKSH ALG DEV, P174

[6]

Ehrig H., 1985, MONOGRAPHS THEORETIC, V6

[7] A hidden agenda [J].

Goguen, J ;

Malcolm, G .

THEORETICAL COMPUTER SCIENCE, 2000, 245 (01) :55-101

[8] Circular coinductive rewriting [J].

Goguen, J ;

Lin, K ;

Rosu, G .

FIFTEENTH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2000, :123-131

[9]

Goguen J. A., 1994, Recent Trends in Data Type Specification. 9th Workshop on Specification of Abstract Data Types. Joint with the 4th COMPASS Workshop. Selected Papers, P1

[10]

Goguen J. A., 1994, CLASSICAL MIND ESSAY, P119

← 1 2 →