Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
On Relating and Integrating Two Trust Management Frameworks
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards the theoretical foundation of choreography
Proceedings of the 16th international conference on World Wide Web
Web services choreography and orchestration in Reo and constraint automata
Proceedings of the 2007 ACM symposium on Applied computing
Configurations of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
A rigorous approach to orchestrating grid services
Computer Networks: The International Journal of Computer and Telecommunications Networking
Model checking service compositions under resource constraints
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A reuse-based approach to the correct and automatic composition of web-services
International workshop on Engineering of software services for pervasive environments: in conjunction with the 6th ESEC/FSE joint meeting
Workflow models enhanced with process algebra verification for industrial business processes
ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
Encoding process algebraic descriptions of web services into BPEL
Web Intelligence and Agent Systems
A Survey of Formal Verification for Business Process Modeling
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part II
A mechanism for grid service composition behavior specification and verification
Future Generation Computer Systems
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
Beyond User-to-User Access Control for Online Social Networks
ICICS '08 Proceedings of the 10th International Conference on Information and Communications Security
Verifying Interaction Protocol Compliance of Service Orchestrations
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
The VLDB Journal — The International Journal on Very Large Data Bases
A perspective on service orchestration
Science of Computer Programming
Assembling Composite Web Services from Autonomous Components
Proceedings of the 2007 conference on Emerging Artificial Intelligence Applications in Computer Engineering: Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies
An Approach to Analyzing Dynamic Trustworthy Service Composition
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Model-Checking Behavioral Specification of BPEL Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Process algebraic support for web service composition
ACM SIGSOFT Software Engineering Notes
Translating FSP into LOTOS and networks of automata
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Synthesis of web services orchestrators in a timed setting
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Model Checking of Component Protocol Conformance -- Optimizations by Reducing False Negatives
Electronic Notes in Theoretical Computer Science (ENTCS)
Real-time web services orchestration and choreography
Proceedings of the 6th International Workshop on Enterprise & Organizational Modeling and Simulation
Modeling and reasoning about service behaviors and their compositions
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Service research challenges and solutions for the future internet
PEWS platform: a web services composition environment
Proceedings of the 6th International Workshop on Enhanced Web Service Technologies
A non-functional property based service selection and service verification model
UIC'11 Proceedings of the 8th international conference on Ubiquitous intelligence and computing
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Using process algebra for web services: early results and perspectives
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Deploying π-calculus technology in Inter-organizational process
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Environment ontology-based capability specification for web service discovery
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Science of Computer Programming
Dependability and flexibility centered approach for composite web services modeling
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Towards the formal model and verification of web service choreography description language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
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
Change impact analysis in service-based business processes
Service Oriented Computing and Applications
Journal of Computer Science and Technology - Special issue on Natural Language Processing
Design of a BPEL verification tool
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
From model-checking to automated testing of security protocols: bridging the gap
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Protocol conformance checking of services with exceptions
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Checking correctness of services modeled as priced timed automata
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Specifying and Composing Web Services with an Environment Ontology-Based Approach
International Journal of Web Services Research
GOS: a global optimal selection strategies for QoS-aware web services composition
Service Oriented Computing and Applications
Hi-index | 0.00 |
We argue that essential facets of web services,and especially those useful to understand their interaction,can be described using process-algebraic notations. Web servicedescription and execution languages such as BPEL are essentiallyprocess description languages; they are based on primitives forbehaviour description and message exchange which can also befound in more abstract process algebras. One legitimate questionis therefore whether the formal approach and the sophisticatedtools introduced for process algebra can be used to improve theeffectiveness and the reliability of web service development. Ourinvestigations suggest a positive answer, and we claim that processalgebras provide a very complete and satisfactory assistanceto the whole process of web service development. We showon a case study that readily available tools based on processalgebra are effective at verifying that web services conformtheir requirements and respect properties. We advocate theiruse both at the design stage and for reverse engineering issues.More prospectively, we discuss how they can be helpful to tacklechoreography issues.