Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Fundamenta Informaticae

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Synthesis of Reo Connectors for Strategies and Controllers

Baier Ch., Klein J., Klüppelholz S.

Fundamenta Informaticae

2014

Vol. 130, nr 1

1--20

In controller synthesis, i.e., the question whether there is a controller or strategy to achieve some objective in a given system, the controller is often realized as some kind of automaton. In the context of the exogenous coordination language Reo, where the coordination glue code between the components is realized as a network of channels, it is desirable for such synthesized controllers to also take the form of a Reo connector built from a repertoire of basic channels. In this paper, we address the automatic construction of such Reo connectors directly from a constraint automaton representation.

On topological hierarchies of temporal properties

Baier Ch., Kwiatkowska M.

Fundamenta Informaticae

2000

Vol. 41, Nr 3

259-294

The classification of properties of concurrent programs into safety and liveness was first proposed by Lamport. Since then several characterizations of hierarchies of properties have been given, see e.g.; this includes syntactic characterizations (in terms classes of formulas of logics such as the linear temporal logic) as well as extensional (as sets of computations in some abstract domain). The latter often admits a topological characterization with respect to the natural topologies of the domain of computations. We introduce a general notion of a linear time model of computation which consists of partial and completed computations satisfying certain axioms. The model is endowed with a natural topology. We show that the usual topologies on strings, Mazurkiewicz traces and pomsets arise as special cases. We then introduce a hierarchy of properties including safety, liveness, guarantee, response and persistence properties, and show that our definition subsumes the hierarchies of: Alpern & Schneider ; Chang, Manna & Pnueli; and Kwiatkowska, Peled & Penczek. Syntactic characterizations of the properties in the hierarchy in terms of temporal logic are also studied.