Search results for "BPEL4WS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
135	Jinyoung Moon, Daeha Lee, Chankyu Park, Hyunkyu Cho	Transformation Algorithms between BPEL4WS and BPML for the Executable Business Process.	WETICE	2004	DBLP DOI BibTeX RDF	BPML, Web services, Transformation, business process, BPEL4WS
101	Zhong Jie Li, Wei Sun 0001, Zhong Bo Jiang, Xin Zhang 0008	BPEL4WS Unit Testing: Framework and Implementation.	ICWS	2005	DBLP DOI BibTeX RDF
97	Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao	Semantics of BPEL4WS-Like Fault and Compensation Handling.	FM	2005	DBLP DOI BibTeX RDF	Compensation handling, Semantics, Business Process, Language, BPEL4WS, Fault handling
84	Francesco Moscato 0001, Nicola Mazzocca, Valeria Vittorini, Giusy Di Lorenzo, Paola Mosca, Massimo Magaldi	Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example.	HPCC	2005	DBLP DOI BibTeX RDF	Web Services, semantics, Orchestration, Choreography, pattern analysis, Workflow patterns, BPEL4WS, Workflow language
76	Muhammad Ahtisham Aslam, Sören Auer, Jun Shen 0001, Michael Herrmann 0001	Expressing Business Process Models as OWL-S Ontologies.	Business Process Management Workshops	2006	DBLP DOI BibTeX RDF
76	Henrique Jorge A. Holanda, Giovanni Cordeiro Barroso, Antônio de Barros Serra	SPEWS: A Framework for the Performance Analysis of Web Services Orchestrated with BPEL4WS.	ICIW	2009	DBLP DOI BibTeX RDF
76	Guilan Dai, Xiaoying Bai, Chongchong Zhao	A Framework for Model Checking Web Service Compositions Based on BPEL4WS.	ICEBE	2007	DBLP DOI BibTeX RDF
76	Kuo-Ming Chao, Muhammad Younas 0001, Nathan Griffiths, Irfan Awan, Rachid Anane, Chen-Fang Tsai	Analysis of Grid Service Composition with BPEL4WS.	AINA (1)	2004	DBLP DOI BibTeX RDF
71	Fu-ren Lin, Hsiang-chin Chang	The development and evaluation of exception handling mechanisms for order fulfillment process based on BPEL4WS.	ICEC	2005	DBLP DOI BibTeX RDF	Web service, resource management, supply chain management, exception handling, BPEL4WS
67	Gwyduk Yeom, Dugki Min	Design and Implementation of Context-Aware Orchestration Server.	WSTST	2005	DBLP DOI BibTeX RDF	BPEL4WS engine, orchestration server, context-aware, BPEL4WS, Composite web services
63	Domenico Bianculli, Carlo Ghezzi, Paola Spoletini	A Model Checking Approach to Verify BPEL4WS Workflows.	SOCA	2007	DBLP DOI BibTeX RDF
63	Frank Leymann, Dieter Roller 0001	Modeling business processes with BPEL4WS.	Inf. Syst. E Bus. Manag.	2006	DBLP DOI BibTeX RDF	Web services, Business Processes, BPEL
63	Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi	Automated Synthesis of Composite BPEL4WS Web Services.	ICWS	2005	DBLP DOI BibTeX RDF
63	Franck van Breugel, Mariya Koshkina	Dead-Path-Elimination in BPEL4WS.	ACSD	2005	DBLP DOI BibTeX RDF
63	Daniel J. Mandell, Sheila A. McIlraith	Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation.	ISWC	2003	DBLP DOI BibTeX RDF
63	Francisco Curbera, Rania Khalaf, Frank Leymann, Sanjiva Weerawarana	Exception Handling in the BPEL4WS Language.	Business Process Management	2003	DBLP DOI BibTeX RDF
59	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
59	Casey K. Fung, Patrick C. K. Hung, Richard C. Linger, Gwendolyn H. Walton	Extending Business Process Execution Language for Web Services with Service Level Agreements Expressed in Computational Quality Attributes.	HICSS	2005	DBLP DOI BibTeX RDF	Flow-Service-Quality engineering, Computational Quality Attributes, WSLA, Web services, SLA, SOAP, WSDL, UDDI, BPEL4WS
59	Andrea Ferrara	Web services: a process algebra approach.	ICSOC	2004	DBLP DOI BibTeX RDF	web services, formal methods, process algebra, BPEL4WS
59	Bill Karakostas, Yannis Zorgios, Charalampos C. Alevizos	Automatic derivation of BPEL4WS from IDEF0 process models.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	IDEF0, Web services, UML, WSDL, Orchestration, BPEL4WS
59	Jesús Arias-Fisteus, Luis Sánchez Fernández 0001, Carlos Delgado Kloos	Applying model checking to BPEL4WS business collaborations.	SAC	2005	DBLP DOI BibTeX RDF	web services, model checking, BPEL4WS
59	Tamrat W. Tewoldeberhan, Alexander Verbraeck, Simon Samwel Msanjila	Simulating process orchestrations in business networks: a case using BPEL4WS.	ICEC	2005	DBLP DOI BibTeX RDF	simulation, web service, service oriented architecture, business process, BPEL4WS
51	Minsoo Lee, Hyejung Yoon, Hyoseop Shin	Supporting Dynamic Workflows in a Ubiquitous Environment.	MUE	2007	DBLP DOI BibTeX RDF
51	Rachid Anane, Kuo-Ming Chao, Yinsheng Li	Hybrid Composition of Web Services and Grid Services.	EEE	2005	DBLP DOI BibTeX RDF
51	Jian Sun 0010, Changjun Jiang	Web Service Composition Based on BPWS-Net.	AWCC	2004	DBLP DOI BibTeX RDF
51	Jun Shen 0001, Yun Yang 0001, Bharat Lalwani	Mapping Web Services Specifications to Process Ontology: Opportunities and Limitations.	FTDCS	2004	DBLP DOI BibTeX RDF
51	Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede	Web Service Composition Languages: Old Wine in New Bottles?.	EUROMICRO	2003	DBLP DOI BibTeX RDF
50	Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi	Automated synthesis of executable web service compositions from BPEL4WS processes.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	business processes, web service composition, automated synthesis
50	Li Guo 0002, David Robertson 0001, Yun-Heh Chen-Burger	A Novel Approach for Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-Agent Platform.	ICEBE	2005	DBLP DOI BibTeX RDF
50	Li Guo 0002, David Robertson 0001, Yun-Heh Chen-Burger	Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-agent Platform.	MATES	2005	DBLP DOI BibTeX RDF
50	Yong Wang, Jinpeng Huai	Comparative Analysis of BPEL4WS and a Grid Workflow Language Called GPEL.	IEEE SCC	2005	DBLP DOI BibTeX RDF
50	Jesús Arias-Fisteus, Luis Sánchez Fernández 0001, Carlos Delgado Kloos	Formal Verification of BPEL4WS Business Collaborations.	EC-Web	2004	DBLP DOI BibTeX RDF
50	Sisi Liu, Rania Khalaf, Francisco Curbera	From DAML-S Processes to BPEL4WS.	RIDE	2004	DBLP DOI BibTeX RDF
50	Francisco Curbera, Rania Khalaf, William Nagy, Sanjiva Weerawarana	Implementing BPEL4WS: the architecture of a BPEL4WS implementation.	Concurr. Comput. Pract. Exp.	2006	DBLP DOI BibTeX RDF
46	Bill Karakostas, Yannis Zorgios, Charalampos C. Alevizos	The Semantics of Business Service Orchestration.	Business Process Management Workshops	2006	DBLP DOI BibTeX RDF	Service semantics, IDEF0, MDA, Service composition, BPEL4WS, Service orchestration
46	Khaled Mahbub, George Spanoudakis	A framework for requirents monitoring of service based systems.	ICSOC	2004	DBLP DOI BibTeX RDF	event calculus, BPEL4WS, service-based systems, requirements monitoring
46	Girish Chafle, Sunil Chandra, Vijay Mann, Mangala Gowri Nanda	Decentralized orchestration of composite web services.	WWW (Alternate Track Papers & Posters)	2004	DBLP DOI BibTeX RDF	code partitioning, BPEL4WS, composite web services, decentralized orchestration
38	Guilan Dai, Rujuan Liu, Chongchong Zhao, Changjun Hu	Timing Constraints Specification and Verification for Web Service Compositions.	APSCC	2008	DBLP DOI BibTeX RDF
38	Giusy Di Lorenzo, Francesco Moscato 0001, Nicola Mazzocca, Valeria Vittorini	Automatic Analysis of Control Flow inWeb Services Composition Processes.	PDP	2007	DBLP DOI BibTeX RDF
38	Rachid Anane, Yinsheng Li, Chen-Fang Tsai, Kuo-Ming Chao, Muhammad Younas 0001	An Agent-Based Compositional Framework.	APWeb	2005	DBLP DOI BibTeX RDF
38	Behzad Bordbar, Athanasios Staikopoulos	On Behavioural Model Transformation in Web Services.	ER (Workshops)	2004	DBLP DOI BibTeX RDF
38	Jana Koehler, Rainer Hauser	Untangling Unstructured Cyclic Flows - A Solution Based on Continuations.	CoopIS/DOA/ODBASE (1)	2004	DBLP DOI BibTeX RDF
38	Patrick C. K. Hung, Dickson K. W. Chiu	Developing Workflow-Based Information Integration (WII) with Exception Support in a Web Services Environment.	HICSS	2004	DBLP DOI BibTeX RDF
38		BPEL4WS.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
38	Markus Mathes, Roland Schwarzkopf, Tim Dörnemann, Steffen Heinzl, Bernd Freisleben	Orchestration of Time-Constrained BPEL4WS workflows.	ETFA	2008	DBLP DOI BibTeX RDF
38	Yuan Yuan 0036, Zhong Jie Li, Wei Sun 0001	A Graph-Search Based Approach to BPEL4WS Test Generation.	ICSEA	2006	DBLP DOI BibTeX RDF	test path generation, graphsearch, test generation, BPEL
38	Zhile Zou, Zhenhua Duan	Building Business Processes or Assembling Service Components: Reuse Services with BPEL4WS and SCA.	ECOWS	2006	DBLP DOI BibTeX RDF
38	Dejun Wang, Linpeng Huang, Qinglei Zhang	A Workflow-Oriented Scripting Language Based on BPEL4WS.	APWeb Workshops	2006	DBLP DOI BibTeX RDF
38	Raman Kazhamiakin, Marco Pistore	A Parametric Communication Model for the Verification of BPEL4WS Compositions.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
38	Satoru Endo, Toshiyuki Miyamoto, Sadatoshi Kumagai, Taku Fujii	On Simulation of BPEL4WS/UML Descriptions.	APSEC	2005	DBLP DOI BibTeX RDF
38	Alberto Martínez, Marta Patiño-Martínez, Ricardo Jiménez-Peris, Francisco Perez-Sorrosal	ZenFlow: A Visual Web Service Composition Tool for BPEL4WS.	VL/HCC	2005	DBLP DOI BibTeX RDF
38	Jun Shen 0001, Yun Yang 0001, Chengang Wan, Chuan Zhu	From BPEL4WS to OWL-S: Integrating E-Business Process Descriptions.	IEEE SCC	2005	DBLP DOI BibTeX RDF
38	Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu	Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes.	ICWS	2004	DBLP DOI BibTeX RDF
38	Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede	Analysis of Web Services Composition Languages: The Case of BPEL4WS.	ER	2003	DBLP DOI BibTeX RDF
34	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)
34	Ricardo Jiménez-Peris, Marta Patiño-Martínez, Ernestina Martel-Jordán	Decentralized web service orchestration: a reflective approach.	SAC	2008	DBLP DOI BibTeX RDF	reflection, throughput, BPEL4WS, composite web services, web service orchestration, decentralized orchestration
34	Kristian Bisgaard Lassen, Wil M. P. van der Aalst	WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF	Petri nets, workflow management, business process management, BPEL4WS
34	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	LTSA-WS: a tool for model-based verification of web service compositions and choreography.	ICSE	2006	DBLP DOI BibTeX RDF	model-checking, web service compositions, choreography, BPEL4WS, WS-CDL
34	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
34	Andrea Maurino, Stefano Modafferi	Partitioning rules for orchestrating mobile information systems.	Pers. Ubiquitous Comput.	2005	DBLP DOI BibTeX RDF	Workflow partitioning, Partitioning rules, BPEL4WS, Mobile information systems, Distributed workflow
34	Chieh-Yuan Tsai, Min-Hong Tsai	A Dynamic Web Service based Data Mining Process System.	CIT	2005	DBLP DOI BibTeX RDF	Service-Orientedb Architecture (SOA), Business Process Execution Language for Web Service (BPEL4WS) and Predictive Model Markup Language (PMML), Data Mining, Web Services
34	Mariya Koshkina, Franck van Breugel	Modelling and verifying web service orchestration by means of the concurrency workbench.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	concurrency workbench of the new century, process algebra compiler, web service, modelling, verification, business process, BPEL4WS
25	Alexander Lazovik, Heiko Ludwig	Managing Process Customizability and Customization: Model, Language and Process.	WISE	2007	DBLP DOI BibTeX RDF
25	Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore	Timed Modelling and Analysis in Web Service Compositions.	ARES	2006	DBLP DOI BibTeX RDF
25	Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore	Representation, Verification, and Computation of Timed Properties in Web.	ICWS	2006	DBLP DOI BibTeX RDF
25	Huibiao Zhu, Geguang Pu, Jifeng He 0001	A Denotational Approach to Scope-Based Compensable Flow Language for Web Service.	ASIAN	2006	DBLP DOI BibTeX RDF
25	Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He 0001	Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service.	FMOODS	2006	DBLP DOI BibTeX RDF
25	Thomas Friese, Jörg P. Müller, Bernd Freisleben	Self-healing Execution of Business Processes Based on a Peer-to-Peer Service Architecture.	ARCS	2005	DBLP DOI BibTeX RDF
25	Wu Chou, Li Li 0001, Feng Liu 0016	Web Service Enablement of Communication Services.	ICWS	2005	DBLP DOI BibTeX RDF
25	Hong Guo, Xing Lin	A Study on the an Application Integration Integrated Model Supporting Inter-enterprise Collaborations.	CSCWD (Selected papers)	2005	DBLP DOI BibTeX RDF
25	Rachid Anane, Behzad Bordbar, Fanyu Deng, Robert J. Hendley	A Web Services Approach to Learning Path Composition.	ICALT	2005	DBLP DOI BibTeX RDF
25	Li Guo 0002, David Robertson 0001, Yun-Heh Chen-Burger	A Generic Multi-agent System Platform For Business Workflows Using Web Services Composition.	IAT	2005	DBLP DOI BibTeX RDF
25	Incheon Paik, Md. Saidul Hossain, Md. Tofazzal Hossain	Automating Business Transaction and Negotiation in Supply Chains Using Web Service Composition.	CIT	2004	DBLP DOI BibTeX RDF
25	John Novatnack, Jana Koehler	Using Patterns in the Design of Inter-organizational Systems - An Experience Report.	OTM Workshops	2004	DBLP DOI BibTeX RDF
25	Anis Charfi, Mira Mezini	Aspect-Oriented Web Service Composition with AO4BPEL.	ECOWS	2004	DBLP DOI BibTeX RDF	Adaptive web service composition, aspect-oriented programming, BPEL, separation of concerns
25	George Spanoudakis, Khaled Mahbub	Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus.	ASE	2004	DBLP DOI BibTeX RDF
25	David Skogan, Roy Grønmo, Ida Solheim	Web Service Composition in UML.	EDOC	2004	DBLP DOI BibTeX RDF
25	Stanislaw Ambroszkiewicz	enTish: An Approach to Service Composition.	TES	2003	DBLP DOI BibTeX RDF
25	Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed, Imen Ben Fraj, Ahlem Ben Younes	A BPEL4WS Extension to Develop and Execute Grid Service Workflow Application.	COMPSAC Workshops	2012	DBLP DOI BibTeX RDF
25	Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed	A Model Transformation Approach Based on Homomorphic Mappings between UML Activity Diagrams and BPEL4WS Specifications of Grid Service Workflows.	COMPSAC Workshops	2011	DBLP DOI BibTeX RDF
25	Serge Haddad, Lynda Mokdad, Samir Youcef	Response time of BPEL4WS constructors.	ISCC	2010	DBLP DOI BibTeX RDF
25	Sung-Min Kim	A Hybrid Service Orchestration Framework based on BPEL4WS.	J. Inform. and Commun. Convergence Engineering	2009	DBLP BibTeX RDF
25	Steffen Bleul, Diana Elena Comes, Kurt Geihs, Marc Kirchhoff	Automated Integration of Web Services in BPEL4WS Processes.	KiVS	2009	DBLP DOI BibTeX RDF
25	Tim Dörnemann, Markus Mathes, Roland Schwarzkopf, Ernst Juhnke, Bernd Freisleben	DAVO: A Domain-Adaptable, Visual BPEL4WS Orchestrator.	AINA	2009	DBLP DOI BibTeX RDF	Time-constrained Web Services, Grid Computing, Workflow, BPEL, Eclipse, Domain-adaptability
25	Zhong Jie Li, Wei Sun 0001, Bin Du	BPEL4WS unit testing: framework and implementation.	Int. J. Bus. Process. Integr. Manag.	2008	DBLP DOI BibTeX RDF
25	Zhenbang Chen, Ji Wang 0001, Wei Dong 0006, Zhichang Qi	Interface theory-based formalisation and verification of orchestration in BPEL4WS.	Int. J. Bus. Process. Integr. Manag.	2007	DBLP DOI BibTeX RDF
25	Marta Indulska, Jan Recker, Peter F. Green, Michael Rosemann	Are We There Yet-Seamless Mapping of BPMN to BPEL4WS.	AMCIS	2007	DBLP BibTeX RDF
25	Chunming Gao, Jin Li, Zhoujun Li, Huowang Chen	Model Checking for BPEL4WS with Time.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF	Timed Mobile Ambient, model checking, modal logic, BPEL
25	Kuo-Ming Chao, Muhammad Younas 0001, Nathan Griffiths	BPEL4WS-based coordination of Grid Services in design.	Comput. Ind.	2006	DBLP DOI BibTeX RDF
25	Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden	Formal model of mobile BPEL4WS process.	Int. J. Bus. Process. Integr. Manag.	2006	DBLP DOI BibTeX RDF
25	Lei Duan, Shijun Liu, Changhe Tu, Xiangxu Meng	A BPEL4WS-based Composite Service Modeling Solution in Manufacturing Grid.	APSCC	2006	DBLP DOI BibTeX RDF
25	Jun Yan 0009, Zhong Jie Li, Yuan Yuan 0036, Wei Sun 0001, Jian Zhang 0001	BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach.	ISSRE	2006	DBLP DOI BibTeX RDF
25	Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu	Towards the Semantics and Verification of BPEL4WS.	WLFM@FM	2005	DBLP DOI BibTeX RDF
25	Jan Mendling, Cristian Pérez de Laborda, Uwe Zdun	Towards an Integrated BPM Schema: Control Flow Heterogeneity of PNML and BPEL4WS.	Wissensmanagement (LNCS Volume)	2005	DBLP DOI BibTeX RDF
25	Patrick Sauter, Ingo Melzer	A Comparison of WS-BusinessActivity and BPEL4WS Long-Running Transaction.	KiVS	2005	DBLP DOI BibTeX RDF
25	Michele Di Santo, Nadia Ranaldo, Eugenio Zimeo	Metacomputing through the Enactment of a BPEL4WS Workflow in a Grid Environment.	ITCC (1)	2005	DBLP DOI BibTeX RDF
25	Daniela Barreiro Claro, Patrick Albers, Jin-Kao Hao	Approaches of Web Services Composition - Comparison between BPEL4WS and OWL-S.	ICEIS (4)	2005	DBLP BibTeX RDF
25	Jan Mendling, Mark Strembeck, Gustaf Neumann	A Motivation for Multiple Activity Instantiation in BPEL4WS Processes.	CAiSE Workshops (2)	2004	DBLP BibTeX RDF
25	Alexander Keller, Remi Badonnel	Automating the Provisioning of Application Services with the BPEL4WS Workflow Language.	DSOM	2004	DBLP DOI BibTeX RDF
25	Manfred Reichert, Stefanie Rinderle, Peter Dadam	On the Modeling of Correct Service Flows with BPEL4WS.	EMISA	2004	DBLP BibTeX RDF