Search results for "WS-BPEL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Peng Zhu, Dongyuan Zhan, Chuanhong Zhu, Dongmin Li, Tingxin Song, Biqing Huang	A Rich Internet Application Based on BPEL Services Composition for Port Logistics.	SERVICES I	2008	DBLP DOI BibTeX RDF
16	George Din, Klaus-Peter Eckert, Ina Schieferdecker	A Workload Model for Benchmarking BPEL Engines.	ICST Workshops	2008	DBLP DOI BibTeX RDF
16	Vassiliki Koufi, Flora Malamateniou, Despina Papakonstantinou, George Vassilacopoulos	Using ESB and BPEL for Evolving Healthcare Systems Towards Pervasive, Grid-Enabled SOA.	ISD	2008	DBLP DOI BibTeX RDF
16	Jiaxuan Wei, Ruisheng Zhang, Xiaoliang Fan, Chunyan Zhang, Zhiguo Gong	Applying BPEL to Chemical Research on Grid.	ChinaGrid	2008	DBLP DOI BibTeX RDF
16	Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo	Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions.	ECOWS	2008	DBLP DOI BibTeX RDF
16	Tammo van Lessen, Frank Leymann, Ralph Mietzner, Jörg Nitzsche, Daniel Schleicher	A Management Framework for WS-BPEL.	ECOWS	2008	DBLP DOI BibTeX RDF
16	Carlo Blundo, Emiliano De Cristofaro, Clemente Galdi, Giuseppe Persiano	Validating Orchestration of Web Services with BPEL and Aggregate Signatures.	ECOWS	2008	DBLP DOI BibTeX RDF
16	Andreas Both 0001, Wolf Zimmermann	Automatic Protocol Conformance Checking of Recursive and Parallel BPEL Systems.	ECOWS	2008	DBLP DOI BibTeX RDF
16	Yoji Yamato, Yuusuke Nakano, Hiroshi Sunaga	Study and Evaluation of Context-Aware Service Composition and Change-Over Using BPEL Engine and Semantic Web Techniques.	CCNC	2008	DBLP DOI BibTeX RDF
16	Andreas Eckleder, Thomas Freytag	WoPeD 2.0 goes BPEL 2.0.	AWPN	2008	DBLP BibTeX RDF
16	Daniela Feldkamp, Nishant Singh	Making BPEL Flexible.	AAAI Spring Symposium: AI Meets Business Rules and Process Management	2008	DBLP BibTeX RDF
16	Niels Lohmann, Jens Kleine	Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes.	Modellierung	2008	DBLP BibTeX RDF
16	Lina Ye, Philippe Dague	Decentralized Diagnosis for BPEL Web Services.	WEBIST (1)	2008	DBLP BibTeX RDF
16	Stephanie Gamm, Olaf Zukunft	Erweiterung einer Open-Source BPEL-Engine um eine mobile Komponente.	GI Jahrestagung (1)	2008	DBLP BibTeX RDF
16	Zhili Zhao, Ruisheng Zhang, Jiazao Lin, Ying Chen, Huajian Zhang, Lian Li 0003	An Improved Visual BPEL-Based Environment for Scientific Workflow.	GCC	2008	DBLP DOI BibTeX RDF
16	Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo	An Architecture for Dynamic Invariant Generation in WS-BPEL web Service Compositions.	ICE-B	2008	DBLP BibTeX RDF
16	D. Papakonstantinou, Flora Malamateniou, George Vassilacopoulos	Using ESB and BPEL for evolving healthcare systems towards SOA.	MIE	2008	DBLP DOI BibTeX RDF
16	Hendrik Bohn, Andreas Bobek, Frank Golatowski	WS-BPEL Process Compiler for Resource-Constrained Embedded Systems.	AINA Workshops	2008	DBLP DOI BibTeX RDF
16	Wei Shi, Jian Wu 0001, Shaolin Zhou, Ling Zhang, Yuyu Yin, Zhaohui Wu 0001	Facilitating the Flexible Modeling of Human-Driven Workflow in BPEL.	AINA Workshops	2008	DBLP DOI BibTeX RDF
16	Yong Wang, Ting Wang	Distributed Spatial Data Mining Based on BPEL-Service-Chains.	ISCSCT (1)	2008	DBLP DOI BibTeX RDF
16	Nils Barnickel, Ralf Weinand, Matthias Flügge	Semantic System Integration - Incorporating Rule based Semantic Bridges into BPEL Processes.	EON	2008	DBLP BibTeX RDF
16	Yohsuke Isozaki, Yoshihiro Kanna, Koki Kato, Tsuyoshi Kanai, Daisuke Miyamoto, Shinji Kikuchi	Monitoring Cross-Site Processes Executed across Heterogeneous WS-BPEL Processors.	EDOCW	2008	DBLP DOI BibTeX RDF
16	Tino Fleuren, Paul Müller 0001	BPEL Workflows Combining Standard OGC Web Services and Grid-enabled OGC Web Services.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
16	Bo Cheng 0001, Jie Guo, Junliang Chen, Xiangtao Lin	A Preliminary Practice for BPEL Based Multimedia Conference Web Services Orchestration.	AICT	2008	DBLP DOI BibTeX RDF
16	Rania Y. Khalaf	Supporting business process fragmentation while maintaining operational semantics: a BPEL perspective.		2008	RDF
16	Antonella Chirichiello, Gwen Salaün	Encoding process algebraic descriptions of web services into BPEL.	Web Intell. Agent Syst.	2007	DBLP BibTeX RDF
16	Roberto Lucchi, Manuel Mazzara	A pi-calculus based semantics for WS-BPEL.	J. Log. Algebraic Methods Program.	2007	DBLP DOI BibTeX RDF
16	Faisal Abouzaid, John Mullins	A Calculus for Generation, Verification and Refinement of BPEL Specifications.	WWV	2007	DBLP DOI BibTeX RDF
16	Klaus Peter Fischer, Udo Bleimann, Woldemar F. Fuhrmann, Steven Furnell	Analysis of security-relevant semantics of BPEL in cross-domain defined business processes.	Inf. Manag. Comput. Secur.	2007	DBLP DOI BibTeX RDF
16	Rania Khalaf	From RosettaNet PIPs to BPEL processes: A three level approach for business protocols.	Data Knowl. Eng.	2007	DBLP DOI BibTeX RDF
16	Iain Morrison, Sony Nugrahanto	Decision Support With BPEL and Web Services.	Int. J. Heal. Inf. Syst. Informatics	2007	DBLP DOI BibTeX RDF
16	Mirko Viroli, Enrico Denti, Alessandro Ricci	Engineering a BPEL orchestration engine as a multi-agent system.	Sci. Comput. Program.	2007	DBLP DOI BibTeX RDF
16	Chun Ouyang 0001, Eric Verbeek 0001, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede	Formal semantics and analysis of control flow in WS-BPEL.	Sci. Comput. Program.	2007	DBLP DOI BibTeX RDF
16	Jorge Cardoso 0001	Complexity analysis of BPEL Web processes.	Softw. Process. Improv. Pract.	2007	DBLP DOI BibTeX RDF
16	Mohamed El-Attar 0001, James Miller 0001	A User-Centered Approach to Modeling BPEL Business Processes Using SUCD Use Cases.	e Informatica Softw. Eng. J.	2007	DBLP BibTeX RDF
16	Maik Thiele, Dirk Habich	Orchestrierung datenintensiver Prozesse - Einsatz von BPEL in der Genexpressionsanalyse.		2007	RDF
16	Aleksander Slominski	Adapting BPEL to Scientific Workflows.	Workflows for e-Science, Scientific Workflows for Grids	2007	DBLP DOI BibTeX RDF
16	Bruno Wassermann, Wolfgang Emmerich, Ben Butchart, Nick Cameron, Liang Chen, Jignesh Patel	Sedna: A BPEL-Based Environment for Visual Scientific Workflow Modeling.	Workflows for e-Science, Scientific Workflows for Grids	2007	DBLP DOI BibTeX RDF
16	Antonio Brogi, Razvan Popescu	Automated Generation of BPEL Adapters.	CIbSE	2007	DBLP BibTeX RDF
16	Luciano Baresi, Andrea Maurino, Stefano Modafferi	Distributed BPEL Processes.	SEKE	2007	DBLP BibTeX RDF
16	Sebastian Stein 0002, Konstantin Ivanov	EPK nach BPEL Transformation als Voraussetzung für praktische Umsetzung einer SOA.	Software Engineering	2007	DBLP BibTeX RDF
16	Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg	Query-based monitoring of BPEL business processes.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	monitoring, business processes, query language
16	Weihai Yu	Peer-to-Peer Execution of BPEL Processes.	CAiSE Forum	2007	DBLP BibTeX RDF
16	Hagen Overdick	Towards Resource-Oriented BPEL.	WEWST@ECOWS (Final Proceedings)	2007	DBLP DOI BibTeX RDF
16	Dirk Habich, Sebastian Richly, Steffen Preissler, Mike Grasselt, Wolfgang Lehner, Albert Maier	BPEL DT - Data-Aware Extension for Data-Intensive Service Applications.	WEWST@ECOWS (Final Proceedings)	2007	DBLP DOI BibTeX RDF
16	Hagen Overdick	Towards Resource-Oriented BPEL.	WEWST	2007	DBLP BibTeX RDF
16	Nicolas Biri, Pascal Bauler, Fernand Feltz, Nicolas Médoc, Céline Thomase	Using BPEL as a Workflow Engine for Local Enterprise Applications.	EMISA	2007	DBLP BibTeX RDF
16	Pau Giner, Victoria Torres, Vicente Pelechano	Bridging the Gap between BPMN and WS-BPEL. M2M Transformations in Practice.	MDWE	2007	DBLP BibTeX RDF
16	Yingmin Li, Tarek Melliti, Philippe Dague	Modeling BPEL Web Services for Diagnosis: Towards Self-healing Web Services.	WEBIST (1)	2007	DBLP BibTeX RDF
16	Onyeka Ezenwoye, Seyed Masoud Sadjadi	TRAP/BPEL - A Framework for Dynamic Adaptation of Composite Services.	WEBIST (1)	2007	DBLP BibTeX RDF
16	Gregory Hackmann, Christopher D. Gill, Gruia-Catalin Roman	Extending BPEL for Interoperable Pervasive Computing.	ICPS	2007	DBLP DOI BibTeX RDF
16	Duhang Zhong, Zhichang Qi, Xishan Xu	Reliability Prediction for BPEL-based composite Web Service.	RCIS	2007	DBLP BibTeX RDF
16	Samia Oussena, Dan Sparks, Balbir Barn	BPEL Patterns for Implementing Variations in SOA Applications.	ICEIS (3)	2007	DBLP BibTeX RDF
16	Yongyan Zheng	An automatic test framework for BPEL-based Web Services.		2007	RDF
16	Aleksander Slomiski	On using BPEL extensibility to implement OGSI and WSRF Grid workflows.	Concurr. Comput. Pract. Exp.	2006	DBLP DOI BibTeX RDF
16	Frank Leymann	Choreography for the Grid: towards fitting BPEL to the resource framework.	Concurr. Comput. Pract. Exp.	2006	DBLP DOI BibTeX RDF
16	Luciano Baresi, Andrea Maurino, Stefano Modafferi	Towards Distributed BPEL Orchestrations.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2006	DBLP DOI BibTeX RDF
16	Iain Morrison, Bryn Lewis, Sony Nugrahanto	Modelling in Clinical Practice with Web Services and BPEL.	Int. J. E Bus. Res.	2006	DBLP DOI BibTeX RDF
16	Luciano Baresi, Karsten Ehrig, Reiko Heckel	Verification of Model Transformations: A Case Study with BPEL.	TGC	2006	DBLP DOI BibTeX RDF
16	Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang 0001, Anne Rozinat, H. M. W. Verbeek	Choreography Conformance Checking: An Approach based on BPEL and Petri Nets.	The Role of Business Processes in Service Oriented Architectures	2006	DBLP BibTeX RDF
16	Jan Recker, Jan Mendling	On the Translation between BPMN and BPEL.	EMMSAD	2006	DBLP BibTeX RDF
16	Anis Charfi, Mira Mezini	Middleware Support for BPEL Workflows in the AO4BPEL Engine.	BPM Demos	2006	DBLP BibTeX RDF
16	Thomas Hornung 0001, Agnes Koschmider, Jan Mendling	Integration of heterogeneous BPM Schemas: The Case of XPDL and BPEL.	CAiSE Forum	2006	DBLP BibTeX RDF
16	Marina Mongiello, Daniela Castelluccia	Modelling and verification of BPEL business processes.	MDB/MOMPES	2006	DBLP DOI BibTeX RDF
16	Manfred Reichert, Stefanie Rinderle	On Design Principles for Realizing Adaptive Service Flows with BPEL.	EMISA	2006	DBLP BibTeX RDF
16	Oliver Kopp, Tobias Unger, Frank Leymann	Nautilus Event-driven Process Chains: Syntax, Semantics, and their Mapping to BPEL.	EPK	2006	DBLP BibTeX RDF
16	Carlo Simon, Jörn Freiheit, Sebastian Olbrich	Using BPEL Processes defined by Event-driven Process Chains.	EPK	2006	DBLP BibTeX RDF
16	Liang Chen, Bruno Wassermann, Wolfgang Emmerich, Howard Foster	Web service orchestration with BPEL.	ICSE	2006	DBLP DOI BibTeX RDF
16	Anis Masmoudi, Gilbert Paquette, Roger Champagne	Implémentation à l'aide de BPEL de trois processus d'agrégation de composants, dirigée par les modèles.	INFORSID	2006	DBLP BibTeX RDF
16	Faisal Abouzaid	A Mapping from Pi-Calculus into BPEL.	CE	2006	DBLP BibTeX RDF
16	Kevin M. Heard, Christine Huang, Laura A. Noirot, Richard M. Reichley, Thomas C. Bailey	Using BPEL to Define an Executable CDS Rule Process.	AMIA	2006	DBLP BibTeX RDF
16	Onyeka Ezenwoye, Seyed Masoud Sadjadi	Enabling Robustness in Existing BPEL Processes.	ICEIS (1)	2006	DBLP BibTeX RDF
16	Serge Haddad, Patrice Moreaux, Sylvain Rampacek	A Formal Semantics and a Client Synthesis for a BPEL Service.	ICEIS (Selected Papers)	2006	DBLP DOI BibTeX RDF	Algebra of timed processes, Web Services, Timed Automata, BPEL4WS
16	Shin Nakajima 0001	Model-Checking Behavioral Specification of BPEL Applications.	WLFM@FM	2005	DBLP DOI BibTeX RDF
16	Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli	Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres.	FOCLASA	2005	DBLP DOI BibTeX RDF
16	Michael J. Butler, Carla Ferreira 0001, Muan Yong Ng	Precise Modelling of Compensating Business Transactions and its Application to BPEL.	J. Univers. Comput. Sci.	2005	DBLP DOI BibTeX RDF
16	Luciano Baresi, Sam Guinea	Towards Dynamic Monitoring of WS-BPEL Processes.	ICSOC	2005	DBLP DOI BibTeX RDF
16	Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden	Incorporating Agreements on Service Options into BPEL-based Services.	CIMCA/IAWTIC	2005	DBLP DOI BibTeX RDF
16	Wil M. P. van der Aalst, Jens Bæk Jørgensen, Kristian Bisgaard Lassen	Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System.	OTM Conferences (1)	2005	DBLP DOI BibTeX RDF	Workflow Management, Business Process Management, Colored Petri Nets, BPEL4WS
16	Dirk Fahland, Wolfgang Reisig	ASM-based Semantics for BPEL: The Negative Control Flow.	Abstract State Machines	2005	DBLP BibTeX RDF
16	Jan Mendling, Jörg Ziemann	Transformation of BPEL Processes to EPCs.	EPK	2005	DBLP BibTeX RDF
16	Matthias Kloppmann, Dieter König, Frank Leymann, Gerhard Pfau, Dieter Roller 0001	Enabling Technology: Ein J2EE-basiertes Business Process Management System zur Ausführung von BPEL- und Web Service-basierten Geschäftsprozessen.	it Inf. Technol.	2004	DBLP DOI BibTeX RDF
16	Matthias Kloppmann, Dieter König, Frank Leymann, Gerhard Pfau, Dieter Roller 0001	Business process choreography in WebSphere: Combining the power of BPEL and J2EE.	IBM Syst. J.	2004	DBLP DOI BibTeX RDF
16	M. Nirschl, Michael Rill, Andreas Wimmer	Cross enterprise collaboration in the banking industry using web services and BPEL.	CE	2003	DBLP BibTeX RDF
14	Simon Harrer, Andreas Schönberger, Guido Wirtz	A Model-Driven Approach for Monitoring ebBP BusinessTransactions.	SERVICES	2011	DBLP DOI BibTeX RDF	ebXML BPSS, Orchestration, Choreography, WS-BPEL, Services Monitoring
14	Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz 0001	DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems.	ICWS	2011	DBLP DOI BibTeX RDF	Web services composition, Conformance, FSM, WS-BPEL, WS-CDL
14	Guoquan Wu, Jun Wei 0001, Chunyang Ye, Xiaozhe Shao, Hua Zhong 0001, Tao Huang 0001	Runtime Monitoring of Data-centric Temporal Properties for Web Services.	ICWS	2011	DBLP DOI BibTeX RDF	BPEL, runtime monitoring, temporal properties
14	Lukasz Budnik, Henryk Krawczyk	Dynamic Analysis of Enterprise Business Scenarios.	EDOCW	2011	DBLP DOI BibTeX RDF	electronic enterprise, metrics analysis, quality monitoring, business processes, WS-BPEL, quality improvement
14	Anshuman Mukherjee, Zahir Tari, Peter Bertók	A Spring Based Framework for Verification of Service Composition.	IEEE SCC	2011	DBLP DOI BibTeX RDF	Spring Framework, Verification, BPEL, CPN
14	Mirko Sonntag, Dimka Karastoyanova, Ewa Deelman	Bridging the Gap between Business and Scientific Workflows: Humans in the Loop of Scientific Workflows.	eScience	2010	DBLP DOI BibTeX RDF	business workflows, human tasks, BPEL, Scientific workflows, Pegasus
14	Andreas Schönberger, Guido Wirtz, Christian Huemer, Marco Zapletal	A Composable, QoS-Aware and Web Services-Based Execution Model for ebXML BPSS Business Transactions.	SERVICES	2010	DBLP DOI BibTeX RDF	B2Bi, ebXML BPSS, orchestration, choreography, WS-BPEL
14	Tien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada	Online Testing Framework for Web Services.	ICST	2010	DBLP DOI BibTeX RDF	Composite of Web Services, Timed Extended Finite State Machine, Test Generation, BPEL, Conformance Testing, Online Testing
14	Wolfgang Halb, Herwig Zeiner, Bernhard Jandl, Harald Lernbeiss, Christian Derler	Agile Service Oriented Architecture with Adaptive Processes Using Semantically Annotated Workflow Templates.	ICWS	2010	DBLP DOI BibTeX RDF	BPEL, dynamic binding, run time adaptability
14	Vikas Agarwal, Pankaj Jalote	From Specification to Adaptation: An Integrated QoS-driven Approach for Dynamic Adaptation of Web Service Compositions.	ICWS	2010	DBLP DOI BibTeX RDF	QoS, web service, adaptation, BPEL, WSDL, composite service, Non-functional properties
14	Zakwan Jaroucheh, Xiaodong Liu 0002, Sally Smith	Apto: A MDD-Based Generic Framework for Context-Aware Deeply Adaptive Service-Based Processes.	ICWS	2010	DBLP DOI BibTeX RDF	adaptive service-based processes, Context-awareness, MDD, BPEL
14	Guoquan Wu, Jun Wei 0001, Chunyang Ye, Hua Zhong 0001, Tao Huang 0001	Detecting Data Inconsistency Failure of Composite Web Services Through Parametric Stateful Aspect.	ICWS	2010	DBLP DOI BibTeX RDF	Aspect-oriented Programming, Runtime monitoring, WS-BPEL
14	Ana R. Cavalli, Tien-Dung Cao, Wissam Mallouli, Eliane Martins, Andrey Sadovykh, Sébastien Salva, Fatiha Zaïdi	WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition.	ICWS	2010	DBLP DOI BibTeX RDF	Web Service, BPEL, Unit Testing, Testing framework, Test Case Generation, Test Purposes
14	Gerardo Morales, Stéphane Maag, Ana R. Cavalli, Wissam Mallouli, Edgardo Montes de Oca, Bachar Wehbi	Timed Extended Invariants for the Passive Testing of Web Services.	ICWS	2010	DBLP DOI BibTeX RDF	BPEL, Passive Testing
14	Vassilis Loumos, George Christonakis, Girgios Mpardis, Pangiota Tziova	Change Management and Quality of Service through Business Process Modeling: The N-VIS, a Public Sector Project.	ITNG	2010	DBLP DOI BibTeX RDF	Visa, BPEL, BPMN, KPI
14	Marvin Ferber, Thomas Rauber, Sascha Hunold	Combining Object-Oriented Design and SOA with Remote Objects over Web Services.	ECOWS	2010	DBLP DOI BibTeX RDF	remote object, Web Service, SOA, CORBA, BPEL, SOAP, distributed object