publication venue for Constructive Description Logics Hybrid-Style. 273:21-31. 2011 A Rewriting Semantics for a Software Architecture Description Language. 130:345-377. 2005