Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Communication and Concurrency
Managing Business Processes via Workflow Technology
Proceedings of the 27th International Conference on Very Large Data Bases
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Analysis and simulation of Web services
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Specifying and Analyzing Early Requirements: Some Experimental Results
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Communications of the ACM - Service-oriented computing
Composing Web services on the Semantic Web
The VLDB Journal — The International Journal on Very Large Data Bases
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Describing and Reasoning on Web Services using Process Algebra
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Designing Web Services with Tropos
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Specification and verification of data-driven web services
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Formalizing Web Service Choreographies
Electronic Notes in Theoretical Computer Science (ENTCS)
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Soundness verification of business processes specified in the Pi-calculus
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
A mealy machine based modeling approach for semantic programming language
CAR'10 Proceedings of the 2nd international Asia conference on Informatics in control, automation and robotics - Volume 2
Interaction soundness for service orchestrations
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Modeling service compatibility with pi-calculus for choreography
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Analysis of web services composition and substitution via CCS
DEECS'06 Proceedings of the Second international conference on Data Engineering Issues in E-Commerce and Services
| Hi-index | 0.00 |
Web services are computational entities distributed on the web whose goal is to cooperate in order to work out simple or complex tasks. In this paper, we advocate the use of process algebra as an abstract and formal description formalism to tackle several issues raised in the context of web services. Abstract processes are helpful to describe services at different levels of expressiveness depending on the goal at hand and to compose them in order to build more complicated services. A great interest of using process algebra is that formal reasoning is made possible at any time and for many purposes (e.g. composition correctness) thanks to the existence of state-of-the-art tools. Abstract descriptions may also be used as a first step to develop certified web services following a well-defined method. We discuss all these ideas in this paper, reinforcing them with simple examples.