Communicating sequential processes
Communicating sequential processes
Communication and concurrency
Process algebra
Computer-aided verification of coordinating processes: the automata-theoretic approach
Computer-aided verification of coordinating processes: the automata-theoretic approach
Handbook of Process Algebra
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Timed CSP: Theory and Practice
Proceedings of the Real-Time: Theory in Practice, REX Workshop
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
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
Requirements-Driven Verification of Web Services
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
Representing and analysing composed web services using Cress
Journal of Network and Computer Applications
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming
A rigorous approach to orchestrating grid services
Computer Networks: The International Journal of Computer and Telecommunications Networking
Foundations and Trends in Web Science
Analyzing interacting WS-BPEL processes using flexible model generation
Data & Knowledge Engineering
Translating unstructured workflow processes to readable BPEL: Theory and implementation
Information and Software Technology
Conformance checking of service behavior
ACM Transactions on Internet Technology (TOIT)
A Rigorous Model of Service Component Architecture
Electronic Notes in Theoretical Computer Science (ENTCS)
A Calculus for Generation, Verification and Refinement of BPEL Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
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
BPEL to BPMN: The Myth of a Straight-Forward Mapping
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Design and Analysis of the Composed Telecom Services
Service-Oriented Computing - ICSOC 2007 Workshops
Implementing rigorous web services with process algebra: navigation plan for web services
Proceedings of the 2009 ACM symposium on Applied Computing
A Mapping from Pi-Calculus into BPEL
Proceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering
Set Algebra for Service Behavior: Applications and Constructions
BPM '09 Proceedings of the 7th International Conference on Business Process Management
A Rigorous Methodology for Composing Services
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Towards Adaptable SOA: Model Driven Development, Context and Aspect
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
An Approach to Analyzing Dynamic Trustworthy Service Composition
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Process algebraic support for web service composition
ACM SIGSOFT Software Engineering Notes
Operating guidelines for finite-state services
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
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
PGWFT: a petri net based grid workflow verification and optimization toolkit
GPC'08 Proceedings of the 3rd international conference on Advances in grid and pervasive computing
Modeling web service interactions using the coordination language Reo
WS-FM'07 Proceedings of the 4th international conference on Web services and 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
Graphical composition of grid services
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
Transforming XPDL to Petri nets
BPM'07 Proceedings of the 2007 international conference on Business process management
A property based specification formalism classification
Journal of Systems and Software
A tool for rapid development of WS-BPEL applications
ACM SIGAPP Applied Computing Review
Strong non-leak guarantees for workflow models
Proceedings of the 2011 ACM Symposium on Applied Computing
Verifying workflow processes: a transformation-based approach
Software and Systems Modeling (SoSyM)
Transformational design of business processes for SOA
CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Analyzing interacting BPEL processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
Towards formal verification of web service composition
BPM'06 Proceedings of the 4th international conference on Business Process Management
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Transforming BPEL to petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
WorkflowNet2BPEL4WS: a tool for translating unstructured workflow processes to readable BPEL
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
Web service mining and verification of properties: an approach based on event calculus
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
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
WSCMon: runtime monitoring of web service orchestration based on refinement checking
Service Oriented Computing and Applications
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
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
Client synthesis for aspect oriented web services
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Rigorous development of composite grid services
Journal of Network and Computer Applications
Design of a BPEL verification tool
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
When Parameterized Model Driven Development Supports Aspect Based SOA
International Journal of E-Business Research
Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution
International Journal of Web Services Research
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
International Journal of Metadata, Semantics and Ontologies
Model-Driven Approaches to Service Composition
International Journal of Adaptive, Resilient and Autonomic Systems
Towards a formal analysis of dynamic reconfiguration in WS-BPEL
Intelligent Decision Technologies
| Hi-index | 0.00 |
It is now well-admitted that formal methods are helpful for many issues raised in the Web service area. In this paper we present a framework for the design and the verification of WSs using process algebras and their tools. We define a two-way mapping between abstract specifications written using these calculi and executable Web services written in BPEL4WS; the translation includes also compensation, event, and fault handlers. The following choices are available: design and verification in BPEL4WS, using process algebra tools, or design and verification in process algebra and automatically obtaining the corresponding BPEL4WS code. The approaches can be combined. Process algebras are not useful only for temporal logic verification: we remark the use of simulation/bisimulation for verification, for the hierarchical refinement design method, for the service redundancy analysis in a community, and for replacing a service with another one in a composition.