Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Fundamenta Informaticae

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: AltaRica

Sortuj według:

Ogranicz wyniki do:

A Timed Extension for ALTARICA

Cassez F., Pagetti C., Roux O.

Fundamenta Informaticae

2004

Vol. 62, nr 3,4

291--332

In this paper we present a timed extension of the AltaRica formalism. Following previous works, we first extend the semantics of AltaRicawith time and define timed components and timed nodes. Moreover we lift the priority features of AltaRicato the timed case. We obtain a timed version of AltaRica, called Timed AltaRica. Finally we give a translation of a Timed AltaRicaspecification into a usual timed automaton. These are the semantic foundations of a high-level hierarchical language for the specification of timed systems.

The AltaRica formalism for describing concurrent systems

Arnold A., Point G., Griffault A., Rauzy A.

Fundamenta Informaticae

1999

Vol. 40, Nr 2,3

109-124

The AltaRica formalism is designed for describing complex systems consisting of a number of interacting components. Its semantics is expressed in terms of transition systems so that a system described in this language can be analysed by any technique or tool applicable to transition systems. The components of a system have two kinds of interactions -event synchronisation, like in the synchronized product of transition systems of Arnold and Nivat, -interface coordination: with each component are associated interfaces whose values depend on the state of the component as well as on the values of interfaces of other components of the system. Another feature of AltaRica is the possibility of defining hierarchical systems: some subsystems can be encapsulated and their mutual interactions as well as their interactions with the rest of the system are supervised by a controller.