A schema language for coordinating construction and composition of partial behavior descriptions