π-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions
Resumo
Enabling the specification of dynamic service-oriented architectures is a key challenge for an Architecture Description Language (ADL). This paper describes π-ADL for WS-Composition, a novel ADL that has its roots in the ArchWare European Project. It is a formal language specially designed for modeling dynamic architectures based on the typed π-calculus. While most ADLs focus on describing static architectures from a structural viewpoint, π-ADL focuses on formally describing dynamic architectures from both structural and behavioral viewpoints. How π-ADL for WS-Composition can be used for specifying dynamic Web Service compositions is introduced through a case study. Its design principles, concepts and notation are presented. The π-ADL for WS-Composition toolset is outlined.
Referências
Boreale M. et al.: SCC: a Service Centered Calculus. Proceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM 2006), LNCS 4184, Springer, Vienna, Austria, September 2006.
Chaudet C., Greenwood M., Oquendo F., Warboys B.: Architecture-Driven Software Engineering: Specifying, Generating, and Evolving Component-Based Software Systems. IEE Journal: Software Engineering, Vol. 147, No. 6, UK, December 2000.
Clements P. et al.: Documenting Software Architectures: Views and Beyond. Addison Wesley, 2003.
Guidi C., Lucchi R., Gorrieri R., Busi N., Zavattaro G.: SOCK: A Calculus for Service Oriented Computing. Proceedings of the 4th International Conference on Service Oriented Computing (ICSOC'06), LNCS 4294, Springer, Chicago, December 2006.
Greenwood M., Balasubramaniam D., Cimpan S., Kirby N.C., Mickan K., Morrison R., Oquendo F., Robertson I., Seet W., Snowdon R., Warboys B., Zirintsis E.: Process Support for Evolving Active Architectures. LNCS 2786, Springer, September 2003.
IEEE Std 1471-2000: IEEE Recommended Practice for Architectural Description of Software-Intensive Systems, October 2000.
Lapadula A., Pugliese R., Tiezzi F.: A Calculus for Orchestration of Web Services. Proceedings of the 16th European Symposium on Programming (ESOP'07), LNCS 4421, Springer, Braga, Portugal, March 2007.
Leymonerie F., Cimpan S., Oquendo F.: State of the Art on Architectural Styles: Classification and Comparison of Architecture Description Languages, Revue Génie Logiciel, No. 62, September 2002 (In French).
Marcos E., Cuesta C.E., Oquendo F. (Eds.): Special Issue: Software Architecture. International Journal of Cooperative Information Systems (IJCIS), Vol. 16, No. 3/4, September/December 2007.
Mateescu R., Oquendo F.: π-AAL: An Architecture Analysis Language for Formally Specifying and Verifying Structural and Behavioral Properties of Software Architectures. ACM SIGSOFT Software Engineering Notes, Vol. 31, No. 2, March 2006.
Medvidovic N., Taylor R.: A Framework for Classifying and Comparing Architecture Description Languages. IEEE Transactions on Software Engineering, 2000.
Medvidovic N., Dashofy E., Taylor R.: Moving Architectural Description from Under the Technology Lamppost. Information and Software Technology, Vol. 49, No. 1, 2007.
Milner R.: Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, 1999.
Morrison R., Balasubramaniam D., Oquendo F., Warboys B., Greenwood M.: An Active Architecture Approach to Dynamic Systems Co-evolution. Proceedings of the 1st European Conference on Software Architecture (ECSA’07), Madrid, Spain, September 2007.
Morrison R., Graham K., Balasubramaniam D., Mickan K., Oquendo F., Cimpan S., Warboys B., Snowdon B., Greenwood M.: Support for Evolving Software Architectures in the ArchWare ADL. Proceedings of the 4th Working IEEE/IFIP Conference on Software Architecture (WICSA’04), Oslo, Norway, June 2004.
OASIS: Reference Model for Service Oriented Architecture, V. 1.0, OASIS Standard, October 2006, URL: http://docs.oasis-open.org/soa-rm/v1.0/.
OASIS: Reference Architecture for Service Oriented Architecture, V. 1.0, OASIS Standard, 23 April 2008, URL: http://docs.oasis-open.org/soa-rm/soa-ra/v1.0/soa-ra-pr-01.html.
OMG: Business Process Modeling Notation Specification, OMG Final Adopted Specification, Ref. dtc/06-02-01, February 2006.
Oquendo F.: π-ADL: An Architecture Description Language based on the Higher Order Typed π-Calculus for Specifying Dynamic and Mobile Software 66 Architectures. ACM SIGSOFT Software Engineering Notes, Vol. 28, No. 8, USA, May 2004.
Oquendo F.: π-ARL: An Architecture Refinement Language for Formally Modelling the Stepwise Refinement of Software Architectures. ACM SIGSOFT Software Engineering Notes, Vol. 29, No. 5, September 2004.
Oquendo F.: Formally Modelling Software Architectures with the UML 2.0 Profile for π-ADL. ACM SIGSOFT Software Engineering Notes, Vol. 31, No. 1, January 2006.
Oquendo F.: π-Method: A Model-Driven Formal Method for Architecture-Centric Software Engineering. ACM SIGSOFT Software Engineering Notes, Vol. 31, No. 3, May 2006.
Oquendo F.: Software Architectures. Encyclopédie de l’informatique et des systèmes d’information, Editions Vuibert, November 2006 (In French).
Oquendo F. (Ed.): Proceedings of the European Conference on Software Architecture (ECSA’07). LNCS 4758, Springer, September 2007.
Oquendo F.: Tutorial of the ArchWare Architecture Description Language, Deliverable D1.9, ArchWare European RTD Project, IST-2001-32360, June 2005.
Oquendo F.: The π-Service Oriented Architecture Description Language: Abstract Syntax and Formal Semantics. VALORIA Technical Report, University of South Brittany, June 2008.
Oquendo F., Alloui I., Cimpan S., Verjus H.: The ArchWare Architecture Description Language: Abstract Syntax and Formal Semantics. Deliverable D1.1b, ArchWare European RTD Project, IST-2001-32360, December 2002.
Oquendo F., Warboys B., Morrison R., Dindeleux R., Gallo F., Garavel H., Occhipinti C.: ArchWare: Architecting Evolvable Software. LNCS 3047, Springer, May 2004.
Peltz C.: Web Services Orchestration and Choreography. IEEE Computer, Vol. 36, No. 10, October 2003.
Pourraz F.: Diapason: An Architecture-Centric Formal Approach for the Evolutionary Composition of Web Services, PhD Thesis, University of Savoie, France, December 2007 (In French).
Puhlmann F.: A Unified Formal Foundation for Service Oriented Architectures. Proceedings of Methoden, Konzepte und Technologien für die Entwicklung von dienstebasierten Informationssystemen (EMISA'06), Hamburg, October 2006.
Puhlmann F.: On the Application of a Theory for Mobile Systems to Business Process Management. PhD Thesis, University of Potsdam, Germany, 2007.
Ratcliffe O., Scibile L., Cimpan S., Oquendo F.: Towards an Inductive Definition and Evolution of Architectural Styles, Proceedings of the 17th International Conference on Software and Systems Engineering and their Applications (ICSSEA’04), Paris, France, December 2004.
van der Aalst W.M.P., ter Hofstede A.H.M., Dumas M.: Patterns of Process Modeling. In Process-Aware Information Systems: Bridging People and Software through Process Technology, Wiley & Sons, 2005.
W3C: Web Services Architecture, W3C Working Group Note, February 2004, URL: http://www.w3.org/TR/2004/NOTE-ws-arch-20040211/.
W3C: Web Services Description Language (WSDL), V. 2.0, W3C Recommendation, 26 June 2007, URL: http://www.w3.org/TR/2007/REC-wsdl20-20070626.
Chaudet C., Greenwood M., Oquendo F., Warboys B.: Architecture-Driven Software Engineering: Specifying, Generating, and Evolving Component-Based Software Systems. IEE Journal: Software Engineering, Vol. 147, No. 6, UK, December 2000.
Clements P. et al.: Documenting Software Architectures: Views and Beyond. Addison Wesley, 2003.
Guidi C., Lucchi R., Gorrieri R., Busi N., Zavattaro G.: SOCK: A Calculus for Service Oriented Computing. Proceedings of the 4th International Conference on Service Oriented Computing (ICSOC'06), LNCS 4294, Springer, Chicago, December 2006.
Greenwood M., Balasubramaniam D., Cimpan S., Kirby N.C., Mickan K., Morrison R., Oquendo F., Robertson I., Seet W., Snowdon R., Warboys B., Zirintsis E.: Process Support for Evolving Active Architectures. LNCS 2786, Springer, September 2003.
IEEE Std 1471-2000: IEEE Recommended Practice for Architectural Description of Software-Intensive Systems, October 2000.
Lapadula A., Pugliese R., Tiezzi F.: A Calculus for Orchestration of Web Services. Proceedings of the 16th European Symposium on Programming (ESOP'07), LNCS 4421, Springer, Braga, Portugal, March 2007.
Leymonerie F., Cimpan S., Oquendo F.: State of the Art on Architectural Styles: Classification and Comparison of Architecture Description Languages, Revue Génie Logiciel, No. 62, September 2002 (In French).
Marcos E., Cuesta C.E., Oquendo F. (Eds.): Special Issue: Software Architecture. International Journal of Cooperative Information Systems (IJCIS), Vol. 16, No. 3/4, September/December 2007.
Mateescu R., Oquendo F.: π-AAL: An Architecture Analysis Language for Formally Specifying and Verifying Structural and Behavioral Properties of Software Architectures. ACM SIGSOFT Software Engineering Notes, Vol. 31, No. 2, March 2006.
Medvidovic N., Taylor R.: A Framework for Classifying and Comparing Architecture Description Languages. IEEE Transactions on Software Engineering, 2000.
Medvidovic N., Dashofy E., Taylor R.: Moving Architectural Description from Under the Technology Lamppost. Information and Software Technology, Vol. 49, No. 1, 2007.
Milner R.: Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, 1999.
Morrison R., Balasubramaniam D., Oquendo F., Warboys B., Greenwood M.: An Active Architecture Approach to Dynamic Systems Co-evolution. Proceedings of the 1st European Conference on Software Architecture (ECSA’07), Madrid, Spain, September 2007.
Morrison R., Graham K., Balasubramaniam D., Mickan K., Oquendo F., Cimpan S., Warboys B., Snowdon B., Greenwood M.: Support for Evolving Software Architectures in the ArchWare ADL. Proceedings of the 4th Working IEEE/IFIP Conference on Software Architecture (WICSA’04), Oslo, Norway, June 2004.
OASIS: Reference Model for Service Oriented Architecture, V. 1.0, OASIS Standard, October 2006, URL: http://docs.oasis-open.org/soa-rm/v1.0/.
OASIS: Reference Architecture for Service Oriented Architecture, V. 1.0, OASIS Standard, 23 April 2008, URL: http://docs.oasis-open.org/soa-rm/soa-ra/v1.0/soa-ra-pr-01.html.
OMG: Business Process Modeling Notation Specification, OMG Final Adopted Specification, Ref. dtc/06-02-01, February 2006.
Oquendo F.: π-ADL: An Architecture Description Language based on the Higher Order Typed π-Calculus for Specifying Dynamic and Mobile Software 66 Architectures. ACM SIGSOFT Software Engineering Notes, Vol. 28, No. 8, USA, May 2004.
Oquendo F.: π-ARL: An Architecture Refinement Language for Formally Modelling the Stepwise Refinement of Software Architectures. ACM SIGSOFT Software Engineering Notes, Vol. 29, No. 5, September 2004.
Oquendo F.: Formally Modelling Software Architectures with the UML 2.0 Profile for π-ADL. ACM SIGSOFT Software Engineering Notes, Vol. 31, No. 1, January 2006.
Oquendo F.: π-Method: A Model-Driven Formal Method for Architecture-Centric Software Engineering. ACM SIGSOFT Software Engineering Notes, Vol. 31, No. 3, May 2006.
Oquendo F.: Software Architectures. Encyclopédie de l’informatique et des systèmes d’information, Editions Vuibert, November 2006 (In French).
Oquendo F. (Ed.): Proceedings of the European Conference on Software Architecture (ECSA’07). LNCS 4758, Springer, September 2007.
Oquendo F.: Tutorial of the ArchWare Architecture Description Language, Deliverable D1.9, ArchWare European RTD Project, IST-2001-32360, June 2005.
Oquendo F.: The π-Service Oriented Architecture Description Language: Abstract Syntax and Formal Semantics. VALORIA Technical Report, University of South Brittany, June 2008.
Oquendo F., Alloui I., Cimpan S., Verjus H.: The ArchWare Architecture Description Language: Abstract Syntax and Formal Semantics. Deliverable D1.1b, ArchWare European RTD Project, IST-2001-32360, December 2002.
Oquendo F., Warboys B., Morrison R., Dindeleux R., Gallo F., Garavel H., Occhipinti C.: ArchWare: Architecting Evolvable Software. LNCS 3047, Springer, May 2004.
Peltz C.: Web Services Orchestration and Choreography. IEEE Computer, Vol. 36, No. 10, October 2003.
Pourraz F.: Diapason: An Architecture-Centric Formal Approach for the Evolutionary Composition of Web Services, PhD Thesis, University of Savoie, France, December 2007 (In French).
Puhlmann F.: A Unified Formal Foundation for Service Oriented Architectures. Proceedings of Methoden, Konzepte und Technologien für die Entwicklung von dienstebasierten Informationssystemen (EMISA'06), Hamburg, October 2006.
Puhlmann F.: On the Application of a Theory for Mobile Systems to Business Process Management. PhD Thesis, University of Potsdam, Germany, 2007.
Ratcliffe O., Scibile L., Cimpan S., Oquendo F.: Towards an Inductive Definition and Evolution of Architectural Styles, Proceedings of the 17th International Conference on Software and Systems Engineering and their Applications (ICSSEA’04), Paris, France, December 2004.
van der Aalst W.M.P., ter Hofstede A.H.M., Dumas M.: Patterns of Process Modeling. In Process-Aware Information Systems: Bridging People and Software through Process Technology, Wiley & Sons, 2005.
W3C: Web Services Architecture, W3C Working Group Note, February 2004, URL: http://www.w3.org/TR/2004/NOTE-ws-arch-20040211/.
W3C: Web Services Description Language (WSDL), V. 2.0, W3C Recommendation, 26 June 2007, URL: http://www.w3.org/TR/2007/REC-wsdl20-20070626.
Publicado
20/08/2008
Como Citar
OQUENDO, Flavio.
π-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions. In: SIMPÓSIO BRASILEIRO DE COMPONENTES, ARQUITETURAS E REUTILIZAÇÃO DE SOFTWARE (SBCARS), 2. , 2008, Porto Alegre/RS.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2008
.
p. 52-66.
DOI: https://doi.org/10.5753/sbcars.2008.46105.
