A Stateful Architecture Description Language and its Support Development Environment