Search results for "WS-BPEL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Dulce Domingos, Francisco Martins, Carlos Cândido	Internet of Things Aware WS-BPEL Business Process.	ICEIS (2)	2013	DBLP DOI BibTeX RDF
16	Budan Wu, Rongheng Lin, Junliang Chen	Integrating RESTful Service into BPEL Business Process on Service Generation System.	IEEE SCC	2013	DBLP DOI BibTeX RDF
16	Zhilei Ma	Process fragments: enhancing reuse of process logic in BPEL process models.		2013	RDF
16	Dieter Roller 0001	Throughput improvements for BPEL engines: implementation techniques and measurements applied to SWoM.		2013	RDF
16	Marcel Krizevnik, Matjaz B. Juric	Data-bound variables for WS-BPEL executable processes.	Comput. Lang. Syst. Struct.	2012	DBLP DOI BibTeX RDF
16	Yunni Xia, Yi Liu, Ji Liu 0006, Qingsheng Zhu	Modeling and Performance Evaluation of BPEL Processes: A Stochastic-Petri-Net-Based Approach.	IEEE Trans. Syst. Man Cybern. Part A	2012	DBLP DOI BibTeX RDF
16	Genong (Eugene) Yu, Peisheng Zhao, Liping Di, Aijun Chen, Meixia Deng, Yuqi Bai	BPELPower - A BPEL execution engine for geospatial web services.	Comput. Geosci.	2012	DBLP DOI BibTeX RDF
16	Manuel Mazzara, Nicola Dragoni, Mu Zhou	Implementing Workflow Reconfiguration in WS-BPEL.	J. Internet Serv. Inf. Secur.	2012	DBLP DOI BibTeX RDF
16	Anis Charfi, Benjamin Schmeling, Mira Mezini	An aspect-oriented framework for specification and enforcement of non-functional concerns in WS-BPEL.	Int. J. Web Grid Serv.	2012	DBLP DOI BibTeX RDF
16	Azzam Mourad, Sara Ayoubi, Hamdi Yahyaoui, Hadi Otrok	A novel aspect-oriented BPEL framework for the dynamic enforcement of web services security.	Int. J. Web Grid Serv.	2012	DBLP DOI BibTeX RDF
16	Jonathan Michaux, Elie Najm, Alessandro Fantechi	Adding Sessions to BPEL	WWV	2012	DBLP DOI BibTeX RDF
16	Bixin Li, Dong Qiu, Hareton Leung, Di Wang	Automatic test case selection for regression testing of composite service based on extensible BPEL flow graph.	J. Syst. Softw.	2012	DBLP DOI BibTeX RDF
16	Chengying Mao	Static inter-BPEL program slicing for web services.	Int. J. Simul. Process. Model.	2012	DBLP DOI BibTeX RDF
16	Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001	Using formal methods to develop WS-BPEL applications.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
16	Nils Barnickel, Matthias Flügge	Loosely Coupled Information Models for Business Process Integration: Incorporating Rule-Based Semantic Bridges into BPEL.	Semantic Web Services, Advancement through Evaluation	2012	DBLP DOI BibTeX RDF
16	Luis Jesús Ramón Stroppi, Omar Chiotti, Pablo David Villarreal	Extended Resource Perspective Support for BPMN and BPEL.	CIbSE	2012	DBLP BibTeX RDF
16	Huiqun Zhao, Wenwen Wang, Jing Sun 0009, Ying Wei	Research on Formal Modeling and Verification of BPEL-based Web Service Composition.	ACIS-ICIS	2012	DBLP DOI BibTeX RDF
16	Mohit Chamania, Edip Demirbilek, Admela Jukan, Xavier Masip-Bruin, Marcelo Yannuzzi	Using BPEL workflow processing for cross-layer orchestrations in IP-over-optical networks: A proof of concept.	NOMS	2012	DBLP DOI BibTeX RDF
16	Cuicui Liu, Bixin Li, ShanShan Qi, Xiaona Wu, Rui Song	Data Depedency Based Trust Evaluation for BPEL Processes.	APSEC	2012	DBLP DOI BibTeX RDF
16	Donggyu Kwak, Jaeyoung Choi, Myungho Lee	Augmentation of BPEL with New Functions Using Aspect-oriented Programming.	HPCC-ICESS	2012	DBLP DOI BibTeX RDF
16	Huiqun Zhao, Jing Sun 0009, Xiaodong Liu 0001	A Model Checking Based Approach to Automatic Test Suite Generation for Testing Web Services and BPEL.	APSCC	2012	DBLP DOI BibTeX RDF
16	Hayat Bendoukha, Yahya Slimani, Abdelkader Benyettou	UML Refinement for Mapping UML Activity Diagrams into BPEL Specifications to Compose Service-Oriented Workflows.	NDT (2)	2012	DBLP DOI BibTeX RDF
16	Jörg Lenhard, Guido Wirtz	Building Orchestrations in B2Bi - The Case of BPEL 2.0 and BPMN 2.0.	ZEUS	2012	DBLP BibTeX RDF
16	Zeina Azmeh, Marianne Huchard, Fady Hamoui, Naouel Moha	From Abstract to Executable BPEL Processes with Continuity Support.	ICWS	2012	DBLP DOI BibTeX RDF
16	Emmanouela Stachtiari, Anakreon Mentis, Panagiotis Katsaros	Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework.	ICWS	2012	DBLP DOI BibTeX RDF
16	Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaiel	Model-Based Conformance Testing of WS-BPEL Compositions.	COMPSAC Workshops	2012	DBLP DOI BibTeX RDF
16	Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaiel	Conformance Testing of WS-BPEL Compositions under Various Load Conditions.	COMPSAC	2012	DBLP DOI BibTeX RDF
16	Mirko Sonntag, Michael Hahn 0002, Dimka Karastoyanova	Mayflower - Explorative Modeling of Scientific Workflows with BPEL.	BPM (Demos)	2012	DBLP BibTeX RDF
16	Enrico Barbierato, Mauro Iacono, Stefano Marrone 0001	PerfBPEL: A graph-based approach for the performance analysis of BPEL SOA applications.	VALUETOOLS	2012	DBLP DOI BibTeX RDF
16	Simon Harrer, Jörg Lenhard, Guido Wirtz	BPEL conformance in open source engines.	SOCA	2012	DBLP DOI BibTeX RDF
16	Stefan Kolb 0001, Jörg Lenhard, Guido Wirtz	Bridging the heterogeneity of orchestrations - A Petri net-based integration of BPEL and Windows Workflow.	SOCA	2012	DBLP DOI BibTeX RDF
16	Hema Banati, Punam Bedi, Preeti Marwaha	Extending BPEL for WSDL-Temporal based Web services.	HIS	2012	DBLP DOI BibTeX RDF
16	Carmen Castro-Cabrera, Inmaculada Medina-Bulo, Azahara Camacho	Metasearch Services Composition in WS-BPEL - An Application of Metamorphic Testing.	ICSOFT	2012	DBLP DOI BibTeX RDF
16	Jingwei Cheng, Chong Wang 0004, Keqing He, Jinxu Jia, Peng Liang 0001	Mappings from BPEL to PMR for Business Process Registration.	PRO-VE	2012	DBLP DOI BibTeX RDF
16	Chang-Ai Sun, Yimeng Zhai, Yan Shang, Zhenyu Zhang	Toward Effectively Locating Integration-Level Faults in BPEL Programs.	QSIC	2012	DBLP DOI BibTeX RDF
16	Chang-Ai Sun, Yan Shang, Yan Zhao, Tsong Yueh Chen	Scenario-Oriented Testing for Web Service Compositions Using BPEL.	QSIC	2012	DBLP DOI BibTeX RDF
16	Hanine Tout, Azzam Mourad, Hamdi Yahyaoui, Chamseddine Talhi, Hadi Otrok	Towards a BPEL model-driven approach for Web services security.	PST	2012	DBLP DOI BibTeX RDF
16	Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu	The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs.	SEFM	2012	DBLP DOI BibTeX RDF
16	Budan Wu, Junliang Chen	A Semantic Extended Multi-layer Model for BPEL Process Generation.	IEEE SCC	2012	DBLP DOI BibTeX RDF
16	Xutao Du, Chunxiao Xing, Lizhu Zhou, Ke Han	Modeling Control Flow in WS-BPEL with Chu Spaces.	Int. J. Inf. Syst. Serv. Sect.	2011	DBLP DOI BibTeX RDF
16	Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis	Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments.	Int. J. Syst. Serv. Oriented Eng.	2011	DBLP DOI BibTeX RDF
16	Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001	A WSDL-based type system for asynchronous WS-BPEL processes.	Formal Methods Syst. Des.	2011	DBLP DOI BibTeX RDF
16	Jong-Phil Kim, Dong-Hyuk Sung, Jang-Eui Hong	Performance Testing of Composite Web-Service with Aspect-Based WS-BPEL Extension.	KSII Trans. Internet Inf. Syst.	2011	DBLP DOI BibTeX RDF
16	Alireza Khoshkbarforoushha, Pooyan Jamshidi, Ali Nikravesh, Fereidoon Shams	Metrics for BPEL process context-independency analysis.	Serv. Oriented Comput. Appl.	2011	DBLP DOI BibTeX RDF
16	Luciano Baresi, Sam Guinea	Self-Supervising BPEL Processes.	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF
16	Steffen Mazanek, Michael Hanus	Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language.	J. Vis. Lang. Comput.	2011	DBLP DOI BibTeX RDF
16	Denitsa Manova, Ilina Manova, Sylvia Ilieva, Dessislava Petrova-Antonova	faultInjector: A Tool for Injection of Faults in Synchronous WS-BPEL Processes.	ECBS-EERC	2011	DBLP DOI BibTeX RDF
16	Qiwei Wang, Budan Wu, Junliang Chen	A research on optimization algorithm for BPEL process based on synchronization and concurrency analysis.	EMEIT	2011	DBLP DOI BibTeX RDF
16	Nils Glombitza, Sebastian Ebers, Dennis Pfisterer, Stefan Fischer 0001	Using BPEL to Realize Business Processes for an Internet of Things.	ADHOC-NOW	2011	DBLP DOI BibTeX RDF
16	Matthias Geiger, Andreas Schönberger, Guido Wirtz	Towards Automated Conformance Checking of ebBP-ST Choreographies and Corresponding WS-BPEL Based Orchestrations.	SEKE	2011	DBLP BibTeX RDF
16	Wenrui Li, Zhongxue Yang, Pengcheng Zhang, Zhijian Wang	Model Checking WS-BPEL with Universal Modal Sequence Diagrams.	ACIS-ICIS	2011	DBLP DOI BibTeX RDF
16	Mohamed Boukhebouze, Waldemar Pires Ferreira Neto, Erbin Lim	Yet Another BPEL Extension for User Interactions.	ER Workshops	2011	DBLP DOI BibTeX RDF
16	Juan Boubeta-Puig, Inmaculada Medina-Bulo, Antonio García-Domínguez	Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages.	ICST Workshops	2011	DBLP DOI BibTeX RDF
16	Nezar Nassr, Eric Steegmans	A parameterized RBAC access control model for WS-BPEL orchestrated composite web services.	ICITST	2011	DBLP BibTeX RDF
16	Matthias Geiger, Andreas Schönberger, Guido Wirtz	A Proposal for Checking the Conformance of ebBP-ST Choreographies and WS-BPEL Orchestrations.	ZEUS	2011	DBLP BibTeX RDF
16	Denitsa Manova, Sylvia Ilieva, Francesca Lonetti, Antonia Bertolino, Cesare Bartolini	Towards automated robustness testing of BPEL orchestrators.	CompSysTech	2011	DBLP DOI BibTeX RDF
16	Mirko Sonntag, Dimka Karastoyanova	Compensation of Adapted Service Orchestration Logic in BPEL'n'Aspects.	BPM	2011	DBLP DOI BibTeX RDF
16	Elie Fares, Jean-Paul Bodeveix, Mamoun Filali	Verification of Timed BPEL 2.0 Models.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
16	Neil Paiva Tizzo, Juan Manuel Adán Coello, Eleri Cardozo	Improving dynamic Web service selection in WS-BPEL using SPARQL.	SMC	2011	DBLP DOI BibTeX RDF
16	Oliver Kopp, Frank Leymann, Sebastian Wagner 0001	Modeling Choreographies: BPMN 2.0 versus BPEL-based Approaches.	EMISA	2011	DBLP BibTeX RDF
16	Nasser Mousa Faleh. Mustafa, Gregor von Bochmann	Transforming dynamic behavior specifications from activity diagrams to BPEL.	SOSE	2011	DBLP DOI BibTeX RDF
16	Sylvia Ilieva, Denitsa Manova, Ilina Manova, Cesare Bartolini, Antonia Bertolino, Francesca Lonetti	An automated approach to robustness testing of BPEL orchestrations.	SOSE	2011	DBLP DOI BibTeX RDF
16	Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi, Shin Nakajima 0001, Akihito Iwai	Translation Pattern of BPEL Process into Promela Code.	IWSM/Mensura	2011	DBLP DOI BibTeX RDF
16	Aarti M. Karande, V. N. Chunekar, B. B. Meshram	Intelligent database for the SOA using BPEL.	ICCCS	2011	DBLP DOI BibTeX RDF
16	Wassim Jendoubi, Guy Tremblay, Aziz Salah	Interface Expressions Monitoring for BPEL Processes.	WEBIST	2011	DBLP BibTeX RDF
16	Emma Blanco-Muñoz, Antonio García-Domínguez, Juan José Domínguez-Jiménez, Inmaculada Medina-Bulo	Towards Higher-order Mutant Generation for WS-BPEL.	ICE-B	2011	DBLP BibTeX RDF
16	Carmen Castro-Cabrera, Inmaculada Medina-Bulo	An Approach to Metamorphic Testing for WS-BPEL Compositions.	ICE-B	2011	DBLP BibTeX RDF
16	Lev Belava	Transforming BPEL Service Composition Into A Service Composition Directed Graph For Better Composition Plan Management.	ECMS	2011	DBLP DOI BibTeX RDF
16	Dong Li, Qinming Wu	Translating Artifact-Based Business Process Model to BPEL.	CSEE (2)	2011	DBLP DOI BibTeX RDF
16	José Antonio Mateo, Valentín Valero, Gregorio Díaz 0001	An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework.	WS-FM	2011	DBLP DOI BibTeX RDF
16	Elie Fares, Jean-Paul Bodeveix, Mamoun Filali	Design of a BPEL Verification Tool.	WS-FM	2011	DBLP DOI BibTeX RDF
16	Amirreza Tahamtan, Christian Oesterle, A Min Tjoa, Abdelkader Hameurlain	Temporal Management of WS-BPEL Processes.	ICEIS	2011	DBLP DOI BibTeX RDF
16	Yitao Ni, Lu Zhang 0023, Zhong Jie Li, Tao Xie 0001, Hong Mei 0001	Detecting Concurrency-Related Problematic Activity Arrangement in WS-BPEL Programs.	IEEE SCC	2011	DBLP DOI BibTeX RDF
16	Jonas Buys, Vincenzo De Florio, Chris Blondia	Optimization of WS-BPEL Workflows through Business Process Re-Engineering Patterns.	Int. J. Adapt. Resilient Auton. Syst.	2010	DBLP DOI BibTeX RDF
16	Luciano Baresi, Sam Guinea, Olivier Nano, George Spanoudakis	Comprehensive Monitoring of BPEL Processes.	IEEE Internet Comput.	2010	DBLP DOI BibTeX RDF	Assertion checkers, assertion languages, performance, Software Engineering, Software Engineering, Design Tools and Techniques, Software/Software Engineering, Software/Software Engineering, Software/Program Verification, Distributed/Internet based software engineering tools and techniques
16	Wei Tan 0001, Paolo Missier, Ian T. Foster, Ravi K. Madduri, David De Roure, Carole A. Goble	A comparison of using Taverna and BPEL in building scientific workflows: the case of caGrid.	Concurr. Comput. Pract. Exp.	2010	DBLP DOI BibTeX RDF
16	Rongsheng Dong, Zhao Wei, Xiangyu Luo, Fang Liu	Testing Conformance of BPEL Business Process Based on Model Checking.	J. Softw.	2010	DBLP DOI BibTeX RDF
16	Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik	Optimizing Computation of Recovery Plans for BPEL Applications	TAV-WEB	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 (Extended Version)	CoRR	2010	DBLP BibTeX RDF
16	Andreas Schönberger, Christoph Pflügler, Guido Wirtz	Translating shared state based ebXML BPSS models to WS-BPEL.	Int. J. Bus. Intell. Data Min.	2010	DBLP DOI BibTeX RDF
16	Matjaz B. Juric	WSDL and BPEL extensions for Event Driven Architecture.	Inf. Softw. Technol.	2010	DBLP DOI BibTeX RDF
16	Adel Khaled, James Miller 0001	Chronological fault-based mutation processes for WS-BPEL 2.0 programs.	Int. J. Web Eng. Technol.	2010	DBLP DOI BibTeX RDF
16	Ing-Yi Chen, Guo-Kai Ni, Cheng-Hwa Kuo, Chau-Young Lin	A BPEL-Based Fault-Handling Architecture for Telecom Operation Support Systems.	J. Adv. Comput. Intell. Intell. Informatics	2010	DBLP DOI BibTeX RDF
16	Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis	From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment.	WISE Workshops	2010	DBLP DOI BibTeX RDF
16	Mirko Sonntag, Dimka Karastoyanova	BPEL'n'Aspects&Compensation: Adapted Service Orchestration Logic and Its Compensation Using Aspects.	ICSOC	2010	DBLP DOI BibTeX RDF
16	Roberta Cucino, Claudio Eccher	Modeling Healthcare Processes in BPEL: A Colon Cancer Screening Case Study.	eHealth	2010	DBLP DOI BibTeX RDF
16	Jonas Brüstel, Thomas Preuß, Martin Weigel	Rendering von Kartendaten mit Hilfe des Amazon EC2 Services unter Nutzung von WS-BPEL.	Geoinformatik	2010	DBLP BibTeX RDF
16	Yongbo Wang, Fuyuki Ishikawa, Shinichi Honiden	Business Semantics Centric Reliability Testing for Web Services in BPEL.	SERVICES	2010	DBLP DOI BibTeX RDF	Web Services, Fault Injection, Reliability Testing
16	Jinhui Yao, Shiping Chen 0001, Chen Wang 0008, David Levy 0001, John Zic	Accountability as a Service for the Cloud: From Concept to Implementation with BPEL.	SERVICES	2010	DBLP DOI BibTeX RDF	service orieanted architecture, cloud computing, accountability, trustworthiness
16	Stefan Gudenkauf, Guido Scherp, Wilhelm Hasselbring, André Höing, Odej Kao	Workflow Modeling for WS-BPEL-based Service Orchestration in SMEs.	Software Engineering (Workshops)	2010	DBLP BibTeX RDF
16	Guido Scherp, Wilhelm Hasselbring	Ein modellgetriebener Ansatz zur Nutzung von WS-BPEL für Scientific Workflows.	Software Engineering (Workshops)	2010	DBLP BibTeX RDF
16	Bixin Li, Xiaocong Fan, Ying Zhou, Zhiyong Su	Evaluating the Reliability of Web Services Based on BPEL Code Structure Analysis and Run-Time Information Capture.	APSEC	2010	DBLP DOI BibTeX RDF
16	Xuehong Yang, Junfei Huang, Yunzhan Gong	Defect Analysis Respecting Dead Path Elimination in BPEL Process.	APSCC	2010	DBLP DOI BibTeX RDF
16	Gongyuan Zhang, Bixin Li	A Way to Model Flow Construct and Its Three Properties Verification for BPEL Specification.	APSCC	2010	DBLP DOI BibTeX RDF
16	Balazs Simon, Balázs Goldschmidt, Károly Kondorosi	A Human Readable Platform Independent Domain Specific Language for BPEL.	NDT (1)	2010	DBLP DOI BibTeX RDF
16	Jifeng He 0001	A Probabilistic BPEL-Like Language.	UTP	2010	DBLP DOI BibTeX RDF
16	Sébastien Salva, Issam Rabhi	A Preliminary Study on BPEL Process Testability.	ICST Workshops	2010	DBLP DOI BibTeX RDF
16	Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo	Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions.	ICST Workshops	2010	DBLP DOI BibTeX RDF
16	Qi Zhao 0005, Xuanzhe Liu, Dawei Sun, Tiancheng Liu, Ying Li 0012, Gang Huang 0001	Mashing-Up Rich User Interfaces for Human-Interaction in WS-BPEL.	ICWS	2010	DBLP DOI BibTeX RDF
16	Venkatesan D. Pillai	Development of a Novel Software Architecture for Active Internet Applications Based on Fusion of Mobile Agent, Web Services and BPEL Technologies.	ICWS	2010	DBLP DOI BibTeX RDF	migrating web service, Mobile agents, business process modeling, work flow, application architecture