Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Benjamin Albrecht, Philip Effinger, Markus Held, Michael Kaufmann 0001 |
An automatic layout algorithm for BPEL processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTVIS ![In: Proceedings of the ACM 2010 Symposium on Software Visualization, Salt Lake City, UT, USA, October 25-26, 2010, pp. 173-182, 2010, ACM, 978-1-4503-0028-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Wei Jin, Hanpin Wang, Yongzhi Cao, Zizhen Wang, Xiaojuan Ban |
Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010, Seoul, Korea, 19-23 July 2010, pp. 487-492, 2010, IEEE Computer Society, 978-0-7695-4085-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Dario Bruneo, Salvatore Distefano, Francesco Longo 0001, Marco Scarpa |
QoS assessment of WS-BPEL processes through non-Markovian stochastic Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 24th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2010, Atlanta, Georgia, USA, 19-23 April 2010 - Conference Proceedings, pp. 1-12, 2010, IEEE. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Thiago A. Lechuga, Maria Beatriz Felgar de Toledo, Miriam A. M. Capretz |
An infrastructure for executing WS-BPEL workflows in a Cluster of Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 15th IEEE Symposium on Computers and Communications, ISCC 2010, Riccione, Italy, June 22-25, 2010, pp. 681-686, 2010, IEEE Computer Society, 978-1-4244-7755-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Dou Sun, Yongwang Zhao, Hao Zeng, Dianfu Ma |
SEDA4BPEL: A staged event-driven architecture for high-concurrency BPEL engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 15th IEEE Symposium on Computers and Communications, ISCC 2010, Riccione, Italy, June 22-25, 2010, pp. 744-749, 2010, IEEE Computer Society, 978-1-4244-7755-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Idir Aït-Sadoune, Yamine Aït Ameur |
A Proof Based Approach for Formal Verification of Transactional BPEL Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM ![In: Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings, pp. 405-406, 2010, Springer, 978-3-642-11810-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Frank Leymann |
BPEL vs. BPMN 2.0: Should You Care? ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPMN ![In: Business Process Modeling Notation - Second International Workshop, BPMN 2010, Potsdam, Germany, October 13-14, 2010. Proceedings, pp. 8-13, 2010, Springer, 978-3-642-16297-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Yixiang Chen, Xinxing Wu |
Success Measurement of Web Services with BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSE ![In: The Fifth IEEE International Symposium on Service-Oriented System Engineering, SOSE 2010, June 4-5, 2010, Nanjing, China, pp. 86-90, 2010, IEEE Computer Society, 978-0-7695-4081-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Subrata Sinha, Smriti Kumar Sinha, Bipul Syam Purkayastha |
Synchronization of Authorization Flow with Work Object Flow in a Document Production Workflow Using XACML and BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICT ![In: Information and Communication Technologies - International Conference, ICT 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings, pp. 365-370, 2010, Springer, 978-3-642-15765-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Marian Harbach, Tim Dörnemann, Ernst Juhnke, Bernd Freisleben |
Semantic Validation of BPEL Fragment Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSC ![In: Proceedings of the 4th IEEE International Conference on Semantic Computing (ICSC 2010), September 22-24, 2010, Carnegie Mellon University, Pittsburgh, PA, USA, pp. 176-183, 2010, IEEE Computer Society, 978-1-4244-7912-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Ernst Juhnke, Tim Dörnemann, Sebastian Kirch, Dominik Seiler, Bernd Freisleben |
SimpleBPEL: Simplified Modeling of BPEL Workflows for Scientific End Users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 36th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2010, Lille, France, September 1-3, 2010, pp. 137-140, 2010, IEEE Computer Society, 978-1-4244-7901-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Antonio García-Domínguez, Inmaculada Medina-Bulo |
GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering, 10th International Conference, ICWE 2010, Vienna, Austria, July 5-9, 2010. Proceedings, pp. 490-493, 2010, Springer, 978-3-642-13910-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo, Alejandro Álvarez-Ayllón, Javier Santacruz |
Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering, 10th International Conference, ICWE 2010, Vienna, Austria, July 5-9, 2010. Proceedings, pp. 531-534, 2010, Springer, 978-3-642-13910-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Idir Aït-Sadoune, Yamine Aït Ameur |
Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA (selected papers) ![In: Software Engineering Research, Management and Applications 2010 [selected papers from the 8th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2010, Montreal, Canada, May 24-26, 2010], pp. 51-68, 2010, Springer, 978-3-642-13272-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 456-464, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jocelyn Simmonds, Marsha Chechik |
RuMoR: monitoring and recovery for BPEL applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010, pp. 345-346, 2010, ACM, 978-1-4503-0116-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Oliver Kopp, Lasse Engler, Tammo van Lessen, Frank Leymann, Jörg Nitzsche |
Interaction Choreography Models in BPEL: Choreographies on the Enterprise Service Bus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S-BPM ONE ![In: Subject-Oriented Business Process Management - Second International Conference, S-BPM ONE 2010, Karlsruhe, Germany, October 14, 2010. Selected Papers, pp. 36-53, 2010, Springer, 978-3-642-23134-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Lingjun Kang, Qunyong Wu, Ying Yuan |
A distributed LiDAR processing model based on OWS and BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: IEEE International Geoscience & Remote Sensing Symposium, IGARSS 2010, July 25-30, 2010, Honolulu, Hawaii, USA, Proceedings, pp. 3628-3631, 2010, IEEE, 978-1-4244-9566-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Bixin Li, Dong Qiu, Shunhui Ji, Di Wang |
Automatic test case selection and generation for regression testing of composite service based on extensible BPEL flow graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 26th IEEE International Conference on Software Maintenance (ICSM 2010), September 12-18, 2010, Timisoara, Romania, pp. 1-10, 2010, IEEE Computer Society, 978-1-4244-8630-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Roy Grønmo |
Can Graph Transformation Make Aspect Languages for BPEL Redundant? ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2010, Vitória, Brazil, 25-29 October 2010, pp. 153-162, 2010, IEEE Computer Society, 978-0-7695-4163-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | J. M. Gnanasekar, Venkatesan D. Pillai |
A Novel Software Environment for Developing Migrating Internet Applications Based on Fusion of Mobile Agent, Web Services and BPEL Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2010 IEEE International Conference on Services Computing, SCC 2010, Miami, Florida, USA, July 5-10, 2010, pp. 651-652, 2010, IEEE Computer Society, 978-0-7695-4126-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Christos Kareliotis |
Εκτέλεση σεναρίων BPEL: δυναμική προσαρμογή και επίλυση εξαιρέσεων με βάση ποιοτικά χαρακτηριστικά ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
16 | Daniel Martin 0001 |
A tuplespace based execution model for decentralized workflow enactment: applied for BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
16 | Daniel Wutke |
Eine nfrastruktur für die dezentrale Ausführung von BPEL-Prozessen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
16 | Francisco Curbera |
Composed Services and WS-BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 413-418, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | |
BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 266, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Jonathan Lee 0004, Ying-Yan Lin, Shang-Pin Ma, Shin-Jie Lee |
BPEL Extensions to User-Interactive Service Delivery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Sci. Eng. ![In: J. Inf. Sci. Eng. 25(5), pp. 1427-1445, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Wiranto Herry Utomo, Subanar, Retantyo Wardoyo, Ahmad Ashari |
Databases Integration through a Web Services Orchestration with BPEL using Java Business Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Web Appl. ![In: Int. J. Web Appl. 1(3), pp. 102-114, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Liqiong Chen, Zhiqing Shao, Guisheng Fan, Hanhua Ma |
A Method for Analyzing and Predicting Reliability of BPEL Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 4(1), pp. 11-18, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Christos Kareliotis, Costas Vassilakis, Efstathios Rouvas, Panagiotis Georgiadis 0001 |
IQoS-aware exception resolution for BPEL processes: a middleware-based framework and performance evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Web Grid Serv. ![In: Int. J. Web Grid Serv. 5(3), pp. 284-320, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Niels Lohmann, Eric Verbeek 0001, Chun Ouyang 0001, Christian Stahl |
Comparing and evaluating Petri net semantics for BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bus. Process. Integr. Manag. ![In: Int. J. Bus. Process. Integr. Manag. 4(1), pp. 60-73, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Wolfram Amme, Axel Martens, Simon Moser |
Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bus. Process. Integr. Manag. ![In: Int. J. Bus. Process. Integr. Manag. 4(1), pp. 47-59, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Cesare Pautasso |
RESTful Web service composition with BPEL for REST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 68(9), pp. 851-866, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Michiel Koning, Chang-Ai Sun, Marco Sinnema, Paris Avgeriou |
VxBPEL: Supporting variability for Web services in BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 51(2), pp. 258-269, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Matjaz B. Juric, Ana Sasa, Ivan Rozman |
WS-BPEL Extensions for Versioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 51(8), pp. 1261-1274, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Andrzej Ratkowski, Andrzej Zalewski, Bartlomiej Piech |
Transformational Design of Business Processes in BPEL Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
e Informatica Softw. Eng. J. ![In: e Informatica Softw. Eng. J. 3(1), pp. 103-117, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Ganna Monakova, Oliver Kopp, Frank Leymann, Simon Moser, Klaus Schäfers |
Verifying Business Rules Using an SMT Solver for BPEL Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPSC ![In: Business Process, Services Computing and Intelligent Service Management, Leipzig, Germany, March 23-25, 2009, pp. 81-94, 2009, GI, 978-3-88579-241-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Connie Haoying Bao, Nicolas Gold, Mark Harman |
Maintaining WS-BPEL Workflows Using Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPSC ![In: Business Process, Services Computing and Intelligent Service Management, Leipzig, Germany, March 23-25, 2009, pp. 225-226, 2009, GI, 978-3-88579-241-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Shijun Yao, Ping Zhang, Lei Xie, Xuhui Wang, Chunhua Zhou, Zhitie Wu |
Design for Web Service Composition Tool Based on Qos Ontology and BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFITA (3) ![In: International Forum on Information Technology and Applications, IFITA 2009, Chengdu, China, 15-17 May 2009, pp. 604-607, 2009, IEEE Computer Society, 978-0-7695-3600-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
QoS ontology, web service, business process, web service composition, business process execution language |
16 | Sonja Zaplata, Kristian Kottke, Matthias Meiners, Winfried Lamersdorf |
Towards Runtime Migration of WS-BPEL Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC/ServiceWave Workshops ![In: Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops - International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers, pp. 477-487, 2009, 978-3-642-16131-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Chien-Hung Liu, Shu-Ling Chen |
Data Flow Analysis and Testing for Web Service Compositions Based on WS-BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), Boston, Massachusetts, USA, July 1-3, 2009, pp. 306-311, 2009, Knowledge Systems Institute Graduate School, 1-891706-24-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | John C. Sloan, Taghi M. Khoshgoftaar, Augusto Varas |
An Extendible Translation of BPEL to a Machine-verifiable Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), Boston, Massachusetts, USA, July 1-3, 2009, pp. 344-349, 2009, Knowledge Systems Institute Graduate School, 1-891706-24-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Duy Ngan Le, Ngoc Son Nguyen, Karel Mous, Ryan Kok Leong Ko, Angela Eck Soong Goh |
Generating Request Web Services from Annotated BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RIVF ![In: 2009 IEEE International Conference on Computing and Communication Technologies, RIVF 2009, Da Nang, Vietnam, 13-17 July, 2009, pp. 1-8, 2009, IEEE, 978-1-4244-4566-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Anshuman Mukherjee, Zahir Tari, Peter Bertók |
Modeling of BPEL Composite Services Using Clustered Coloured Petri-Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERVICES II ![In: 2009 IEEE World Congress on Services, Part II, SERVICES II 2009, Bangalore, India, September 21-25, 2009, pp. 55-62, 2009, IEEE Computer Society, 978-0-7695-3812-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Tobias Anstett, Frank Leymann, Ralph Mietzner, Steve Strauch |
Towards BPEL in the Cloud: Exploiting Different Delivery Models for the Execution of Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERVICES I ![In: 2009 IEEE Congress on Services, Part I, SERVICES I 2009, Los Angeles, CA, USA, July 6-10, 2009, pp. 670-677, 2009, IEEE Computer Society, 978-0-7695-3708-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Zulfa Zakaria, Rodziah Binti Atan, Abdul Azim Abdul Ghani, Nor Fazlida Mohd Sani |
Unit Testing Approaches for BPEL: A Systematic Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 16th Asia-Pacific Software Engineering Conference, APSEC 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia, pp. 316-322, 2009, IEEE Computer Society, 978-0-7695-3909-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Bixin Li, Yu Zhou, Jun Pang 0001 |
Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 16th Asia-Pacific Software Engineering Conference, APSEC 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia, pp. 355-362, 2009, IEEE Computer Society, 978-0-7695-3909-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Xutao Du, Chunxiao Xing, Lizhu Zhou |
A Chu spaces semantics of control flow in BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: 4th IEEE Asia-Pacific Services Computing Conference, IEEE APSCC 2009, Singapore, December 7-11 2009, Proceedings, pp. 142-149, 2009, IEEE, 978-1-4244-5336-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Raquel Blanco, José García-Fanjul, Javier Tuya |
A First Approach to Test Case Generation for BPEL Compositions of Web Services Using Scatter Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings, pp. 131-140, 2009, IEEE Computer Society, 978-0-7695-3671-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Zhao Wei, Rongsheng Dong, Xiangyu Luo, Fang Liu |
Model Checking Airline Tickets Reservation System Based on BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WGEC ![In: 2009 Third International Conference on Genetic and Evolutionary Computing, WGEC 2009, Guilin, China, 14-17 October 2009, pp. 248-251, 2009, IEEE Computer Society, 978-0-7695-3899-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Chunxiang Xu, Hanpin Wang, Wanling Qu, Meixia Zhu, Yu Huang 0004 |
A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI ![In: Third IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2009, Shanghai, China, July 8-10, 2009, pp. 203-211, 2009, IEEE Computer Society, 978-0-7695-3758-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Tammo van Lessen, Jörg Nitzsche, Dimka Karastoyanova |
Facilitating rich data manipulation in BPEL using E4X. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZEUS ![In: 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2-3, 2009. Proceedings, pp. 102-108, 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Daniel Wutke, Daniel Martin 0001, Frank Leymann |
A method for partitioning BPEL processes for decentralized execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZEUS ![In: 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2-3, 2009. Proceedings, pp. 109-114, 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Thomas S. Heinze, Wolfram Amme, Simon Moser |
Umstrukturierung von WS-BPEL-Prozessen zur Verbesserung des Validierungsverhaltens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZEUS ![In: 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2-3, 2009. Proceedings, pp. 88-94, 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Zhao Wu, Naixue Xiong, Lei Yuan, Xiong Wei, Jong Hyuk Park |
Modeling and Analysis of the Execution Context in WS-BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSA ![In: Proceedings of the 2nd International Conference on Computer Science and its Applications, CSA 2009, Jeju Island, Korea, December 10-12, 2009, pp. 1-6, 2009, IEEE, 978-1-4244-4945-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Guido Scherp, André Höing, Stefan Gudenkauf, Wilhelm Hasselbring, Odej Kao |
Using UNICORE and WS-BPEL for Scientific Workflow Execution in Grid Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par Workshops ![In: Euro-Par 2009 - Parallel Processing Workshops, HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Revised Selected Papers, pp. 335-344, 2009, Springer, 978-3-642-14121-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Xutao Du, Chunxiao Xing, Lizhu Zhou |
A Chu Spaces Semantics of BPEL-Like Fault Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCST ![In: Fourth International Conference on Frontier of Computer Science and Technology, FCST 2009, Shanghai, China, 17-19 December, 2009, pp. 317-323, 2009, IEEE Computer Society, 978-0-7695-3932-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Chunxin Lia, Chaojun Lu |
Extending BPEL to Model Business Processes Involving Human Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCST ![In: Fourth International Conference on Frontier of Computer Science and Technology, FCST 2009, Shanghai, China, 17-19 December, 2009, pp. 524-529, 2009, IEEE Computer Society, 978-0-7695-3932-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Lucas O. Meertens, Maria-Eugenia Iacob, Silja Eckartz |
Feasibility of EPC to BPEL Model Transformations Based on Ontology and Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers, pp. 347-358, 2009, Springer, 978-3-642-12185-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Antonio García-Domínguez, Inmaculada Medina-Bulo |
GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOWS ![In: Seventh IEEE European Conference on Web Services (ECOWS 2009), 9-11 November 2009, Eindhoven, The Netherlands, pp. 97-106, 2009, IEEE Computer Society, 978-0-7695-3854-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Vincent C. T. Chan, Dickson K. W. Chiu, Michelle Watson, Patrick C. K. Hung, Haiyang Hu, Hua Hu, Yi Zhuang 0001 |
Designing a Credit Approval System Using Web Services, BPEL, and AJAX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEBE ![In: 2009 IEEE International Conference on e-Business Engineering, ICEBE 2009, Macau, China, 21-23 October 2009, pp. 287-294, 2009, IEEE Computer Society, 978-0-7695-3842-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Adrian Paschke, Kia Teymourian |
Rule Based Business Process Execution with BPEL+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
I-SEMANTICS ![In: 5th International Conference on Semantic Systems, Graz, Austria, September 2-4, 2009. Proceedings, pp. 588-601, 2009, Verlag der Technischen Universität Graz, 978-3-85125-060-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Alireza Khoshkbarforoushha, Pooyan Jamshidi, Ali Nikravesh, Sedigheh Khoshnevis, Fereidoon Shams Aliee |
A metric for measuring BPEL process context-independency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCA ![In: IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2009, 14-15 December 2009, Taipei, Taiwan, pp. 1-8, 2009, IEEE Computer Society, 978-1-4244-5300-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Wing Lok Yeung |
Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCA ![In: IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2009, 14-15 December 2009, Taipei, Taiwan, pp. 1-8, 2009, IEEE Computer Society, 978-1-4244-5300-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Adina D. Mosincat, Walter Binder |
Enhancing BPEL processes with self-tuning behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCA ![In: IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2009, 14-15 December 2009, Taipei, Taiwan, pp. 1-8, 2009, IEEE Computer Society, 978-1-4244-5300-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Harder |
Suche nach prozessadäquaten Webservices mit Hilfe eines BPEL Repositories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatiktage ![In: Informatiktage 2009 - Fachwissenschaftlicher Informatik-Kongress 27. und 28. März 2009, B-IT Bonn-Aachen International Center for Information Technology in Bonn, pp. 69-74, 2009, GI, 978-3-88579-442-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Shiting Wen, Qing Li 0001, Lihua Yue, An Liu 0002 |
An Approach to Validating Transactional Properties of WS-BPEL Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SKG ![In: Fifth International Conference on Semantics, Knowledge and Grid, SKG 2009, Zhuhai, China, October 12-14, 2009, pp. 216-223, 2009, IEEE Computer Society, 978-0-7695-3810-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Xin Zhao, Jun Han, Yaling Huang |
An Automatic Layout Function in BPEL Visual Modeling Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 10th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing, SNPD 2009, in conjunction with 3rd International Workshop on e-Activity, IWEA 2009, 1st International Workshop on Enterprise Architecture Challenges and Responses, WEACR 2009, Catholic University of Daegu, Daegu, Korea, 27-29 May 2009, pp. 14-17, 2009, IEEE Computer Society, 978-0-7695-3642-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin Albrecht, Philip Effinger, Markus Held, Michael Kaufmann 0001, Stephan Kottler |
Visualization of Complex BPEL Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers, pp. 421-423, 2009, Springer, 978-3-642-11804-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Marvin Ferber, Sascha Hunold, Thomas Rauber |
Load Balancing Concurrent BPEL Processes by Dynamic Selection of Web Service Endpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: ICPPW 2009, International Conference on Parallel Processing Workshops, Vienna, Austria, 22-25 September 2009, pp. 290-297, 2009, IEEE Computer Society, 978-0-7695-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Tim Dörnemann, Ernst Juhnke, Bernd Freisleben |
On-Demand Resource Provisioning for BPEL Workflows Using Amazon's Elastic Compute Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 9th IEEE/ACM International Symposium on Cluster Computing and the Grid, CCGrid 2009, Shanghai, China, 18-21 May 2009, pp. 140-147, 2009, IEEE Computer Society, 978-0-7695-3622-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Marc Bischof, Oliver Kopp, Tammo van Lessen, Frank Leymann |
BPELscript: A Simplified Script Syntax for WS-BPEL 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings, pp. 39-46, 2009, IEEE Computer Society, 978-0-7695-3784-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Ernst Juhnke, Tim Dörnemann, Bernd Freisleben |
Fault-Tolerant BPEL Workflow Execution via Cloud-Aware Recovery Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings, pp. 31-38, 2009, IEEE Computer Society, 978-0-7695-3784-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Qishi Wu, Yi Gu, Liang Bao, Wei Jia, Huichen Dai, Ping Chen |
Optimizing Distributed Execution of WS-BPEL Processes in Heterogeneous Computing Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSHINE ![In: Quality of Service in Heterogeneous Networks, 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2009 and 3rd International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, AAA-IDEA 2009, Las Palmas, Gran Canaria, Spain, November 23-25, 2009, Proceedings, pp. 770-784, 2009, Springer, 978-3-642-10624-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Yingmin Li, Lina Ye, Philippe Dague, Tarek Melliti |
A Decentralized Model-Based Diagnosis for BPEL Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence, Newark, New Jersey, USA, 2-4 November 2009, pp. 609-616, 2009, IEEE Computer Society, 978-0-7695-3920-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Antonia Estero-Botaro, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Lorena Gutiérrez |
GAmera: una herramienta para la generación y selección mediante algoritmos genéticos de mutantes WS-BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JISBD ![In: XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), San Sebastián, Spain, September 8-11, 2009, pp. 50-53, 2009, 978-84-692-4211-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Manuel Palomo-Duarte, Antonio García-Domínguez, Alejandro Álvarez-Ayllón, Inmaculada Medina-Bulo |
Takuan: generación dinámica de invariantes en composiciones de servicios web con WS-BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JISBD ![In: XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), San Sebastián, Spain, September 8-11, 2009, pp. 367-370, 2009, 978-84-692-4211-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Farid Zaid, Rainer Berbner, Ralf Steinmetz |
Leveraging the BPEL Event Model to Support QoS-aware Process Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KiVS ![In: Kommunikation in Verteilten Systemen (KiVS), 16. Fachtagung Kommunikation in Verteilten Systemen (KiVS 2009), Kassel, 2.-6. März 2009, Eine Veranstaltung der Gesellschaft für Informatik (GI) unter Beteiligung der Informationstechnischen Gesellschaft (ITG/VDE) Ausgerichtet von der Universität Kassel, pp. 93-104, 2009, Springer, 978-3-540-92665-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Binh Nguyen Thanh, Doan Hoang Bang |
An Automatic Tool for Deployment of BPEL Processes in ODE Apache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSREA EE ![In: Proceedings of the 2009 International Conference on E-Learning, E-Business, Enterprise Information Systems, & E-Government, EEE 2009, July 13-16, 2009, Las Vegas Nevada, USA, pp. 248-253, 2009, CSREA Press, 1-60132-100-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Daniel Lübke, Leif Singer, Alex Salnikow |
Calculating BPEL Test Coverage Through Instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: Proceedings of the 4th International Workshop on Automation of Software Test, AST 2009, Vancouver, BC, Canada, May 18-19, 2009., pp. 115-122, 2009, IEEE Computer Society, 978-1-4244-3711-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Branimir Wetzstein, Steve Strauch, Frank Leymann |
Measuring Performance Metrics of WS-BPEL Service Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNS ![In: The Fifth International Conference on Networking and Services, ICNS 2009, 20-25 April 2009, Valencia, Spain, pp. 49-56, 2009, IEEE Computer Society, 978-0-7695-3586-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Anja Strunk, Sandro Reichert, Alexander Schill |
An infrastructure for supporting rebinding in BPEL processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOCW ![In: Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, EDOCw 2009, 1-4 September 2009, Auckland, New Zealand, pp. 230-237, 2009, IEEE Computer Society, 978-1-4244-5563-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Nicola Dragoni, Manuel Mazzara |
A Formal Semantics for the WS-BPEL Recovery Framework - The pi-Calculus Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers, pp. 92-109, 2009, Springer, 978-3-642-14457-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Wombacher |
Alignment of Choreography Changes in BPEL Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2009 IEEE International Conference on Services Computing (SCC 2009), 21-25 September 2009, Bangalore, India, pp. 1-8, 2009, IEEE Computer Society, 978-0-7695-3811-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Rania Khalaf, Oliver Kopp, Frank Leymann |
Maintaining Data Dependencies across BPEL Process Fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Cooperative Inf. Syst. ![In: Int. J. Cooperative Inf. Syst. 17(3), pp. 259-282, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Oliver Kopp, Frank Leymann |
Choreography Design Using WS-BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Data Eng. Bull. ![In: IEEE Data Eng. Bull. 31(3), pp. 31-34, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Krzysztof Sapiecha, Damian Grela |
Test scenarios generation for a class of processes defined in the BPEL language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. UMCS Informatica ![In: Ann. UMCS Informatica 8(2), pp. 75-87, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Chun Ouyang 0001, Marlon Dumas, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst |
Pattern-Based Translation of BPMN Process Models to BPEL Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Web Serv. Res. ![In: Int. J. Web Serv. Res. 5(1), pp. 42-62, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Federica Paci, Elisa Bertino, Jason Crampton |
An Access-Control Framework for WS-BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Web Serv. Res. ![In: Int. J. Web Serv. Res. 5(3), pp. 20-43, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Moses Gone, Sven Schade |
Towards Semantic Composition of Geospatial Web Services - Using WSMO in Comparison to BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Spatial Data Infrastructures Res. ![In: Int. J. Spatial Data Infrastructures Res. 3, pp. 192-214, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Ruyue Ma, Yongwei Wu, Xiangxu Meng, Shijun Liu, Li Pan |
Grid-Enabled Workflow Management System Based On BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. High Perform. Comput. Appl. ![In: Int. J. High Perform. Comput. Appl. 22(3), pp. 238-249, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Jan Mendling, Michael Hafner |
From WS-CDL choreography to BPEL process orchestration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Enterp. Inf. Manag. ![In: J. Enterp. Inf. Manag. 21(5), pp. 525-542, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Máté Kovács, Dániel Varró, László Gönczy |
Formal analysis of BPEL. workflows with compensation by model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Syst. Sci. Eng. ![In: Comput. Syst. Sci. Eng. 23(5), 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg |
Analyzing interacting WS-BPEL processes using flexible model generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 64(1), pp. 38-54, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Wil M. P. van der Aalst, Kristian Bisgaard Lassen |
Translating unstructured workflow processes to readable BPEL: Theory and implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 50(3), pp. 131-159, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Radu Mateescu 0001, Sylvain Rampacek |
Formal modelling and discrete-time analysis of BPEL web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Simul. Process. Model. ![In: Int. J. Simul. Process. Model. 4(3/4), pp. 183-194, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Erdogan Dogdu, Omer Mescigil |
Dynamic Selection of Web Services Using QoS Constraints in BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEDE ![In: 17th International Conference on Software Engineering and Data Engineering (SEDE-2008), June 30 - July 2, 2008, Omni Los Angeles Hotel at California Plaza, Los Angeles, California, USA, Proceedings, pp. 222-226, 2008, ISCA, 978-1-880843-67-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Ralph Mietzner, Zhilei Ma, Frank Leymann |
An Algorithm for the Validation of Executable Completions of an Abstract BPEL Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multikonferenz Wirtschaftsinformatik ![In: Multikonferenz Wirtschaftsinformatik, MKWI 2008, München, 26.2.2008 - 28.2.2008, Proceedings, 2008, GITO-Verlag, Berlin, 978-3-940019-34-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Nicolas Biri, Pascal Bauler, Fernand Feltz, Nicolas Médoc, Céline Thomase |
Utilisation de BPEL pour la gestion des processus métier d'une application locale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAL ![In: 2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 3-7 Mars 2008, Montréal, Québec, Canada, pp. 35-45, 2008, Cépaduès-Éditions. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Luciano Baresi, Sam Guinea, Liliana Pasquale |
Integrated and Composable Supervision of BPEL Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings, pp. 614-619, 2008, 978-3-540-89647-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|