Search results for "Ws-BPEL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
123	Wei Shi, Jian Wu 0001, Zhaohui Wu 0001	Using State Machine to Integrate Human Activity into BPEL in Dartflow.	IEEE SCC	2006	DBLP DOI BibTeX RDF
98	Pichet Amnuaykanjanasin, Natawut Nupairoj	The BPEL Orchestrating Framework for Secured Grid Services.	ITCC (1)	2005	DBLP DOI BibTeX RDF	BPEL orchestrating framework, Secured Grid services orchestration, BPEL, Grid services
94	Wei Chen 0018, Jun Wei 0001, Guoquan Wu, Xiaoqiang Qiao	Developing a Concurrent Service Orchestration Engine Based on Event-Driven Architecture.	OTM Conferences (1)	2008	DBLP DOI BibTeX RDF	Web services, SOA, BPEL, FSM, Event-driven
93	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
93	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
93	Stefan Pottinger, Ralph Mietzner, Frank Leymann	Coordinate BPEL Scopes and Processes by Extending the WS-Business Activity Framework.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF	WS-BA, long-running transactions, sub-processes, coordination, BPEL
93	Xiangpeng Zhao, Antonio Cerone, Padmanabhan Krishnan	Verifying BPEL Workflows Under Authorisation Constraints.	Business Process Management	2006	DBLP DOI BibTeX RDF	model-checking, Workflow, RBAC, BPEL
89	Tammo van Lessen, Jörg Nitzsche, Frank Leymann	Formalising Message Exchange Patterns using BPEL Light.	IEEE SCC (1)	2008	DBLP DOI BibTeX RDF	Message Exchange Patterns, MEPs, BPEL light, WSDL 2.0, BPEL
87	Federica Paci, Rodolfo Ferrini, Yuqing Sun 0001, Elisa Bertino	Authorization and User Failure Resiliency for WS-BPEL Business Processes.	ICSOC	2008	DBLP DOI BibTeX RDF
87	Haiqiang Dun, Wen Zhao, Yu Huang 0004, Shikun Zhang, Lifu Wang	Modeling and Analysis of WS-BPEL Business Processes Based on ServiceNet.	APSEC	2008	DBLP DOI BibTeX RDF
87	Christian Eisentraut, David Spieler	Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis.	WS-FM	2008	DBLP DOI BibTeX RDF
87	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
84	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
84	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
84	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
84	Simon Moser, Axel Martens, Marc Häbich, Jutta A. 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
82	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
79	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
79	Stefano Modafferi, Eugenio Conforti	Methods for Enabling Recovery Actions in Ws-BPEL.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
77	Zhong Jie Li, Wei Sun 0001	BPEL-Unit: JUnit for BPEL Processes.	ICSOC	2006	DBLP DOI BibTeX RDF
75	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
75	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
75	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
75	Huibiao Zhu, Jifeng He 0001, Geguang Pu, Jing Li 0062	An Operational Approach to BPEL-like Programming.	SEW	2007	DBLP DOI BibTeX RDF	Web Services, BPEL, Operational Semantics, Bisimulation, Compensation, Algebraic Semantics, Fault Handling
75	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
75	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
71	Yongyan Zheng, Jiong Zhou, Paul Krause	A Model Checking based Test Case Generation Framework forWeb Services.	ITNG	2007	DBLP DOI BibTeX RDF
70	Pingpeng Yuan, Hai Jin 0001, Shilun Yuan, Wenzhi Cao, Laiyuan Jiang	WFTXB: A Tool for Translating between XPDL and BPEL.	HPCC	2008	DBLP DOI BibTeX RDF
70	Chien-Hung Liu, Shu-Ling Chen, Xue-Yuan Li	A WS-BPEL Based Structural Testing Approach for Web Service Compositions.	SOSE	2008	DBLP DOI BibTeX RDF
70	Yi Qian, Yuming Xu, Zheng Wang 0005, Geguang Pu, Huibiao Zhu, Chao Cai	Tool Support for BPEL Verification in ActiveBPEL Engine.	ASWEC	2007	DBLP DOI BibTeX RDF	ActiveBPEL, WSBPEL, Verification, Timed Automata, UPPAAL, Workflow language
70	Anis Charfi, Rania Khalaf, Nirmal Mukhi	QoS-Aware Web Service Compositions Using Non-intrusive Policy Attachment to BPEL.	ICSOC	2007	DBLP DOI BibTeX RDF
70	Ariane Gravel, Xiang Fu 0001, Jianwen Su	An Analysis Tool for Execution of BPEL Services.	CEC/EEE	2007	DBLP DOI BibTeX RDF
70	Anis Charfi, Benjamin Schmeling, Mira Mezini	Reliable Messaging for BPEL Processes.	ICWS	2006	DBLP DOI BibTeX RDF
70	Jeewani Anupama Ginige, Uma Sirinivasan, Athula Ginige	A Mechanism for Efficient Management of Changes in BPEL based Business Processes: An Algebraic Methodology.	ICEBE	2006	DBLP DOI BibTeX RDF
68	Yunzhou Wu, Prashant Doshi	Making BPEL Flexible - Adapting in the Context of Coordination Constraints Using WS-BPEL.	IEEE SCC (1)	2008	DBLP DOI BibTeX RDF	Web service, adaptive, constraints, business process execution language
66	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
66	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
66	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
66	Chenguang Luo, Shengchao Qin, Zongyan Qiu	Verifying BPEL-like programs with Hoare logic.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	compensation mechanism, axiomatic verification system, operational semantics, soundness, WS-BPEL
66	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
66	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
64	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
62	Jacques Thomas, Federica Paci, Elisa Bertino, Patrick Eugster	User Tasks and Access Control overWeb Services.	ICWS	2007	DBLP DOI BibTeX RDF
61	Xin Wang, Yanchun Zhang, Hao Shi, Jian Yang 0001	BPEL4RBAC: An Authorisation Specification for WS-BPEL.	WISE	2008	DBLP DOI BibTeX RDF
61	Reza Meimandi Parizi, Abdul Azim Abdul Ghani	An Ensemble of Complexity Metrics for BPEL Web Processes.	SNPD	2008	DBLP DOI BibTeX RDF
61	Sheng Chen 0002, Liang Bao, Ping Chen	OptBPEL: A Tool for Performance Optimization of BPEL Process.	SC@ETAPS	2008	DBLP DOI BibTeX RDF	OptBPEL, Synchronization Analysis, Concurrency Analysis, Optimization Algorithms, Performance Optimization
61	Allen Ajit George, Paul A. S. Ward	An architecture for providing context in WS-BPEL processes.	CASCON	2008	DBLP DOI BibTeX RDF
61	Klaus Peter Fischer, Udo Bleimann, Woldemar F. Fuhrmann, Steven Furnell	Security Policy Enforcement in BPEL-Defined Collaborative Business Processes.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
61	An Liu 0002, Qing Li 0001, Mingjun Xiao	A Declarative Approach to Enhancing the Reliability of BPEL Processes.	ICWS	2007	DBLP DOI BibTeX RDF
61	Anis Charfi, Benjamin Schmeling, Mira Mezini	Transactional BPEL Processes with AO4BPEL Aspects.	ECOWS	2007	DBLP DOI BibTeX RDF
61	Yanlong Zhai, Hongyi Su, Shouyi Zhan	A Data Flow Optimization Based Approach for BPEL Processes Partition.	ICEBE	2007	DBLP DOI BibTeX RDF
61	Yongyan Zheng, Jiong Zhou, Paul Krause	Analysis of BPEL Data Dependencies.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF
61	Wei Shi, Jian Wu 0001, Ying Li 0001, Zhaohui Wu 0001, Bo Wang	Using Improved FOAF to Enhance BPEL-extracted RBAC Capability.	Web Intelligence	2007	DBLP DOI BibTeX RDF
61	Simon Moser, Axel Martens, Katharina Görlach, Wolfram Amme, Artur Godlinski	Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis.	IEEE SCC	2007	DBLP DOI BibTeX RDF
61	Chun Ouyang 0001, Marlon Dumas, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst	From BPMN Process Models to BPEL Web Services.	ICWS	2006	DBLP DOI BibTeX RDF
61	Wen-Li Dong, Hang Yu, Yu-Bing Zhang	Testing BPEL-based Web Service Composition Using High-level Petri Nets.	EDOC	2006	DBLP DOI BibTeX RDF
61	Axel Martens, Simon Moser, Achim Gerhardt, Karoline Funk	Analyzing Compatibility of BPEL Processes.	AICT/ICIW	2006	DBLP DOI BibTeX RDF	Behavioral Compatibility, Tool based Verification, Web Service, Petri nets, BPM, BPEL4WS
61	Antonio Brogi, Razvan Popescu	From BPEL Processes to YAWL Workflows.	WS-FM	2006	DBLP DOI BibTeX RDF
59	Dominik Seiler, Steffen Heinzl, Ernst Juhnke, Ralph Ewerth, Manfred Grauer, Bernd Freisleben	Efficient data transmission in service workflows for distributed video content analysis.	MoMM	2008	DBLP DOI BibTeX RDF	multimedia analysis architecture, web services, data streaming, BPEL, grid services
59	Tim Dörnemann, Matthew Smith 0001, Bernd Freisleben	Composition and Execution of Secure Workflows in WSRF-Grids.	CCGRID	2008	DBLP DOI BibTeX RDF	Security, Grid Computing, Workflow, BPEL, Business Process Management, WSRF
59	Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu	A model for abstract process specification, verification and composition.	ICSOC	2004	DBLP DOI BibTeX RDF	BPEL abstract process, web services
57	Rania Khalaf, Dieter Roller 0001, Frank Leymann	Revisiting the Behavior of Fault and Compensation Handlers in WS-BPEL.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF	Workflow, Transactions, Compensation, WS-BPEL, Error handling
57	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
57	Ta'id Holmes, Martin Vasko, Schahram Dustdar	VieBOP: Extending BPEL Engines with BPEL4People.	PDP	2008	DBLP DOI BibTeX RDF	BPEL4People, human aware processes, BPEL
57	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
57	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
57	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
57	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
57	Oliver Kopp, Rania Khalaf, Frank Leymann	Deriving Explicit Data Links in WS-BPEL Processes.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	DPE, BPEL, data-flow analysis, data links
57	Martin Luther Modjo Kamneng, Volker Brandt, Thilo Steckel, Willi Nüßer	Prozessintegration mobiler Landmaschinen mittels automatisch erzeugter BPEL-Prozesse.	Wirtschaftsinf.	2007	DBLP DOI BibTeX RDF	Farm Machines, Generation of BPEL Processes, Web Services, Process Integration
57	Jifeng He 0001, Huibiao Zhu, Geguang Pu	A model for BPEL-like languages.	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	observation-oriented semantics, BPEL, compensation, fault handling, algebraic laws
57	Onyeka Ezenwoye, Seyed Masoud Sadjadi, Ariel Cary, Michael Robinson 0002	Grid Service Composition in BPEL for Scientific Applications.	OTM Conferences (2)	2007	DBLP DOI BibTeX RDF	Grid Computing, Service Composition, BPEL, WSRF, OGSA-DAI
57	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
57	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
57	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
54	Daniel Martin 0001, Daniel Wutke, Frank Leymann	A Novel Approach to Decentralized Workflow Enactment.	EDOC	2008	DBLP DOI BibTeX RDF
52	Luca Cesari, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001	A tool for rapid development of WS-BPEL applications.	SAC	2010	DBLP DOI BibTeX RDF	web services, service-oriented architectures, compilers
52	Federica Paci, Rodolfo Ferrini, Elisa Bertino	Identity Attribute-Based Role Provisioning for Human WS-BPEL Processes.	ICWS	2009	DBLP DOI BibTeX RDF
52	Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg	BP-Mon: query-based monitoring of BPEL business processes.	SIGMOD Rec.	2008	DBLP DOI BibTeX RDF
52	Man Zhang, Zhenhua Duan	From Business Process Models to Web Services Orchestration: The Case of UML 2.0 Activity Diagram to BPEL.	ICSOC	2008	DBLP DOI BibTeX RDF
52	Lin Bai, Jun Wei	A Flexible Transformation Scheme between the 'OR' of BPMN and 'Link' of BPEL.	APSCC	2008	DBLP DOI BibTeX RDF
52	Sattanathan Subramanian, Philippe Thiran, Nanjangud C. Narendra, Ghita Kouadri Mostéfaoui, Zakaria Maamar	On the Enhancement of BPEL Engines for Self-Healing Composite Web Services.	SAINT	2008	DBLP DOI BibTeX RDF
52	Yanxiang He, Liang Zhao, Zhao Wu, Fei Li 0007	Formal Modeling of Transaction Behavior in WS-BPEL.	CSSE (3)	2008	DBLP DOI BibTeX RDF
52	Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001	A Formal Account of WS-BPEL.	COORDINATION	2008	DBLP DOI BibTeX RDF
52	Christos Kareliotis, Costas Vassilakis, Stathis Rouvas, Panagiotis Georgiadis 0001	Exception resolution for BPEL processes: a middleware-based framework and performance evaluation.	iiWAS	2008	DBLP DOI BibTeX RDF	quality of service (QoS), web services, scalability, middleware, exception handling, performance metrics
52	Chenguang Luo, Shengchao Qin, Zongyan Qiu	Verifying BPEL-Like Programs with Hoare Logic.	TASE	2008	DBLP DOI BibTeX RDF
52	Daniel Lübke	Unit Testing BPEL Compositions.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
52	Feyza Merve Isik, Bulent Tastan, Pinar Yolum	Automatic Adaptation of BPEL Processes Using Semantic Rules: Design and Development of a Loan Approval System.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
52	Matthias Weidlich 0001, Gero Decker, Mathias Weske	Efficient Analysis of BPEL 2.0 Processes Using p-Calculus.	APSCC	2007	DBLP DOI BibTeX RDF
52	Nils Gruschka, Meiko Jensen, Norbert Luttenberger	A Stateful Web Service Firewall for BPEL.	ICWS	2007	DBLP DOI BibTeX RDF
52	Christos Kareliotis, Costas Vassilakis, Panagiotis Georgiadis 0001	Enhancing BPEL scenarios with Dynamic Relevance-Based Exception Handling.	ICWS	2007	DBLP DOI BibTeX RDF
52	Antonio Brogi, Razvan Popescu	Automated Generation of BPEL Adapters.	ICSOC	2006	DBLP DOI BibTeX RDF
52	Honghua Cao, Shi Ying, Dehui Du	Towards Model-based Verification of BPEL with Model Checking.	CIT	2006	DBLP DOI BibTeX RDF
52	Jan Mendling, Kristian Bisgaard Lassen, Uwe Zdun	Experiences in Enhancing Existing BPM Tools with BPEL Import and Export.	Business Process Management	2006	DBLP DOI BibTeX RDF
52	Luciano García-Bañuelos	An AsmL Executable Model for WS-BPEL with Orthogonal Transactional Behavior.	Business Process Management	2006	DBLP DOI BibTeX RDF
52	Glen Dobson	Using WS-BPEL to Implement Software Fault Tolerance for Web Services.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
52	Wolfgang Emmerich, Ben Butchart, Liang Chen, Bruno Wassermann, Sarah L. Price	Grid Service Orchestration Using the Business Process Execution Language (BPEL).	J. Grid Comput.	2005	DBLP DOI BibTeX RDF	Grid computing, workflow, Grid services, business process execution language
52	Chun Ouyang 0001, Eric Verbeek 0001, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede	WofBPEL: A Tool for Automated Analysis of BPEL Processes.	ICSOC	2005	DBLP DOI BibTeX RDF
52	Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell, H. M. W. Verbeek, Petia Wohed	Life After BPEL?	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
52	Dominik Schmitz, Gerhard Lakemeyer, Günter Gans, Matthias Jarke	Using BPEL Process Descriptions for Building Up Strategic Models of Inter-organizational Networks.	OTM Workshops	2004	DBLP DOI BibTeX RDF