Enhancing the expressivity of PADL for specifying Web Services Architectures

Authors:
Gregorio Díaz;María-Emilia Cambronero;M. Llanos Tobarra;Valentín Valero;Fernando L. Pelayo
Affiliations:
ReTiCS group at University of Castilla-La Mancha-Escuela Politécnica Superior de Albacete. 02071-SPAIN, E-mail:[gregorio,emicp,mtobarra,valentin,fpelayo]@dsi.uclm.es;ReTiCS group at University of Castilla-La Mancha-Escuela Politécnica Superior de Albacete. 02071-SPAIN, E-mail:[gregorio,emicp,mtobarra,valentin,fpelayo]@dsi.uclm.es;ReTiCS group at University of Castilla-La Mancha-Escuela Politécnica Superior de Albacete. 02071-SPAIN, E-mail:[gregorio,emicp,mtobarra,valentin,fpelayo]@dsi.uclm.es;ReTiCS group at University of Castilla-La Mancha-Escuela Politécnica Superior de Albacete. 02071-SPAIN, E-mail:[gregorio,emicp,mtobarra,valentin,fpelayo]@dsi.uclm.es;ReTiCS group at University of Castilla-La Mancha-Escuela Politécnica Superior de Albacete. 02071-SPAIN, E-mail:[gregorio,emicp,mtobarra,valentin,fpelayo]@dsi.uclm.es
Venue:
Proceedings of the 2008 conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2008
Year:
2008

Citing 11
Cited 1

Process Algebra with Asynchronous Communication Mechanisms

Seminar on Concurrency, Carnegie-Mellon University
Asynchronous Communication in Real Space Process Algebra

Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Exogenous and Endogenous Extensions of Architectural Types

COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Modeling and validation of service-oriented architectures: application vs. style

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions

WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
ContextUML: A UML-Based Modeling Language for Model-Driven Development of Context-Aware Web Services Development

ICMB '05 Proceedings of the International Conference on Mobile Business
On the usability of process algebra: an architectural view

Theoretical Computer Science - Process algebra
Application of formal methods to the analysis of web services security

EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Automatic translation of WS-CDL choreographies to timed automata

EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Analysis and verification of time requirements applied to the web services composition

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
A formal approach to service component architecture

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods

Time Ordering Architecture in SCA

Proceedings of the 2009 conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2009

Quantified Score

Hi-index	0.00

Visualization

Abstract

Process Algebra Description Language, PADL in short, is a description language for describing structural components specified as individual process working in parallel with communication capabilities. This description is close to what we consider a web service except for the communication process. The PADL language is consider for synchronous communication while we need an asynchronous definition in communications terms. Then we propose in this work an extension of PADL for specifying Web Services Architectures.