Governing Runtime Architectural Change
Bob Balzer has done some work on structural constraints at the architectural-level using an imperative languages with predicates. See [Bal96].
Robert Monroe Armani language augments the ACME architecture interchange language with a declarative constraint specification language.
The Rapide modeling and simulation language permits behavioral constraints (as opposed to structural constraints) on modules. See [LV95].
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.