A Stateful Architecture Description Language to Support Component Composition