Governing Runtime Architectural Change

Unnamed
Bob Balzer has done some work on structural constraints at the architectural-level using an imperative languages with predicates. See [Bal96].

Armani
Robert Monroe Armani language augments the ACME architecture interchange language with a declarative constraint specification language.

Rapide
The Rapide modeling and simulation language permits behavioral constraints (as opposed to structural constraints) on modules. See [LV95].

Wright
Wright permits constraints over allowable communication protocols. See [AG97] and [ADG98].

Return to the Dynamic Software Architectures home page.
These pages are maintained by Peyman Oreizy. Send comments via e-mail.