Search results for "BPEL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Tammo van Lessen, Jörg Nitzsche, Frank Leymann	Formalising Message Exchange Patterns using BPEL Light.	IEEE SCC	2008	DBLP DOI BibTeX RDF	Message Exchange Patterns, MEPs, BPEL light, WSDL 2.0, BPEL
4	Pichet Amnuaykanjanasin, Natawut Nupairoj	The BPEL Orchestrating Framework for Secured Grid Services.	ITCC	2005	DBLP DOI BibTeX RDF	BPEL orchestrating framework, Secured Grid services orchestration, BPEL, Grid services
3	Wei Song, Xiaoxing Ma, S. C. Cheung, Hao Hu, Qiliang Yang, Jian Lü	Refactoring and Publishing WS-BPEL Processes to Obtain More Partners.	ICWS	2011	DBLP DOI BibTeX RDF	asyn-invocation dependence, BPEL program dependence graph, refactoring, publishing, WS-BPEL
3	Tim Hallwyl, Fritz Henglein, Thomas T. Hildebrandt	A standard-driven implementaion of WS-BPEL 2.0.	SAC	2010	DBLP DOI BibTeX RDF	standard-driven, XPath, WS-BPEL, OASIS
3	Rania Khalaf, Dieter Roller, Frank Leymann	Revisiting the Behavior of Fault and Compensation Handlers in WS-BPEL.	OTM Conferences	2009	DBLP DOI BibTeX RDF	Workflow, Transactions, Compensation, WS-BPEL, Error handling
3	Anisha Vemulapalli, Nary Subramanian	Transforming Functional Requirements from UML into BPEL to Efficiently Develop SOA-Based Systems.	OTM Workshops	2009	DBLP DOI BibTeX RDF	Business Process Execution Language for Web Services (BPEL4WS or BPEL), Visual Paradigm for UML (VP - UML), Unified modeling Language (UML), Service-Oriented Architecture (SOA)
3	Pascal Bou Nassar, Youakim Badr, Frédérique Biennier, Kablan Barbar	Extended BPEL with heterogeneous authentication mechanisms in service ecosystems.	MEDES	2009	DBLP DOI BibTeX RDF	authentication, BPEL, web service composition, SSO
3	Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo	Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information.	ICWE	2009	DBLP DOI BibTeX RDF	dynamic invariant generation, Web services, service composition, WS-BPEL, white-box testing
3	Adina D. Mosincat, Walter Binder	Self-tuning BPEL processes.	ICAC	2009	DBLP DOI BibTeX RDF	bpel processes, dynamic service selection and binding, performance monitoring, self-optimization
3	Christoph Pflügler, Andreas Schönberger, Guido Wirtz	Introducing partner shared states into ebBP to WS-BPEL translations.	iiWAS	2009	DBLP DOI BibTeX RDF	B2Bi, ebXML BPSS, translation, WS-BPEL, state based modeling
3	Chenguang Luo, Shengchao Qin, Zongyan Qiu	Verifying BPEL-like programs with Hoare logic.	Frontiers of Computer Science in China	2008	DBLP DOI BibTeX RDF	compensation mechanism, axiomatic verification system, operational semantics, soundness, WS-BPEL
3	Luciano Baresi, Sam Guinea	A dynamic and reactive approach to the supervision of BPEL processes.	ISEC	2008	DBLP DOI BibTeX RDF	web services, aspect oriented programming, monitoring, BPEL, recovery, supervision
3	Chunxiang Xu, Hanpin Wang, Wanling Qu	Modeling and verifying BPEL using synchronized net.	SAC	2008	DBLP DOI BibTeX RDF	synchronized net, modeling, verification, BPEL, web services composition
3	Oliver Moser, Florian Rosenberg, Schahram Dustdar	Non-intrusive monitoring and service adaptation for WS-BPEL.	WWW	2008	DBLP DOI BibTeX RDF	message mediation, quality of service, monitoring, BPEL, service selection
3	Yunzhou Wu, Prashant Doshi	Making BPEL flexible: adapting in the context of coordination constraints using WS-BPEL.	WWW	2008	DBLP DOI BibTeX RDF	web services, adaptation, coordination, bpel
3	Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf	Extending the compatibility notion for abstract WS-BPEL processes.	WWW	2008	DBLP DOI BibTeX RDF	abstract profile, petri nets, compliance, WS-BPEL
3	Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu	Analyzing BPEL Compositionality Based on Petri Nets.	COMPSAC	2008	DBLP DOI BibTeX RDF	Verification, Petri Net, BPEL, Soundness, compositionality
3	Debdoot Mukherjee, Pankaj Jalote, Mangala Gowri Nanda	Determining QoS of WS-BPEL Compositions.	ICSOC	2008	DBLP DOI BibTeX RDF	Quality of Service, workflows, BPEL, composite web services
3	Oliver Kopp, Rania Khalaf, Frank Leymann	Deriving Explicit Data Links in WS-BPEL Processes.	IEEE SCC	2008	DBLP DOI BibTeX RDF	DPE, BPEL, data-flow analysis, data links
3	Ralph Mietzner, Frank Leymann	Generation of BPEL Customization Processes for SaaS Applications from Variability Descriptors.	IEEE SCC	2008	DBLP DOI BibTeX RDF	Customization process, BPEL, variability, SaaS
3	Nobutaka Matsumoto, Takahiro Miyamoto, Michiaki Hayashi, Hideaki Tanaka	BPEL Driven Policy Management of Virtualized Network Resources for IMS Environments.	APNOMS	2008	DBLP DOI BibTeX RDF	QoS, SOA, BPEL, IMS, Policy management, network resource management
3	Jonas Buys, Vincenzo De Florio, Chris Blondia	Applying Business Process Re-engineering Patterns to optimize WS-BPEL Workflows.	IT Revolutions	2008	DBLP DOI BibTeX RDF	business process re-engineering (BPR), service-oriented architectures (SOA), workflows, business processes, WS-BPEL
3	Ta'id Holmes, Martin Vasko, Schahram Dustdar	VieBOP: Extending BPEL Engines with BPEL4People.	PDP	2008	DBLP DOI BibTeX RDF	BPEL4People, human aware processes, BPEL
3	Haiqiang Dun, Haiying Xu, Lifu Wang	Transformation of BPEL Processes to Petri Nets.	TASE	2008	DBLP DOI BibTeX RDF	Web Service, Petri Nets, BPEL, Web Service Composition
3	Oliver Moser, Florian Rosenberg, Schahram Dustdar	VieDAME - flexible and robust BPEL processes through monitoring and adaptation.	ICSE Companion	2008	DBLP DOI BibTeX RDF	dynamic service adaptation, web services, monitoring, bpel
3	Jörg Nitzsche, Barry Norton	Ontology-Based Data Mediation in BPEL (For Semantic Web Services).	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	Ontologies, BPEL, Mediation, Semantic Business Process Management
3	Jifeng He, Huibiao Zhu, Geguang Pu	A model for BPEL-like languages.	Frontiers of Computer Science in China	2007	DBLP DOI BibTeX RDF	observation-oriented semantics, BPEL, compensation, fault handling, algebraic laws
3	Martin Luther Modjo Kamneng, Volker Brandt, Thilo Steckel, Willi Nüßer	Prozessintegration mobiler Landmaschinen mittels automatisch erzeugter BPEL-Prozesse.	Wirtschaftsinformatik	2007	DBLP DOI BibTeX RDF	Farm Machines, Generation of BPEL Processes, Web Services, Process Integration
3	Onyeka Ezenwoye, Seyed Masoud Sadjadi, Ariel Cary, Michael Robinson 0002	Grid Service Composition in BPEL for Scientific Applications.	OTM Conferences	2007	DBLP DOI BibTeX RDF	Grid Computing, Service Composition, BPEL, WSRF, OGSA-DAI
3	Stefan Pottinger, Ralph Mietzner, Frank Leymann	Coordinate BPEL Scopes and Processes by Extending the WS-Business Activity Framework.	OTM Conferences	2007	DBLP DOI BibTeX RDF	WS-BA, long-running transactions, sub-processes, coordination, BPEL
3	Klaus Peter Fischer, Udo Bleimann, Steven Furnell	Pre-execution Security Policy Assessment of Remotely Defined BPEL-Based Grid Processes.	TrustBus	2007	DBLP DOI BibTeX RDF	Business Process Execution Language (BPEL), Grid Processes, Security Policy Enforcement, Virtual Organizations, Grid Services, Information Flow Analysis
3	Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Guoliang Zheng, Xuandong Li	Towards a Model Driven Approach to Automatic BPEL Generation.	ECMDA-FA	2007	DBLP DOI BibTeX RDF	EDOC, BPEL generation, model transformation
3	Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li	An Operational Approach to BPEL-like Programming.	SEW	2007	DBLP DOI BibTeX RDF	Web Services, BPEL, Operational Semantics, Bisimulation, Compensation, Algebraic Semantics, Fault Handling
3	Anis Charfi, Mira Mezini	AO4BPEL: An Aspect-oriented Extension to BPEL.	World Wide Web	2007	DBLP DOI BibTeX RDF	adaptation, workflow, aspect-oriented programming, modularization, BPEL, web service composition, separation of concerns
3	Rania Khalaf, Dimka Karastoyanova, Frank Leymann	Pluggable Framework for Enabling the Execution of Extended BPEL Behavior.	ICSOC Workshops	2007	DBLP DOI BibTeX RDF	middleware reuse, Web services, AOP, business process, BPEL
3	Rania Khalaf, Oliver Kopp, Frank Leymann	Maintaining Data Dependencies Across BPEL Process Fragments.	ICSOC	2007	DBLP DOI BibTeX RDF	Web services, business process, BPEL, fragments
3	Philip Mayer, Daniel Lübke	Towards a BPEL unit testing framework.	TAV-WEB	2006	DBLP DOI BibTeX RDF	BPELUnit, testing, composition, BPEL, unit testing, orchestration
3	Onyeka Ezenwoye, Seyed Masoud Sadjadi	Composing aggregate web services in BPEL.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	A2A integration, web services, business processes, BPEL, workflow language, B2B integration
3	Morad Benyoucef, Ronald Pringadi	A BPEL Based Implementation of Online Auctions.	ICSOC Workshops	2006	DBLP DOI BibTeX RDF	process modeling, BPEL, online auction, web service orchestration
3	Jiangxia Wu, Fangchun Yang	A Model-Driven Approach for QoS Prediction of BPEL Processes.	ICSOC Workshops	2006	DBLP DOI BibTeX RDF	BPEL, Web service composition, model-driven, QoS prediction
3	Stefano Modafferi, Enrico Mussi, Barbara Pernici	SH-BPEL: a self-healing plug-in for Ws-BPEL engines.	MW4SOC	2006	DBLP DOI BibTeX RDF	Ws-BPEL, web services, business processes, self-healing, workflow management systems
3	Adam Strickland, Dick Whittington, Phil Taylor, Bing Wang	Analysis of BPEL and High-Level Web Service Orchestration: Bringing Benefits to the Problems of the Business.	DEXA	2006	DBLP DOI BibTeX RDF	Web Service, model checking, SOA, BPEL, WSDL
3	Saket Kaushik, Duminda Wijesekera, Paul Ammann	BPEL orchestration of secure webmail.	SWS	2006	DBLP DOI BibTeX RDF	SMTP misuse cases, SMTP use cases, WSEmail, webmail, verification, BPEL
3	Simon Moser, Axel Martens, Marc Häbich, Jutta Mülle	A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes.	Business Process Management	2006	DBLP DOI BibTeX RDF	Behavioral Compatibility, Tool based Verification, Web Service, Petri nets, Business Process Modeling, WS-BPEL
3	Zhao Xiangpeng, Antonio Cerone, Padmanabhan Krishnan	Verifying BPEL Workflows Under Authorisation Constraints.	Business Process Management	2006	DBLP DOI BibTeX RDF	model-checking, Workflow, RBAC, BPEL
3	James Pasley	How BPEL and SOA Are Changing Web Services Development.	IEEE Internet Computing	2005	DBLP DOI BibTeX RDF	Web services, service-oriented architecture, BPEL, business process execution language
3	Casey K. Fung, Patrick C. K. Hung, Deborah H. Folger	Achieving Survivability in Business Process Execution Language for Web Services (BPEL) with Exception-Flows.	EEE	2005	DBLP DOI BibTeX RDF	Web services, Exceptional Handling, BPEL, Survivability, Attack tree
3	Florian Rosenberg, Schahram Dustdar	Business Rules Integration in BPEL - A Service-Oriented Approach.	CEC	2005	DBLP DOI BibTeX RDF	Service-oriented Approach, BPEL, Business Rules
3	Sebastian Hinz, Karsten Schmidt 0004, Christian Stahl	Transforming BPEL to Petri Nets.	Business Process Management	2005	DBLP DOI BibTeX RDF	Petri nets, BPEL, Business process modeling and analysis, Process verification and validation, Formal models in business process management
3	Ja-Hee Kim, Christian Huemer	From an ebXML BPSS choreography to a BPEL-based implementation.	SIGecom Exchanges	2004	DBLP DOI BibTeX RDF	BPSS, web services, XML, business process, BPEL, ebXML
3	Xiang Fu, Tevfik Bultan, Jianwen Su	Analysis of interacting BPEL web services.	WWW	2004	DBLP DOI BibTeX RDF	synchronizability, web service, model checking, xpath, BPEL, conversation, asynchronous communication, spin
2	Simon Tragatschnig, Uwe Zdun	Runtime Process Adaptation for BPEL Process Execution Engines.	EDOCW	2011	DBLP DOI BibTeX RDF	Runtime Process Adaptation, Process Execution Engine, BPEL, Adaptation Model
2	Ernst Juhnke, Tim Dörnemann, David Böck, Bernd Freisleben	Multi-objective Scheduling of BPEL Workflows in Geographically Distributed Clouds.	IEEE CLOUD	2011	DBLP DOI BibTeX RDF	Multi-Objective Scheduling, Amazon EC2, Web Services, Service-Oriented Architectures, Workflows, BPEL, Cloud, IaaS
2	Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu	Analysis of WS-BPEL Processes in PRISM.	TASE	2011	DBLP DOI BibTeX RDF	QoS, WS-BPEL, Probabilistic Model-Checking, PRISM
2	Na Deng, Desheng Li, Changbao Li, Junliang Chen, Chuanchang Liu	On-the-Fly Detection Approach of Control Dependency Deadlocks in BPEL.	ICWS	2011	DBLP DOI BibTeX RDF	simple circuit, web services, directed graph, business process modeling, BPEL, deadlocks, control dependency
2	Daniela Grigori, Juan Carlos Corrales, Mokrane Bouzeghoub, Ahmed Gater	Ranking BPEL Processes for Service Discovery.	IEEE T. Services Computing	2010	DBLP DOI BibTeX RDF	behavioral matching, BPEL processes ranking, Web services, services retrieval
2	Matjaz B. Juric, Ana Sasa	Version Management of BPEL Processes in SOA.	SERVICES	2010	DBLP DOI BibTeX RDF	SOA, BPEL, version management
2	Andreas Schönberger	The CHORCH B2Bi Approach: Performing ebBP Choreographies as Distributed BPEL Orchestrations.	SERVICES	2010	DBLP DOI BibTeX RDF	B2Bi, ebXML BPSS, orchestration, choreography, WS-BPEL
2	Luca Cesari, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi	A tool for rapid development of WS-BPEL applications.	SAC	2010	DBLP DOI BibTeX RDF	web services, service-oriented architectures, compilers
2	Domenico Bianculli, Walter Binder, Mauro Luigi Drago	Automated performance assessment for service-oriented middleware: a case study on BPEL engines.	WWW	2010	DBLP DOI BibTeX RDF	experiment automation, testbed generation, middleware, web service composition, performance assessment
2	Tim Dörnemann, Ernst Juhnke, Thomas Noll, Dominik Seiler, Bernd Freisleben	Data Flow Driven Scheduling of BPEL Workflows Using Cloud Resources.	IEEE CLOUD	2010	DBLP DOI BibTeX RDF	genetic algorithm, scheduling, SOA, workflow, BPEL, Cloud, Data flow
2	Sébastien Salva, Issam Rabhi	A BPEL Observability Enhancement Method.	ICWS	2010	DBLP DOI BibTeX RDF	enhancement methods, observability, BPEL, testability
2	Andrea Bosin, Nicoletta Dessì, Madusudhanan Bairappan	A service-based approach for the execution of scientific workflows in grids.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	grid computing, bpel, scientific workflows
2		WS-BPEL.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2	Thilina Gunarathne, Chathura Herath, Eran Chinthaka, Suresh Marru	Experience with adapting a WS-BPEL runtime for eScience workflows.	SC-GCE	2009	DBLP DOI BibTeX RDF	scientific application abstractions, workflows, eScience
2	Xiaohui Zhao, Chengfei Liu, Wasim Sadiq, Marek Kowalkiewicz, Sira Yongchareon	WS-BPEL Business Process Abstraction and Concretisation.	DASFAA	2009	DBLP DOI BibTeX RDF
2	Yu Huang 0004, Jieying Li, Haiqiang Dun, Hanpin Wang	Analyzing Service Composition Patterns in BPEL.	JCAI	2009	DBLP DOI BibTeX RDF	Synchro net, Petri net, BPEL, Web service composition
2	Oliver Kopp, Ralph Mietzner, Frank Leymann	The Influence of an External Transaction on a BPEL Scope.	OTM Conferences	2009	DBLP DOI BibTeX RDF
2	Zhilei Ma, Wei Lu, Frank Leymann	Query Structural Information of BPEL Processes.	ICIW	2009	DBLP DOI BibTeX RDF
2	MingXue Wang, Kosala Yapa Bandara, Claus Pahl	Constraint Integration and Violation Handling for BPEL Processes.	ICIW	2009	DBLP DOI BibTeX RDF
2	Zineb El Akkaoui, Esteban Zimányi	Defining ETL worfklows using BPMN and BPEL.	DOLAP	2009	DBLP DOI BibTeX RDF	conceptual modeling, data warehouses, etl, logical modeling
2	Cancan Liu, Weimin Zhang, Zhigang Luo, Xiaoqun Cao, Hai Liu	Managing Large-Scale Scientific Computing in Ensemble Prediction Using BPEL.	ISPA	2009	DBLP DOI BibTeX RDF	ensemble prediction, BPEL, scientific workflow
2	Weihai Yu	Consistent and decentralized orchestration of BPEL processes.	SAC	2009	DBLP DOI BibTeX RDF	consistent orchestration, continuation-passing messaging, decentralized orchestration
2	Lijun Mei, W. K. Chan, T. H. Tse, Fei-Ching Kuo	An Empirical Study of the Use of Frankl-Weyuker Data Flow Testing Criteria to Test BPEL Web Services.	COMPSAC	2009	DBLP DOI BibTeX RDF
2	André Höing, Guido Scherp, Stefan Gudenkauf, Dirk Meister, André Brinkmann	An Orchestration as a Service Infrastructure Using Grid Technologies and WS-BPEL.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF
2	Andreas Schönberger, Thomas Benker, Stefan Fritzemeier, Matthias Geiger, Simon Harrer, Tristan Kessner, Johannes Schwalb, Guido Wirtz	QoS-Enabled Business-to-Business Integration Using ebBP to WS-BPEL Translations.	IEEE SCC	2009	DBLP DOI BibTeX RDF
2	Zan Xiao, Donggang Cao, Chao You, Hong Mei	Extracting Behavioral Models from WS-BPEL Processes for Service Discovery.	IEEE SCC	2009	DBLP DOI BibTeX RDF
2	Shuai Gong, Jinhua Xiong	Interaction Mismatch Discovery Based Transformation from BPMN to BPEL.	IEEE SCC	2009	DBLP DOI BibTeX RDF
2	Sofie Van Hoecke, Kristof Steurbaut, Yannick Beheyt, Frederik Debruyne, Bart Dhoedt, Johan Decruyenaere, Filip De Turck	Automatic WS-BPEL Composition of Medical Support Services in the ICU.	eTELEMED	2009	DBLP DOI BibTeX RDF
2	Xiaoliang Meng, Fuling Bian, Yichun Xie	Research and Realization of Geospatial Information Service Orchestration Based on BPEL.	ESIAT	2009	DBLP DOI BibTeX RDF	Geospatial Information Service, BPEL, Service chain
2	Wei Song, Xiaoxing Ma, Chunyang Ye, Wanchun Dou, Jian Lu	Timed Modeling and Verification of BPEL Processes Using Time Petri Nets.	QSIC	2009	DBLP DOI BibTeX RDF	Modeling and Verification, BPEL Processes, Time Petri Nets, Timed Properties
2	Shan-Shan Hou, Lu Zhang 0023, Qian Lan, Hong Mei, Jiasu Sun	Generating Effective Test Sequences for BPEL Testing.	QSIC	2009	DBLP DOI BibTeX RDF	BPEL Testing, Message Sequence Graph, Test-Sequence generation
2	David Schumm, Dimka Karastoyanova, Frank Leymann, Jörg Nitzsche	On Visualizing and Modelling BPEL with BPMN.	GPC Workshops	2009	DBLP DOI BibTeX RDF	Modelling, BPEL, BPMN, Process Visualization
2	Weihai Yu	Decentralized Orchestration of BPEL Processes with Execution Consistency.	APWeb/WAIM	2009	DBLP DOI BibTeX RDF	Continuation-passing messaging, Dynamic process structure, Consistent orchestration, Decentralized orchestration
2	Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Inmaculada Medina-Bulo	A Framework for Mutant Genetic Generation for WS-BPEL.	SOFSEM	2009	DBLP DOI BibTeX RDF
2	Thomas S. Heinze, Wolfram Amme, Simon Moser	A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs.	BPM	2009	DBLP DOI BibTeX RDF
2	Anja Strunk, Iris Braun, Sandro Reichert, Alexander Schill	Supporting Rebinding in BPEL.	ICWS	2009	DBLP DOI BibTeX RDF
2	Christos Kareliotis, Costas Vassilakis, Stathis Rouvas, Panagiotis Georgiadis	QoS-Driven Adaptation of BPEL Scenario Execution.	ICWS	2009	DBLP DOI BibTeX RDF
2	Federica Paci, Rodolfo Ferrini, Elisa Bertino	Identity Attribute-Based Role Provisioning for Human WS-BPEL Processes.	ICWS	2009	DBLP DOI BibTeX RDF
2	Luciano Baresi, Sam Guinea, Marco Pistore, Michele Trainotti	Dynamo + Astro: An Integrated Approach for BPEL Monitoring.	ICWS	2009	DBLP DOI BibTeX RDF
2	Cancan Liu, Weimin Zhang, Zhigang Luo, Fengshun Lu, Hai Liu	BPEL-Based Workflow Management and Parallel Job Scheduling in Ensemble Prediction.	GCC	2009	DBLP DOI BibTeX RDF	Grid Computing, BPEL, scientific workflow, job scheduling, large-scale parallel computing
2	Mingjie Sun, Bixin Li, Pengcheng Zhang	Monitoring BPEL-Based Web Service Composition Using AOP.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
2	Wiranto Herry Utomo, Subanar, Retantyo Wardoyo, Ahmad Ashari	B2B Supply Chain Automation using Java Business Integration.	iiWAS	2009	DBLP DOI BibTeX RDF	B2B supply chain, JBI, web services, SOA, BPEL
2	Faramarz Safi Esfahani, Masrah Azrifah Azmi Murad, Md Nasir Sulaiman, Nur Izura Udzir	Using process mining to business process distribution.	SAC	2009	DBLP DOI BibTeX RDF	business process mining, distributed orchestrate engine, service oriented architecture, mobile agents, workflow, adaptive systems, BPEL
2	Mauricio Chui Rodrigues, Simon Malkowski, João Eduardo Ferreira	Implementing rigorous web services with process algebra: navigation plan for web services.	SAC	2009	DBLP DOI BibTeX RDF	web services, workflow, implementation, software, process algebra, BPEL
2	Diana Elena Comes, Steffen Bleul, Thomas Weise, Kurt Geihs	A Flexible Approach for Business Processes Monitoring.	DAIS	2009	DBLP DOI BibTeX RDF	QoS Aggregation, Quality of Service, Web Services, Monitoring, Business Processes, BPEL
2	Maryam Ashoori, Benjamin Eze, Morad Benyoucef, Liam Peyton	Toward a Framework for Dynamic Service Binding in E-Procurement.	MCETECH	2009	DBLP DOI BibTeX RDF	Service Oriented Architecture Web service, BPEL, Health care, E-Procurement
2	Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi	A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	Service composition, symbolic execution, test-case generation, orchestration, transition systems, WS-BPEL, formal testing
2	Tao Huang, Guoquan Wu, Jun Wei	Runtime Monitoring CompositeWeb Services Through Stateful Aspect Extension.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	aspect-oriented programming, runtime monitoring, WS-BPEL
2	Panagiotis Louridas	Orchestrating Web Services with BPEL.	IEEE Software	2008	DBLP DOI BibTeX RDF