BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
process (10)
model (10)
servic (8)
test (7)
base (6)

Stem bpel$ (all stems)

42 papers:

FASEFASE-2015-JehanPW #integration #testing
BPEL Integration Testing (SJ, IP, FW), pp. 69–83.
SACSAC-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.
SEKESEKE-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.
ICTSSICTSS-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.
ICEISICEIS-v2-2013-DomingosMC #internet #process
Internet of Things Aware WS-BPEL Business Process (DD, FM, CC), pp. 505–512.
SEKESEKE-2013-LenhardW #detection #modelling
Detecting Portability Issues in Model-Driven BPEL Mappings (S) (JL, GW), pp. 18–21.
SACSAC-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.
SACSAC-2013-MaalejKJ #composition #consistency #named #testing
WSCCT: a tool for WS-BPEL compositions conformance testing (AJM, MK, MJ), pp. 1055–1061.
SEFMSEFM-2012-ZhuXMQQ #approach #concurrent #source code #verification
The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs (HZ, QX, CM, SQ, ZQ), pp. 172–187.
SACSAC-2012-HojsgaardH
Core BPEL: syntactic simplification of WS-BPEL 2.0 (EH, TH), pp. 1984–1991.
ICEISICEIS-J-2011-TahamtanOTH11a #process
Temporal Management of WS-BPEL Processes (AT, CO, AMT, AH), pp. 256–269.
ICEISICEIS-v3-2011-TahamtanOTH #named
BPEL-TIME — WS-BPEL Time Management Extension (AT, CO, AMT, AH), pp. 34–45.
SEKESEKE-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.
ASEASE-2010-SimmondsC #monitoring #named
RuMoR: monitoring and recovery for BPEL applications (JS, MC), pp. 345–346.
ICSMEICSM-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.
SOFTVISSOFTVIS-2010-AlbrechtEHK #algorithm #automation #layout #process
An automatic layout algorithm for BPEL processes (BA, PE, MH, MK), pp. 173–182.
EDOCEDOC-2010-Gronmo #aspect-oriented #graph transformation #question
Can Graph Transformation Make Aspect Languages for BPEL Redundant? (RG), pp. 153–162.
SACSAC-2010-CesariLPT #agile #development
A tool for rapid development of WS-BPEL applications (LC, AL, RP, FT), pp. 2438–2442.
SACSAC-2010-HallwylHH #standard
A standard-driven implementaion of WS-BPEL 2.0 (TH, FH, TTH), pp. 2472–2476.
SEKESEKE-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.
SEKESEKE-2009-SloanKV
An Extendible Translation of BPEL to a Machine-verifiable Model (JCS, TMK, AV), pp. 344–349.
SACSAC-2009-Yu #consistency #distributed #process
Consistent and decentralized orchestration of BPEL processes (WY), pp. 1583–1584.
CAiSECAiSE-2008-DeckerKLPW #modelling #using
Modeling Service Choreographies Using BPMN and BPEL4Chor (GD, OK, FL, KP, MW), pp. 79–93.
CAiSECAiSE-2008-RussellA #people #resource management
Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities (NR, WMPvdA), pp. 94–108.
SACSAC-2008-XuWQ #modelling #using #verification
Modeling and verifying BPEL using synchronized net (CX, HW, WQ), pp. 2358–2362.
SIGMODSIGMOD-2007-BeeriEMP #monitoring #process
Query-based monitoring of BPEL business processes (CB, AE, TM, AP), pp. 1122–1124.
CAiSECAiSE-2007-BaresiGP #aspect-oriented #policy #process
Policies and Aspects for the Supervision of BPEL Processes (LB, SG, PP), pp. 340–354.
EDOCEDOC-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.
ICEISICEIS-EIS-2007-OussenaSB #implementation
BPEL Patterns for Implementing Variations in SOA Applications (SO, DS, BB), pp. 295–300.
SEKESEKE-2007-BaresiMM #distributed #process
Distributed BPEL Processes (LB, AM, SM), pp. 692–697.
ECMFAECMDA-FA-2007-BordbarHES #model transformation
Model Transformation from OWL-S to BPEL Via SiTra (BB, GH, ME, AS), pp. 43–58.
ECMFAECMDA-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.
CAiSECAiSE-2006-OuyangDBH #modelling #process #standard
Translating Standard Process Models to BPEL (CO, MD, SB, AHMtH), pp. 417–432.
EDOCEDOC-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.
ICEISICEIS-DISI-2006-EzenwoyeS #process #robust
Enabling Robustness in Existing BPEL Processes (OE, SMS), pp. 95–102.
ICEISICEIS-J-2006-HaddadMR06a #semantics #synthesis
A Formal Semantics and a Client Synthesis for a BPEL Service (SH, PM, SR), pp. 388–401.
ICSEICSE-2006-ChenWEF #distributed #web #web service
Web service orchestration with BPEL (LC, BW, WE, HF), pp. 1071–1072.
FMFM-2005-QiuWPZ #fault #semantics
Semantics of BPEL4WS-Like Fault and Compensation Handling (ZQ, SW, GP, XZ), pp. 350–365.
EDOCEDOC-2005-KarastoyanovaHCLB #adaptation #runtime
Extending BPEL for Run Time Adaptability (DK, AH, MC, FL, APB), pp. 15–26.
ICEISICEIS-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.
SACSAC-2005-Arias-FisteusFK #model checking
Applying model checking to BPEL4WS business collaborations (JAF, LSF, CDK), pp. 826–830.
EDOCEDOC-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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.