2012 Ninth International Conference on Quantitative Evaluation of Systems

Format:

Book

Author/Creator:

IEEE Staff, author, issuing body.

Contributor:

IEEE Staff, Contributor.

Language:

English

Subjects (All):

Technology.

Physical Description:

1 online resource

Place of Publication:

[Place of publication not identified] IEEE 2012

Language Note:

English

Summary:

Synthesis is the automated construction of a system from its specification. In standard temporal-synthesis algorithms, it is assumed the system is constructed from scratch. This, of course, rarely happens in real life. In real life, almost every non-trivial system, either in hardware or in software, relies heavily on using libraries of reusable components. Furthermore, other contexts, such as web-service orchestration and choreography, can also be modeled as synthesis of a system from a library of components. In this work we describe and study the problem of compositional temporal synthesis, in which we synthesize systems from libraries of reusable components. We define two notions of composition: data-flow composition, which we show is undecidable, and control-flow composition, which we show is decidable. We then explore a variation of control-flow compositional synthesis, in which we construct reliable systems from libraries of unreliable components.

Notes:

Bibliographic Level Mode of Issuance: Monograph

ISBN:

9780769547817

0769547818