BPEL - researchr tag

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 389

2011

Self-Supervising BPEL ProcessesLuciano Baresi, Sam Guinea. TSE, 37(2):247-263, 2011. [doi]

Verification of Timed BPEL 2.0 ModelsElie Fares, Jean-Paul Bodeveix, Mamoun Filali. caise 2011: 261-275 [doi]

A Proposal for Checking the Conformance of ebBP-ST Choreographies and WS-BPEL OrchestrationsMatthias Geiger, Andreas Schönberger, Guido Wirtz. zeus 2011: 24-25 [doi]

Using BPEL to Realize Business Processes for an Internet of ThingsNils Glombitza, Sebastian Ebers, Dennis Pfisterer, Stefan Fischer. adhoc-now 2011: 294-307 [doi]

Interface Expressions Monitoring for BPEL ProcessesWassim Jendoubi, Guy Tremblay, Aziz Salah. webist 2011: 131-134

Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA EnvironmentsMichel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St.-Denis. ijssoe, 2(2):37-59, 2011. [doi]

Intelligent database for the SOA using BPELAarti M. Karande, V. N. Chunekar, B. B. Meshram. icccs 2011: 281-284 [doi]

Metrics for BPEL process context-independency analysisAlireza Khoshkbarforoushha, Pooyan Jamshidi, Ali Nikravesh, Fereidoon Shams. soca, 5(3):139-157, 2011. [doi]

A WSDL-based type system for asynchronous WS-BPEL processesAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi. fmsd, 38(2):119-157, 2011. [doi]

Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming languageSteffen Mazanek, Michael Hanus. JCL (JVLC), 22(1):66-89, 2011. [doi]

Compensation of Adapted Service Orchestration Logic in BPEL n AspectsMirko Sonntag, Dimka Karastoyanova. BPM 2011: 413-428 [doi]

2010

An automatic layout algorithm for BPEL processesBenjamin Albrecht, Philip Effinger, Markus Held, Michael Kaufmann. softvis 2010: 173-182 [doi]

A Proof Based Approach for Formal Verification of Transactional BPEL Web ServicesIdir AÃ¯t-Sadoune, Yamine AÃ¯t Ameur. asm 2010: 405-406 [doi]

Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based ApproachIdir Aït-Sadoune, Yamine Aït Ameur. sera 2010: 51-68 [doi]

Comprehensive Monitoring of BPEL ProcessesLuciano Baresi, Sam Guinea, Olivier Nano, George Spanoudakis. internet, 14(3):50-57, 2010. [doi]

Automated performance assessment for service-oriented middleware: a case study on BPEL enginesDomenico Bianculli, Walter Binder, Mauro Luigi Drago. WWW 2010: 141-150 [doi]

QoS assessment of WS-BPEL processes through non-Markovian stochastic Petri netsDario Bruneo, Salvatore Distefano, Francesco Longo, Marco Scarpa. ipps 2010: 1-12 [doi]

Optimization of WS-BPEL Workflows through Business Process Re-Engineering PatternsJonas Buys, Vincenzo De Florio, Chris Blondia. ijaras, 1(3):25-41, 2010. [doi]

Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBACAlberto Calvi, Silvio Ranise, Luca Viganò. synasc 2010: 456-464 [doi]

A tool for rapid development of WS-BPEL applicationsLuca Cesari, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi. SAC 2010: 2438-2442 [doi]

A BPEL-Based Fault-Handling Architecture for Telecom Operation Support SystemsIng-Yi Chen, Guo-Kai Ni, Cheng-Hwa Kuo, Chau-Young Lin. jaciii, 14(5):523-530, 2010. [doi]

GAmera: A Tool for WS-BPEL Composition Testing Using Mutation AnalysisJuan José Domínguez-Jiménez, Antonia Estero-Botaro, Antonio García-Domínguez, Inmaculada Medina-Bulo. ICWE 2010: 490-493 [doi]

Testing Conformance of BPEL Business Process Based on Model CheckingRongsheng Dong, Zhao Wei, Xiangyu Luo, Fang Liu. jsw, 5(9):1030-1037, 2010. [doi]

Quantitative Evaluation of Mutation Operators for WS-BPEL CompositionsAntonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo. icst 2010: 142-150 [doi]

BPEL Remote Objects: Integrating BPEL Processes into Object-Oriented ApplicationsMarvin Ferber, Thomas Rauber, Sascha Hunold. IEEEscc 2010: 33-40 [doi]

Ranking BPEL Processes for Service DiscoveryDaniela Grigori, Juan Carlos Corrales, Mokrane Bouzeghoub, Ahmed Gater. tsc, 3(3):178-192, 2010. [doi]

Can Graph Transformation Make Aspect Languages for BPEL Redundant?Roy Grønmo. edoc 2010: 153-162 [doi]

Workflow Modeling for WS-BPEL-based Service Orchestration in SMEsStefan Gudenkauf, Guido Scherp, Wilhelm Hasselbring, André Höing, Odej Kao. se 2010: 185-192

A standard-driven implementaion of WS-BPEL 2.0Tim Hallwyl, Fritz Henglein, Thomas Hildebrandt. SAC 2010: 2472-2476 [doi]

Semantic Validation of BPEL Fragment CompositionsMarian Harbach, Tim Dörnemann, Ernst Juhnke, Bernd Freisleben. semco 2010: 176-183 [doi]

A Probabilistic BPEL-Like LanguageJifeng He. utp 2010: 74-100 [doi]

Modeling BPEL and BPEL4People with a Timed Interruptable pi-CalculusWei Jin, Hanpin Wang, Yongzhi Cao, Zizhen Wang, Xiaojuan Ban. compsac 2010: 487-492 [doi]

WSDL and BPEL extensions for Event Driven ArchitectureMatjaz B. Juric. INFSOF, 52(10):1023-1043, 2010. [doi]

Version Management of BPEL Processes in SOAMatjaz B. Juric, Ana Sasa. services 2010: 146-147 [doi]

A distributed LiDAR processing model based on OWS and BPELLingjun Kang, Qunyong Wu, Ying Yuan. igarss 2010: 3628-3631 [doi]

Model-driven development of service compositions : transformation from service choreography to service orchestrationsRavi Khadka. August 2010.

Chronological fault-based mutation processes for WS-BPEL 2.0 programsAdel Khaled, James Miller. ijwet, 6(2):141-170, 2010. [doi]

An infrastructure for executing WS-BPEL workflows in a Cluster of ClustersThiago A. Lechuga, Maria Beatriz Felgar de Toledo, Miriam A. M. Capretz. ISCC 2010: 681-686 [doi]

BPEL vs. BPMN 2.0: Should You Care?Frank Leymann. bpmn 2011: 8-13 [doi]

Evaluating the Reliability of Web Services Based on BPEL Code Structure Analysis and Run-Time Information CaptureBixin Li, Xiaocong Fan, Ying Zhou, Zhiyong Su. apsec 2010: 206-215 [doi]

Automatic test case selection and generation for regression testing of composite service based on extensible BPEL flow graphBixin Li, Dong Qiu, Shunhui Ji, Di Wang. ICSM 2010: 1-10 [doi]

A SOA Approach for Domain-Specific Language ImplementationShih-Hsi Liu, Adam Cardenas, Xang Xiong, Marjan Mernik, Barrett R. Bryant, Jeffrey G. Gray. services 2010: 535-542 [doi]

Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant GenerationManuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo, Alejandro Álvarez-Ayllón, Javier Santacruz. ICWE 2010: 531-534 [doi]

A Preliminary Study on BPEL Process TestabilitySébastien Salva, Issam Rabhi. icst 2010: 62-71 [doi]

A BPEL Observability Enhancement MethodSébastien Salva, Issam Rabhi. icws 2010: 638-639 [doi]

Ein modellgetriebener Ansatz zur Nutzung von WS-BPEL für Scientific WorkflowsGuido Scherp, Wilhelm Hasselbring. se 2010: 201-208

The CHORCH B2Bi Approach: Performing ebBP Choreographies as Distributed BPEL OrchestrationsAndreas Schönberger. services 2010: 491-496 [doi]

Translating shared state based ebXML BPSS models to WS-BPELAndreas Schönberger, Christoph Pflügler, Guido Wirtz. ijbidm, 5(4):398-442, 2010. [doi]

RuMoR: monitoring and recovery for BPEL applicationsJocelyn Simmonds, Marsha Chechik. ASE 2010: 345-346 [doi]

A Human Readable Platform Independent Domain Specific Language for BPELBalazs Simon, Balázs Goldschmidt, Károly Kondorosi. mindtrek 2010: 537-544 [doi]

Synchronization of Authorization Flow with Work Object Flow in a Document Production Workflow Using XACML and BPELSubrata Sinha, Smriti Kumar Sinha, Bipul Syam Purkayastha. ICT 2010: 365-370 [doi]

BPEL n Aspects&Compensation: Adapted Service Orchestration Logic and Its Compensation Using AspectsMirko Sonntag, Dimka Karastoyanova. icsoc 2010: 724-725 [doi]

SEDA4BPEL: A staged event-driven architecture for high-concurrency BPEL engineDou Sun, Yongwang Zhao, Hao Zeng, Dianfu Ma. ISCC 2010: 744-749 [doi]

An operational semantics of WS-BPEL based on abstract BPEL machineDou Sun, Yongwang Zhao, Hao Zeng, Dianfu Ma. soca 2010: 1-4 [doi]

A comparison of using Taverna and BPEL in building scientific workflows: the case of caGridWei Tan, Paolo Missier, Ian T. Foster, Ravi K. Madduri, David De Roure, Carole A. Goble. concurrency, 22(9):1098-1117, 2010. [doi]

Business Semantics Centric Reliability Testing for Web Services in BPELYongbo Wang, Fuyuki Ishikawa, Shinichi Honiden. services 2010: 237-244 [doi]

Defect Analysis Respecting Dead Path Elimination in BPEL ProcessXuehong Yang, Junfei Huang, Yunzhan Gong. apscc 2010: 315-321 [doi]

Accountability as a Service for the Cloud: From Concept to Implementation with BPELJinhui Yao, Shiping Chen, Chen Wang, David Levy, John Zic. services 2010: 91-98 [doi]

A Way to Model Flow Construct and Its Three Properties Verification for BPEL SpecificationGongyuan Zhang, Bixin Li. apscc 2010: 277-284 [doi]

Mashing-Up Rich User Interfaces for Human-Interaction in WS-BPELQi Zhao, Xuanzhe Liu, Dawei Sun, Tiancheng Liu, Ying Li, Gang Huang. icws 2010: 559-566 [doi]

2009

Visualization of Complex BPEL ModelsBenjamin Albrecht, Philip Effinger, Markus Held, Michael Kaufmann, Stephan Kottler. gd 2010: 421-423 [doi]

Maintaining WS-BPEL Workflows Using AspectsConnie Haoying Bao, Nicolas Gold, Mark Harman. bpsc 2009: 225-226

A Method for Analyzing and Predicting Reliability of BPEL ProcessLiqiong Chen, Zhiqing Shao, Guisheng Fan, Hanhua Ma. jsw, 4(1):11-18, 2009. [doi]

GAmera: An Automatic Mutant Generation System for WS-BPEL CompositionsJuan JosÃ© DomÃnguez-JimÃ©nez, Antonia Estero-Botaro, Antonio GarcÃa-DomÃnguez, Inmaculada Medina-Bulo. ecows 2009: 97-106 [doi]

A Framework for Mutant Genetic Generation for WS-BPELJuan José Domínguez-Jiménez, Antonia Estero-Botaro, Inmaculada Medina-Bulo. sofsem 2009: 229-240 [doi]

A Chu spaces semantics of control flow in BPELXutao Du, Chunxiao Xing, Lizhu Zhou. apscc 2009: 142-149 [doi]

GAmera: una herramienta para la generaciÃ³n y selecciÃ³n mediante algoritmos genÃ©ticos de mutantes WS-BPELAntonia Estero-Botaro, Inmaculada Medina-Bulo, Juan JosÃ© DomÃnguez-JimÃ©nez, Lorena GutiÃ©rrez. jisbd 2009: 50-53

Load Balancing Concurrent BPEL Processes by Dynamic Selection of Web Service EndpointsMarvin Ferber, Sascha Hunold, Thomas Rauber. icppw 2009: 290-297 [doi]

Interaction Mismatch Discovery Based Transformation from BPMN to BPELShuai Gong, Jinhua Xiong. IEEEscc 2009: 292-299 [doi]

Experience with adapting a ::::WS-BPEL:::: runtime for eScience workflowsThilina Gunarathne, Chathura Herath, Eran Chinthaka, Suresh Marru. sc 2009: [doi]

Suche nach prozessadäquaten Webservices mit Hilfe eines BPEL RepositoriesAndreas Harder. informatiktage 2009: 69-74

A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow GraphsThomas S. Heinze, Wolfram Amme, Simon Moser. BPM 2009: 211-228 [doi]

Umstrukturierung von WS-BPEL-Prozessen zur Verbesserung des ValidierungsverhaltensThomas S. Heinze, Wolfram Amme, Simon Moser. zeus 2009: 88-94 [doi]

An Orchestration as a Service Infrastructure Using Grid Technologies and WS-BPELAndrÃ© HÃ¶ing, Guido Scherp, Stefan Gudenkauf, Dirk Meister, AndrÃ© Brinkmann. icsoc 2009: 301-315 [doi]

WS-BPEL Extensions for VersioningMatjaz B. Juric, Ana Sasa, Ivan Rozman. INFSOF, 51(8):1261-1274, 2009. [doi]

QoS-Driven Adaptation of BPEL Scenario ExecutionChristos Kareliotis, Costas Vassilakis, Stathis Rouvas, Panagiotis Georgiadis. icws 2009: 271-278 [doi]

IQoS-aware exception resolution for BPEL processes: a middleware-based framework and performance evaluationChristos Kareliotis, Costas Vassilakis, Efstathios Rouvas, Panagiotis Georgiadis. ijwgs, 5(3):284-320, 2009. [doi]

VxBPEL: Supporting variability for Web services in BPELMichiel Koning, Chang-ai Sun, Marco Sinnema, Paris Avgeriou. INFSOF, 51(2):258-269, 2009. [doi]

A Decentralized Model-Based Diagnosis for BPEL ServicesYingmin Li, Lina Ye, Philippe Dague, Tarek Melliti. ictai 2009: 609-616 [doi]

Data Flow Analysis and Testing for Web Service Compositions Based on WS-BPELChien-Hung Liu, Shu-Ling Chen. seke 2009: 306-311

Calculating BPEL Test Coverage Through InstrumentationDaniel Lübke, Leif Singer, Alex Salnikow. ICSE 2009: 115-122 [doi]

Feasibility of EPC to BPEL Model Transformations Based on Ontology and PatternsLucas O. Meertens, Maria-Eugenia Iacob, Silja Eckartz. BPM 2010: 347-358 [doi]

An Empirical Study of the Use of Frankl-Weyuker Data Flow Testing Criteria to Test BPEL Web ServicesLijun Mei, W. K. Chan, T. H. Tse, Fei-Ching Kuo. compsac 2009: 81-88 [doi]

Modeling of BPEL Composite Services Using Clustered Coloured Petri-NetsAnshuman Mukherjee, Zahir Tari, Peter BertÃ³k. services 2009: 55-62 [doi]

Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath InformationManuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo. ICWE 2009: 469-472 [doi]

Takuan: generaciÃ³n dinÃ¡mica de invariantes en composiciones de servicios web con WS-BPELManuel Palomo-Duarte, Antonio GarcÃa-DomÃnguez, Alejandro Ãlvarez, Inmaculada Medina-Bulo. jisbd 2009: 367-370

RESTful Web service composition with BPEL for RESTCesare Pautasso. DKE, 68(9):851-866, 2009. [doi]

Introducing partner shared states into ebBP to WS-BPEL translationsChristoph Pflügler, Andreas Schönberger, Guido Wirtz. iiwas 2009: 243-252 [doi]

QoS-Enabled Business-to-Business Integration Using ebBP to WS-BPEL TranslationsAndreas SchÃ¶nberger, Thomas Benker, Stefan Fritzemeier, Matthias Geiger, Simon Harrer, Tristan Kessner, Johannes Schwalb, Guido Wirtz. IEEEscc 2009: 17-24 [doi]

Transforming Functional Requirements from UML into BPEL to Efficiently Develop SOA-Based SystemsAnisha Vemulapalli, Nary Subramanian. otm 2009: 337-349 [doi]

Constraint Integration and Violation Handling for BPEL ProcessesMingXue Wang, Kosala Yapa Bandara, Claus Pahl. iciw 2009: 337-342 [doi]

Alignment of Choreography Changes in BPEL ProcessesAndreas Wombacher. IEEEscc 2009: 1-8 [doi]

Formalizing exception handling in WS-CDL and WS-BPEL for conformance verificationWing Lok Yeung. soca 2009: 1-8 [doi]

Decentralized Orchestration of BPEL Processes with Execution ConsistencyWeihai Yu. waim 2009: 665-670 [doi]

Consistent and decentralized orchestration of BPEL processesWeihai Yu. SAC 2009: 1583-1584 [doi]

Leveraging the BPEL Event Model to Support QoS-aware Process ExecutionFarid Zaid, Rainer Berbner, Ralf Steinmetz. kivs 2009: 93-104 [doi]

Unit Testing Approaches for BPEL: A Systematic ReviewZulfa Zakaria, Rodziah Binti Atan, Abdul Azim Abdul Ghani, Nor Fazlida Mohd. Sani. apsec 2009: 316-322 [doi]

Towards Runtime Migration of WS-BPEL ProcessesSonja Zaplata, Kristian Kottke, Matthias Meiners, Winfried Lamersdorf. icsoc 2010: 477-487 [doi]

WS-BPEL Business Process Abstraction and ConcretisationXiaohui Zhao, Chengfei Liu, Wasim Sadiq, Marek Kowalkiewicz, Sira Yongchareon. dasfaa 2009: 555-569 [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Tag: BPEL

Viewing Publication 1 - 100 from 389

2011

2010

2009

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Tag: BPEL

Viewing Publication 1 - 100 from 389

2011

2010

2009

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1