42 papers:
FASE-2015-JehanPW #integration #testing- BPEL Integration Testing (SJ, IP, FW), pp. 69–83.
SAC-2015-DionisisCP #adaptation #execution #feedback #framework #hybrid #monitoring #using- A hybrid framework for WS-BPEL scenario execution adaptation, using monitoring and feedback data (MD, VC, GP), pp. 1672–1679.
SEKE-2014-RockHW #benchmark #challenge #comparison #evaluation #framework #metric #performance- Performance Benchmarking of BPEL Engines: A Comparison Framework, Status Quo Evaluation and Challenges (CR, SH, GW), pp. 31–34.
ICTSS-2014-Estero-BotaroGDPM #composition #framework #generative #search-based #testing- A Framework for Genetic Test-Case Generation for WS-BPEL Compositions (AEB, AGD, JJDJ, FPL, IMB), pp. 1–16.
ICEIS-v2-2013-DomingosMC #internet #process- Internet of Things Aware WS-BPEL Business Process (DD, FM, CC), pp. 505–512.
- SEKE-2013-LenhardW #detection #modelling
- Detecting Portability Issues in Model-Driven BPEL Mappings (S) (JL, GW), pp. 18–21.
- SAC-2013-DionisisCP #adaptation #exception #framework
- An integrated framework for QoS-based adaptation and exception resolution in WS-BPEL scenarios (MD, VC, GP), pp. 1900–1906.
- SAC-2013-MaalejKJ #composition #consistency #named #testing
- WSCCT: a tool for WS-BPEL compositions conformance testing (AJM, MK, MJ), pp. 1055–1061.
SEFM-2012-ZhuXMQQ #approach #concurrent #source code #verification- The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs (HZ, QX, CM, SQ, ZQ), pp. 172–187.
- SAC-2012-HojsgaardH
- Core BPEL: syntactic simplification of WS-BPEL 2.0 (EH, TH), pp. 1984–1991.
- ICEIS-J-2011-TahamtanOTH11a #process
- Temporal Management of WS-BPEL Processes (AT, CO, AMT, AH), pp. 256–269.
- ICEIS-v3-2011-TahamtanOTH #named
- BPEL-TIME — WS-BPEL Time Management Extension (AT, CO, AMT, AH), pp. 34–45.
- SEKE-2011-GeigerSW #automation #consistency #towards
- Towards Automated Conformance Checking of ebBP-ST Choreographies and Corresponding WS-BPEL Based Orchestrations (MG, AS, GW), pp. 566–571.
ASE-2010-SimmondsC #monitoring #named- RuMoR: monitoring and recovery for BPEL applications (JS, MC), pp. 345–346.
ICSM-2010-LiQJW #automation #generative #graph #testing- Automatic test case selection and generation for regression testing of composite service based on extensible BPEL flow graph (BL, DQ, SJ, DW), pp. 1–10.
SOFTVIS-2010-AlbrechtEHK #algorithm #automation #layout #process- An automatic layout algorithm for BPEL processes (BA, PE, MH, MK), pp. 173–182.
EDOC-2010-Gronmo #aspect-oriented #graph transformation #question- Can Graph Transformation Make Aspect Languages for BPEL Redundant? (RG), pp. 153–162.
- SAC-2010-CesariLPT #agile #development
- A tool for rapid development of WS-BPEL applications (LC, AL, RP, FT), pp. 2438–2442.
- SAC-2010-HallwylHH #standard
- A standard-driven implementaion of WS-BPEL 2.0 (TH, FH, TTH), pp. 2472–2476.
- SEKE-2009-LiuC #analysis #composition #data flow #testing #web #web service
- Data Flow Analysis and Testing for Web Service Compositions Based on WS-BPEL (CHL, SLC), pp. 306–311.
- SEKE-2009-SloanKV
- An Extendible Translation of BPEL to a Machine-verifiable Model (JCS, TMK, AV), pp. 344–349.
- SAC-2009-Yu #consistency #distributed #process
- Consistent and decentralized orchestration of BPEL processes (WY), pp. 1583–1584.
CAiSE-2008-DeckerKLPW #modelling #using- Modeling Service Choreographies Using BPMN and BPEL4Chor (GD, OK, FL, KP, MW), pp. 79–93.
- CAiSE-2008-RussellA #people #resource management
- Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities (NR, WMPvdA), pp. 94–108.
- SAC-2008-XuWQ #modelling #using #verification
- Modeling and verifying BPEL using synchronized net (CX, HW, WQ), pp. 2358–2362.
SIGMOD-2007-BeeriEMP #monitoring #process- Query-based monitoring of BPEL business processes (CB, AE, TM, AP), pp. 1122–1124.
- CAiSE-2007-BaresiGP #aspect-oriented #policy #process
- Policies and Aspects for the Supervision of BPEL Processes (LB, SG, PP), pp. 340–354.
- EDOC-2007-RosenbergEMPD #aspect-oriented #development #process #quality #top-down #using
- Integrating Quality of Service Aspects in Top-Down Business Process Development Using WS-CDL and WS-BPEL (FR, CE, AM, CP, SD), pp. 15–26.
- ICEIS-EIS-2007-OussenaSB #implementation
- BPEL Patterns for Implementing Variations in SOA Applications (SO, DS, BB), pp. 295–300.
- SEKE-2007-BaresiMM #distributed #process
- Distributed BPEL Processes (LB, AM, SM), pp. 692–697.
ECMDA-FA-2007-BordbarHES #model transformation- Model Transformation from OWL-S to BPEL Via SiTra (BB, GH, ME, AS), pp. 43–58.
- ECMDA-FA-2007-YuZZWZZL #approach #automation #generative #modelling #towards
- Towards a Model Driven Approach to Automatic BPEL Generation (XY, YZ, TZ, LW, JZ, GZ, XL), pp. 204–218.
- CAiSE-2006-OuyangDBH #modelling #process #standard
- Translating Standard Process Models to BPEL (CO, MD, SB, AHMtH), pp. 417–432.
- EDOC-2006-DongYZ #composition #petri net #testing #using #web #web service
- Testing BPEL-based Web Service Composition Using High-level Petri Nets (WLD, HY, YBZ), pp. 441–444.
- ICEIS-DISI-2006-EzenwoyeS #process #robust
- Enabling Robustness in Existing BPEL Processes (OE, SMS), pp. 95–102.
- ICEIS-J-2006-HaddadMR06a #semantics #synthesis
- A Formal Semantics and a Client Synthesis for a BPEL Service (SH, PM, SR), pp. 388–401.
ICSE-2006-ChenWEF #distributed #web #web service- Web service orchestration with BPEL (LC, BW, WE, HF), pp. 1071–1072.
FM-2005-QiuWPZ #fault #semantics- Semantics of BPEL4WS-Like Fault and Compensation Handling (ZQ, SW, GP, XZ), pp. 350–365.
- EDOC-2005-KarastoyanovaHCLB #adaptation #runtime
- Extending BPEL for Run Time Adaptability (DK, AH, MC, FL, APB), pp. 15–26.
- ICEIS-v4-2005-ClaroAH #comparison #composition #web #web service
- Approaches of Web Services Composition — Comparison between BPEL4WS and OWL-S (DBC, PA, JKH), pp. 208–213.
- SAC-2005-Arias-FisteusFK #model checking
- Applying model checking to BPEL4WS business collaborations (JAF, LSF, CDK), pp. 826–830.
- EDOC-2004-KathBBEFH #behaviour #corba #execution #modelling #towards
- Towards Executable Models: Transforming EDOC Behavior Models to CORBA and BPEL (OK, AB, MB, KPE, MF, CH), pp. 267–274.
