Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Benjamin Albrecht, Philip Effinger, Markus Held, Michael Kaufmann 0001 |
An automatic layout algorithm for BPEL processes. |
SOFTVIS |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Wei Jin, Hanpin Wang, Yongzhi Cao, Zizhen Wang, Xiaojuan Ban |
Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus. |
COMPSAC |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Dario Bruneo, Salvatore Distefano, Francesco Longo 0001, Marco Scarpa |
QoS assessment of WS-BPEL processes through non-Markovian stochastic Petri nets. |
IPDPS |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Thiago A. Lechuga, Maria Beatriz Felgar de Toledo, Miriam A. M. Capretz |
An infrastructure for executing WS-BPEL workflows in a Cluster of Clusters. |
ISCC |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Dou Sun, Yongwang Zhao, Hao Zeng, Dianfu Ma |
SEDA4BPEL: A staged event-driven architecture for high-concurrency BPEL engine. |
ISCC |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Idir Aït-Sadoune, Yamine Aït Ameur |
A Proof Based Approach for Formal Verification of Transactional BPEL Web Services. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Frank Leymann |
BPEL vs. BPMN 2.0: Should You Care? |
BPMN |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Yixiang Chen, Xinxing Wu |
Success Measurement of Web Services with BPEL. |
SOSE |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Subrata Sinha, Smriti Kumar Sinha, Bipul Syam Purkayastha |
Synchronization of Authorization Flow with Work Object Flow in a Document Production Workflow Using XACML and BPEL. |
ICT |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Marian Harbach, Tim Dörnemann, Ernst Juhnke, Bernd Freisleben |
Semantic Validation of BPEL Fragment Compositions. |
ICSC |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Ernst Juhnke, Tim Dörnemann, Sebastian Kirch, Dominik Seiler, Bernd Freisleben |
SimpleBPEL: Simplified Modeling of BPEL Workflows for Scientific End Users. |
EUROMICRO-SEAA |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Antonio García-Domínguez, Inmaculada Medina-Bulo |
GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis. |
ICWE |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo, Alejandro Álvarez-Ayllón, Javier Santacruz |
Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation. |
ICWE |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Idir Aït-Sadoune, Yamine Aït Ameur |
Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach. |
SERA (selected papers) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Alberto Calvi, Silvio Ranise, Luca Viganò 0001 |
Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jocelyn Simmonds, Marsha Chechik |
RuMoR: monitoring and recovery for BPEL applications. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Oliver Kopp, Lasse Engler, Tammo van Lessen, Frank Leymann, Jörg Nitzsche |
Interaction Choreography Models in BPEL: Choreographies on the Enterprise Service Bus. |
S-BPM ONE |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Lingjun Kang, Qunyong Wu, Ying Yuan |
A distributed LiDAR processing model based on OWS and BPEL. |
IGARSS |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Bixin Li, Dong Qiu, Shunhui Ji, Di Wang |
Automatic test case selection and generation for regression testing of composite service based on extensible BPEL flow graph. |
ICSM |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Roy Grønmo |
Can Graph Transformation Make Aspect Languages for BPEL Redundant? |
EDOC |
2010 |
DBLP DOI BibTeX RDF |
|
16 | J. M. Gnanasekar, Venkatesan D. Pillai |
A Novel Software Environment for Developing Migrating Internet Applications Based on Fusion of Mobile Agent, Web Services and BPEL Technologies. |
IEEE SCC |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Christos Kareliotis |
Εκτέλεση σεναρίων BPEL: δυναμική προσαρμογή και επίλυση εξαιρέσεων με βάση ποιοτικά χαρακτηριστικά |
|
2010 |
RDF |
|
16 | Daniel Martin 0001 |
A tuplespace based execution model for decentralized workflow enactment: applied for BPEL. |
|
2010 |
RDF |
|
16 | Daniel Wutke |
Eine nfrastruktur für die dezentrale Ausführung von BPEL-Prozessen. |
|
2010 |
RDF |
|
16 | Francisco Curbera |
Composed Services and WS-BPEL. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
16 | |
BPEL. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Jonathan Lee 0004, Ying-Yan Lin, Shang-Pin Ma, Shin-Jie Lee |
BPEL Extensions to User-Interactive Service Delivery. |
J. Inf. Sci. Eng. |
2009 |
DBLP BibTeX RDF |
|
16 | Wiranto Herry Utomo, Subanar, Retantyo Wardoyo, Ahmad Ashari |
Databases Integration through a Web Services Orchestration with BPEL using Java Business Integration. |
Int. J. Web Appl. |
2009 |
DBLP BibTeX RDF |
|
16 | Liqiong Chen, Zhiqing Shao, Guisheng Fan, Hanhua Ma |
A Method for Analyzing and Predicting Reliability of BPEL Process. |
J. Softw. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Christos Kareliotis, Costas Vassilakis, Efstathios Rouvas, Panagiotis Georgiadis 0001 |
IQoS-aware exception resolution for BPEL processes: a middleware-based framework and performance evaluation. |
Int. J. Web Grid Serv. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Niels Lohmann, Eric Verbeek 0001, Chun Ouyang 0001, Christian Stahl |
Comparing and evaluating Petri net semantics for BPEL. |
Int. J. Bus. Process. Integr. Manag. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Wolfram Amme, Axel Martens, Simon Moser |
Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis. |
Int. J. Bus. Process. Integr. Manag. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Cesare Pautasso |
RESTful Web service composition with BPEL for REST. |
Data Knowl. Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Michiel Koning, Chang-Ai Sun, Marco Sinnema, Paris Avgeriou |
VxBPEL: Supporting variability for Web services in BPEL. |
Inf. Softw. Technol. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Matjaz B. Juric, Ana Sasa, Ivan Rozman |
WS-BPEL Extensions for Versioning. |
Inf. Softw. Technol. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Andrzej Ratkowski, Andrzej Zalewski, Bartlomiej Piech |
Transformational Design of Business Processes in BPEL Language. |
e Informatica Softw. Eng. J. |
2009 |
DBLP BibTeX RDF |
|
16 | Ganna Monakova, Oliver Kopp, Frank Leymann, Simon Moser, Klaus Schäfers |
Verifying Business Rules Using an SMT Solver for BPEL Processes. |
BPSC |
2009 |
DBLP BibTeX RDF |
|
16 | Connie Haoying Bao, Nicolas Gold, Mark Harman |
Maintaining WS-BPEL Workflows Using Aspects. |
BPSC |
2009 |
DBLP BibTeX RDF |
|
16 | Shijun Yao, Ping Zhang, Lei Xie, Xuhui Wang, Chunhua Zhou, Zhitie Wu |
Design for Web Service Composition Tool Based on Qos Ontology and BPEL. |
IFITA (3) |
2009 |
DBLP DOI BibTeX RDF |
QoS ontology, web service, business process, web service composition, business process execution language |
16 | Sonja Zaplata, Kristian Kottke, Matthias Meiners, Winfried Lamersdorf |
Towards Runtime Migration of WS-BPEL Processes. |
ICSOC/ServiceWave Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Chien-Hung Liu, Shu-Ling Chen |
Data Flow Analysis and Testing for Web Service Compositions Based on WS-BPEL. |
SEKE |
2009 |
DBLP BibTeX RDF |
|
16 | John C. Sloan, Taghi M. Khoshgoftaar, Augusto Varas |
An Extendible Translation of BPEL to a Machine-verifiable Model. |
SEKE |
2009 |
DBLP BibTeX RDF |
|
16 | Duy Ngan Le, Ngoc Son Nguyen, Karel Mous, Ryan Kok Leong Ko, Angela Eck Soong Goh |
Generating Request Web Services from Annotated BPEL. |
RIVF |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Anshuman Mukherjee, Zahir Tari, Peter Bertók |
Modeling of BPEL Composite Services Using Clustered Coloured Petri-Nets. |
SERVICES II |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Tobias Anstett, Frank Leymann, Ralph Mietzner, Steve Strauch |
Towards BPEL in the Cloud: Exploiting Different Delivery Models for the Execution of Business Processes. |
SERVICES I |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Zulfa Zakaria, Rodziah Binti Atan, Abdul Azim Abdul Ghani, Nor Fazlida Mohd Sani |
Unit Testing Approaches for BPEL: A Systematic Review. |
APSEC |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Bixin Li, Yu Zhou, Jun Pang 0001 |
Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition. |
APSEC |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Xutao Du, Chunxiao Xing, Lizhu Zhou |
A Chu spaces semantics of control flow in BPEL. |
APSCC |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Raquel Blanco, José García-Fanjul, Javier Tuya |
A First Approach to Test Case Generation for BPEL Compositions of Web Services Using Scatter Search. |
ICST Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Zhao Wei, Rongsheng Dong, Xiangyu Luo, Fang Liu |
Model Checking Airline Tickets Reservation System Based on BPEL. |
WGEC |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Chunxiang Xu, Hanpin Wang, Wanling Qu, Meixia Zhu, Yu Huang 0004 |
A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics. |
SSIRI |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Tammo van Lessen, Jörg Nitzsche, Dimka Karastoyanova |
Facilitating rich data manipulation in BPEL using E4X. |
ZEUS |
2009 |
DBLP BibTeX RDF |
|
16 | Daniel Wutke, Daniel Martin 0001, Frank Leymann |
A method for partitioning BPEL processes for decentralized execution. |
ZEUS |
2009 |
DBLP BibTeX RDF |
|
16 | Thomas S. Heinze, Wolfram Amme, Simon Moser |
Umstrukturierung von WS-BPEL-Prozessen zur Verbesserung des Validierungsverhaltens. |
ZEUS |
2009 |
DBLP BibTeX RDF |
|
16 | Zhao Wu, Naixue Xiong, Lei Yuan, Xiong Wei, Jong Hyuk Park |
Modeling and Analysis of the Execution Context in WS-BPEL. |
CSA |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Guido Scherp, André Höing, Stefan Gudenkauf, Wilhelm Hasselbring, Odej Kao |
Using UNICORE and WS-BPEL for Scientific Workflow Execution in Grid Environments. |
Euro-Par Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Xutao Du, Chunxiao Xing, Lizhu Zhou |
A Chu Spaces Semantics of BPEL-Like Fault Handling. |
FCST |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Chunxin Lia, Chaojun Lu |
Extending BPEL to Model Business Processes Involving Human Activities. |
FCST |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Lucas O. Meertens, Maria-Eugenia Iacob, Silja Eckartz |
Feasibility of EPC to BPEL Model Transformations Based on Ontology and Patterns. |
Business Process Management Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Antonio García-Domínguez, Inmaculada Medina-Bulo |
GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions. |
ECOWS |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Vincent C. T. Chan, Dickson K. W. Chiu, Michelle Watson, Patrick C. K. Hung, Haiyang Hu, Hua Hu, Yi Zhuang 0001 |
Designing a Credit Approval System Using Web Services, BPEL, and AJAX. |
ICEBE |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Adrian Paschke, Kia Teymourian |
Rule Based Business Process Execution with BPEL+. |
I-SEMANTICS |
2009 |
DBLP BibTeX RDF |
|
16 | Alireza Khoshkbarforoushha, Pooyan Jamshidi, Ali Nikravesh, Sedigheh Khoshnevis, Fereidoon Shams Aliee |
A metric for measuring BPEL process context-independency. |
SOCA |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Wing Lok Yeung |
Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification. |
SOCA |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Adina D. Mosincat, Walter Binder |
Enhancing BPEL processes with self-tuning behavior. |
SOCA |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Harder |
Suche nach prozessadäquaten Webservices mit Hilfe eines BPEL Repositories. |
Informatiktage |
2009 |
DBLP BibTeX RDF |
|
16 | Shiting Wen, Qing Li 0001, Lihua Yue, An Liu 0002 |
An Approach to Validating Transactional Properties of WS-BPEL Composition. |
SKG |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Xin Zhao, Jun Han, Yaling Huang |
An Automatic Layout Function in BPEL Visual Modeling Tool. |
SNPD |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin Albrecht, Philip Effinger, Markus Held, Michael Kaufmann 0001, Stephan Kottler |
Visualization of Complex BPEL Models. |
GD |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Marvin Ferber, Sascha Hunold, Thomas Rauber |
Load Balancing Concurrent BPEL Processes by Dynamic Selection of Web Service Endpoints. |
ICPP Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Tim Dörnemann, Ernst Juhnke, Bernd Freisleben |
On-Demand Resource Provisioning for BPEL Workflows Using Amazon's Elastic Compute Cloud. |
CCGRID |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Marc Bischof, Oliver Kopp, Tammo van Lessen, Frank Leymann |
BPELscript: A Simplified Script Syntax for WS-BPEL 2.0. |
EUROMICRO-SEAA |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Ernst Juhnke, Tim Dörnemann, Bernd Freisleben |
Fault-Tolerant BPEL Workflow Execution via Cloud-Aware Recovery Policies. |
EUROMICRO-SEAA |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Qishi Wu, Yi Gu, Liang Bao, Wei Jia, Huichen Dai, Ping Chen |
Optimizing Distributed Execution of WS-BPEL Processes in Heterogeneous Computing Environments. |
QSHINE |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Yingmin Li, Lina Ye, Philippe Dague, Tarek Melliti |
A Decentralized Model-Based Diagnosis for BPEL Services. |
ICTAI |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Antonia Estero-Botaro, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Lorena Gutiérrez |
GAmera: una herramienta para la generación y selección mediante algoritmos genéticos de mutantes WS-BPEL. |
JISBD |
2009 |
DBLP BibTeX RDF |
|
16 | Manuel Palomo-Duarte, Antonio García-Domínguez, Alejandro Álvarez-Ayllón, Inmaculada Medina-Bulo |
Takuan: generación dinámica de invariantes en composiciones de servicios web con WS-BPEL. |
JISBD |
2009 |
DBLP BibTeX RDF |
|
16 | Farid Zaid, Rainer Berbner, Ralf Steinmetz |
Leveraging the BPEL Event Model to Support QoS-aware Process Execution. |
KiVS |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Binh Nguyen Thanh, Doan Hoang Bang |
An Automatic Tool for Deployment of BPEL Processes in ODE Apache. |
CSREA EE |
2009 |
DBLP BibTeX RDF |
|
16 | Daniel Lübke, Leif Singer, Alex Salnikow |
Calculating BPEL Test Coverage Through Instrumentation. |
AST |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Branimir Wetzstein, Steve Strauch, Frank Leymann |
Measuring Performance Metrics of WS-BPEL Service Compositions. |
ICNS |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Anja Strunk, Sandro Reichert, Alexander Schill |
An infrastructure for supporting rebinding in BPEL processes. |
EDOCW |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Nicola Dragoni, Manuel Mazzara |
A Formal Semantics for the WS-BPEL Recovery Framework - The pi-Calculus Way. |
WS-FM |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Wombacher |
Alignment of Choreography Changes in BPEL Processes. |
IEEE SCC |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Rania Khalaf, Oliver Kopp, Frank Leymann |
Maintaining Data Dependencies across BPEL Process Fragments. |
Int. J. Cooperative Inf. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Oliver Kopp, Frank Leymann |
Choreography Design Using WS-BPEL. |
IEEE Data Eng. Bull. |
2008 |
DBLP BibTeX RDF |
|
16 | Krzysztof Sapiecha, Damian Grela |
Test scenarios generation for a class of processes defined in the BPEL language. |
Ann. UMCS Informatica |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Chun Ouyang 0001, Marlon Dumas, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst |
Pattern-Based Translation of BPMN Process Models to BPEL Web Services. |
Int. J. Web Serv. Res. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Federica Paci, Elisa Bertino, Jason Crampton |
An Access-Control Framework for WS-BPEL. |
Int. J. Web Serv. Res. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Moses Gone, Sven Schade |
Towards Semantic Composition of Geospatial Web Services - Using WSMO in Comparison to BPEL. |
Int. J. Spatial Data Infrastructures Res. |
2008 |
DBLP BibTeX RDF |
|
16 | Ruyue Ma, Yongwei Wu, Xiangxu Meng, Shijun Liu, Li Pan |
Grid-Enabled Workflow Management System Based On BPEL. |
Int. J. High Perform. Comput. Appl. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Jan Mendling, Michael Hafner |
From WS-CDL choreography to BPEL process orchestration. |
J. Enterp. Inf. Manag. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Máté Kovács, Dániel Varró, László Gönczy |
Formal analysis of BPEL. workflows with compensation by model checking. |
Comput. Syst. Sci. Eng. |
2008 |
DBLP BibTeX RDF |
|
16 | Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg |
Analyzing interacting WS-BPEL processes using flexible model generation. |
Data Knowl. Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Wil M. P. van der Aalst, Kristian Bisgaard Lassen |
Translating unstructured workflow processes to readable BPEL: Theory and implementation. |
Inf. Softw. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Radu Mateescu 0001, Sylvain Rampacek |
Formal modelling and discrete-time analysis of BPEL web services. |
Int. J. Simul. Process. Model. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Erdogan Dogdu, Omer Mescigil |
Dynamic Selection of Web Services Using QoS Constraints in BPEL. |
SEDE |
2008 |
DBLP BibTeX RDF |
|
16 | Ralph Mietzner, Zhilei Ma, Frank Leymann |
An Algorithm for the Validation of Executable Completions of an Abstract BPEL Process. |
Multikonferenz Wirtschaftsinformatik |
2008 |
DBLP BibTeX RDF |
|
16 | Nicolas Biri, Pascal Bauler, Fernand Feltz, Nicolas Médoc, Céline Thomase |
Utilisation de BPEL pour la gestion des processus métier d'une application locale. |
CAL |
2008 |
DBLP BibTeX RDF |
|
16 | Luciano Baresi, Sam Guinea, Liliana Pasquale |
Integrated and Composable Supervision of BPEL Processes. |
ICSOC |
2008 |
DBLP DOI BibTeX RDF |
|