Search results for "WS-BPEL"

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