In: Computer and Information Sciences - ISCIS 2003, pages 1008-1018. Volume 2869 of Lecture Notes in Computer Science --- Springer-Verlag, October 2003.
Abstract: Architectural description languages (ADLs) are used to specify a high-level, compositional view of a software application, specifying how a system is to be composed from coarse-grain components. ADLs usually come equipped with a formal dynamic semantics, facilitating specification and analysis of distributed and event-based systems. In this paper, we describe the, an ADL framework that provides both a process and a structural view of web service-based systems. We use Petri-net descriptions to give a dynamic view of business workflow for web service collaboration. We adapt the approach of [cite] to define a form of design-by-contract for configuring workflow architectures. This serves as a configuration-level means of constructing safer, more robust systems.