Multiple Viewpoint Contract-Based Specification and Design

被引：0

作者：

Benveniste, Albert ^{[1
]}

Caillaud, Benoit ^{[1
]}

Ferrari, Alberto ^{[2
]}

Mangeruca, Leonardo ^{[2
]}

Passerone, Roberto ^{[2
,3
]}

Sofronis, Christos ^{[2
]}

机构：

[1] IRISA, INRIA, Rennes, France

[2] PARADES GEIE, Rome, Italy

[3] Univ Trent, Trento, Italy

来源：

FORMAL METHODS FOR COMPONENTS AND OBJECTS | 2008年 / 5382卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We present the mathematical foundations and the design methodology of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support "speculative design". a design methodology in which distributed designers develop different aspects of the overall system, in a concurrent but controlled way. Our generic mathematical model of contract supports this style of development. This is achieved by focusing on behaviors, by supporting the notion of "rich component" where diverse (functional and non-functional) aspects of the system can be considered and combined, by representing rich components via their set of associated contracts, and by formalizing the whole process of component composition.

引用

页码：200 / +

页数：3

共 21 条

[1]

[Anonymous], IEEE COMPUTER

[2]

Back Ralph-Johan, 1998, GRADUATE TEXTS COMPU

[3] Contracts, games, and refinement [J].

Back, RJ ;

von Wright, J .

INFORMATION AND COMPUTATION, 2000, 156 (1-2) :25-45

[4] A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES [J].

BROOKES, SD ;

HOARE, CAR ;

ROSCOE, AW .

JOURNAL OF THE ACM, 1984, 31 (03) :560-599

[5]

BROOKES SD, 1983, LNCS, V154

[6] Overcoming heterophobia: Modeling concurrency in heterogeneous systems [J].

Burch, J ;

Passerone, R ;

Sangiovanni-Vincentelli, AL .

SECOND INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEMS DESIGN, PROCEEDINGS, 2001, :13-32

[7]

BUTZ H, 2007, INT WORKSH AIRCR SYS

[8]

Chakrabarti A, 2003, LECT NOTES COMPUT SC, V2855, P117

[9] Controlling speculative design processes using rich component models [J].

Damm, W .

ACSD2005: Fifth International Conference on Application of Concurrency to System Design, Proceedings, 2005, :118-119

[10]

DAMM W, 2006, P 6 ACM IEEE INT C E

← 1 2 3 →