Search results for "WSBPEL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
128	Heinz Roth, Josef Schiefer, Alexander Schatten	Probing and Monitoring of WSBPEL Processes with Web Services.	CEC/EEE	2006	DBLP DOI BibTeX RDF
87	José María Fuentes, Jorge E. López de Vergara, Pablo Castells	An Ontology-Based Approach to the Description and Execution of Composite Network Management Processes for Network Monitoring.	DSOM	2006	DBLP DOI BibTeX RDF	WSBPEL, Composite Process, Network Management, Network Monitoring, OWL-S
72	Mohsen Rouached, Claude Godart	Requirements-driven Verification of WSBPEL Processes.	ICWS	2007	DBLP DOI BibTeX RDF
56	Yonghwan Lee, Sung-min Kim, Dugki Min	A Hybrid Service-based Orchestration System for Composition of Legacy Services.	GCC Workshops	2006	DBLP DOI BibTeX RDF
54	Walid Fdhila, Mohsen Rouached, Claude Godart	Communications Semantics for WSBPEL Processes.	ICWS	2008	DBLP DOI BibTeX RDF
54	Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu	A Bigraphical Model of WSBPEL.	TASE	2008	DBLP DOI BibTeX RDF
37	Alessio Lomuscio, Hongyang Qu 0001, Monika Solanki	Towards Verifying Contract Regulated Service Composition.	ICWS	2008	DBLP DOI BibTeX RDF
37	Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hildebrandt, Espen Højsgaard, Henning Niss	Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs.	COORDINATION	2008	DBLP DOI BibTeX RDF
37		Towards Formal Verification of Web Service Composition.	Business Process Management	2006	DBLP DOI BibTeX RDF
37	Casey K. Fung, Patrick C. K. Hung, Guijun Wang, Richard C. Linger, Gwendolyn H. Walton	A Study of Service Composition with QoS Management.	ICWS	2005	DBLP DOI BibTeX RDF	CBA, MEP, MDR, QoS, Web services, SOA, SLA, BPEL, SOAP, OOA
35	Ravi Khadka, Brahmananda Sapkota, Luís Ferreira Pires, Marten van Sinderen, Slinger Jansen	WSCDL to WSBPEL: a Case Study of ATL-based Transformation.	MtATL@TOOLS	2011	DBLP BibTeX RDF
35	Mohsen Rouached, Walid Fdhila, Claude Godart	A semantical framework to engineering WSBPEL processes.	Inf. Syst. E Bus. Manag.	2009	DBLP DOI BibTeX RDF
35	Josef Schiefer, Heinz Roth, Alexander Schatten	Auditable WSBPEL: probing and monitoring of business processes with web services.	Int. J. Bus. Process. Integr. Manag.	2007	DBLP DOI BibTeX RDF
35	Javier Cámara, Carlos Canal, Javier Cubo, Antonio Vallecillo	Formalizing WSBPEL Business Processes Using Process Algebra.	FOCLASA	2005	DBLP DOI BibTeX RDF
31	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
31	Parag Mulendra Joshi, Clayton Brian Atkins, Tong Zhang 0007	From video to photo albums: digital publishing workflow for automatic album creation.	ACM Symposium on Document Engineering	2006	DBLP DOI BibTeX RDF	WSBPEL, photo album, web-to-print, web services, multimedia, workflow, video, digital publishing
19	Christos Kareliotis, Costas Vassilakis, Stathis Rouvas, Panagiotis Georgiadis 0001	QoS-Driven Adaptation of BPEL Scenario Execution.	ICWS	2009	DBLP DOI BibTeX RDF
19	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
19	Barbara Carminati, Elena Ferrari, Ryan Bishop, Patrick C. K. Hung	Security Conscious Web Service Composition with Semantic Web Support.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
19	Jacques Thomas, Federica Paci, Elisa Bertino, Patrick Eugster	User Tasks and Access Control overWeb Services.	ICWS	2007	DBLP DOI BibTeX RDF
19	Suresh Chande, Lasse Pajunen	ActiveForms: A Runtime for Mobile Application Forms.	ICMB	2007	DBLP DOI BibTeX RDF
19	Casey K. Fung, Patrick C. K. Hung, William M. Kearns, Stephen A. Uczekaj	Dynamic Workflow Generation with Interoperable Security Alerts in MANET.	IEEE SCC	2007	DBLP DOI BibTeX RDF
19	Geguang Pu, Huibiao Zhu, Jifeng He 0001, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao	Patterns with Algebraic Properties in BPEL0.	ISoLA	2006	DBLP DOI BibTeX RDF
19	Barbara Carminati, Elena Ferrari, Patrick C. K. Hung	Security Conscious Web Service Composition.	ICWS	2006	DBLP DOI BibTeX RDF
19	Elisa Bertino, Jason Crampton, Federica Paci	Access Control and Authorization Constraints for WS-BPEL.	ICWS	2006	DBLP DOI BibTeX RDF
19	Mathieu Braem, Niels Joncheere, Wim Vanderperren, Ragnhild Van Der Straeten, Viviane Jonckers	Guiding Service Composition in a Visual Service Creation Environment.	ECOWS	2006	DBLP DOI BibTeX RDF
19	Vladimir Tosic, Aad P. A. van Moorsel, Raymond K. Wong 0001	Introduction to the Proceedings of the EDOC 2006 Workshop Middleware for Web Services (MWS) 2006.	EDOC Workshops	2006	DBLP DOI BibTeX RDF
19	Yue-Sun Kuo, Lendle Tseng, Hsun-Cheng Hu, N. C. Shih	An XML interaction service for workflow applications.	ACM Symposium on Document Engineering	2006	DBLP DOI BibTeX RDF	XML, user interface, workflow management
19	Giuseppe De Giacomo, Massimo Mecella	Automatic Web Service Composition.	IEEE SCC	2006	DBLP DOI BibTeX RDF
19	Gregorio Díaz 0001, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero	Automatic Translation of WS-CDL Choreographies to Timed Automata.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
19	Ranjit Mulye, John A. Miller 0001, Kunal Verma, Karthik Gomadam, Amit P. Sheth	A Semantic Template Based Designer for Web Processes.	ICWS	2005	DBLP DOI BibTeX RDF
19	Barbara Carminati, Elena Ferrari, Patrick C. K. Hung	Web Service Composition: A Security Perspective.	WIRI	2005	DBLP DOI BibTeX RDF
19	Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi	Specification and Validation of the Business Process Execution Language for Web Services.	Abstract State Machines	2004	DBLP DOI BibTeX RDF