Results 81 to 90 of about 3,933,674 (100)

Detect and analyse the concurrent flaws of the BPEL process in a VPN-based approach

International Journal of Services, Technology and Management, 2020
Ru Yang, Zhijun Ding
exaly  

Comparing and evaluating Petri net semantics for BPEL

International Journal of Business Process Integration and Management, 2009
Christian Stahl, Niels Lohmann
exaly  

Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language

Journal of Visual Languages and Computing, 2011
Michael Hanus
exaly  

Effective Message-Sequence Generation for Testing BPEL Programs

IEEE Transactions on Services Computing, 2013
Lu Zhang, Hong Mei
exaly  

BPELDebugger: An effective BPEL-specific fault localization framework

Information and Software Technology, 2013
Chang-Ai Sun
exaly  

RESTful Web service composition with BPEL for REST

Data and Knowledge Engineering, 2009
Cesare Pautasso
exaly  

Transforming BPEL into Intermediate Format Language for Web Services Composition Testing

2008
Ana Rosa Cavalli
exaly  

A Calculus for Generation, Verification and Refinement of BPEL Specifications

Electronic Notes in Theoretical Computer Science, 2008
John Mullins
exaly  

MUIT: A Domain-Specific Language and its Middleware for Adaptive Mobile Web-Based User Interfaces in WS-BPEL

IEEE Transactions on Services Computing, 2019
Mengwei Xu, Xuanzhe Liu, Hong Mei
exaly  

Formal semantics and analysis of control flow in WS-BPEL

Science of Computer Programming, 2007
Wil van der Aalst, Eric Verbeek, Arthur Ter Hofstede   +2 more
exaly