Flavio Oquendo. 2008. π-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions. In Anais do II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, agosto 20, 2008, Porto Alegre/RS, Brasil. SBC, Porto Alegre, Brasil, 52-66. DOI: https://doi.org/10.5753/sbcars.2008.46105.