Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Dulce Domingos, Francisco Martins, Carlos Cândido |
Internet of Things Aware WS-BPEL Business Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (2) ![In: ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems, Volume 2, Angers, France, 4-7 July, 2013, pp. 505-512, 2013, SciTePress, 978-989-8565-60-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Budan Wu, Rongheng Lin, Junliang Chen |
Integrating RESTful Service into BPEL Business Process on Service Generation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28 - July 3, 2013, pp. 527-534, 2013, IEEE Computer Society, 978-0-7695-5026-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Zhilei Ma |
Process fragments: enhancing reuse of process logic in BPEL process models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
16 | Dieter Roller 0001 |
Throughput improvements for BPEL engines: implementation techniques and measurements applied to SWoM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
16 | Marcel Krizevnik, Matjaz B. Juric |
Data-bound variables for WS-BPEL executable processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. Syst. Struct. ![In: Comput. Lang. Syst. Struct. 38(4), pp. 279-299, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Yunni Xia, Yi Liu, Ji Liu 0006, Qingsheng Zhu |
Modeling and Performance Evaluation of BPEL Processes: A Stochastic-Petri-Net-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 42(2), pp. 503-510, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Genong (Eugene) Yu, Peisheng Zhao, Liping Di, Aijun Chen, Meixia Deng, Yuqi Bai |
BPELPower - A BPEL execution engine for geospatial web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geosci. ![In: Comput. Geosci. 47, pp. 87-101, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Manuel Mazzara, Nicola Dragoni, Mu Zhou |
Implementing Workflow Reconfiguration in WS-BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Internet Serv. Inf. Secur. ![In: J. Internet Serv. Inf. Secur. 2(1/2), pp. 73-92, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Anis Charfi, Benjamin Schmeling, Mira Mezini |
An aspect-oriented framework for specification and enforcement of non-functional concerns in WS-BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Web Grid Serv. ![In: Int. J. Web Grid Serv. 8(4), pp. 386-424, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Azzam Mourad, Sara Ayoubi, Hamdi Yahyaoui, Hadi Otrok |
A novel aspect-oriented BPEL framework for the dynamic enforcement of web services security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Web Grid Serv. ![In: Int. J. Web Grid Serv. 8(4), pp. 361-385, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Jonathan Michaux, Elie Najm, Alessandro Fantechi |
Adding Sessions to BPEL ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012, Stockholm, Sweden, 16th July 2012., pp. 60-76, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Bixin Li, Dong Qiu, Hareton Leung, Di Wang |
Automatic test case selection for regression testing of composite service based on extensible BPEL flow graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 85(6), pp. 1300-1324, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Chengying Mao |
Static inter-BPEL program slicing for web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Simul. Process. Model. ![In: Int. J. Simul. Process. Model. 7(3), pp. 204-216, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001 |
Using formal methods to develop WS-BPEL applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 77(3), pp. 189-213, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Nils Barnickel, Matthias Flügge |
Loosely Coupled Information Models for Business Process Integration: Incorporating Rule-Based Semantic Bridges into BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantic Web Services, Advancement through Evaluation ![In: Semantic Web Services, Advancement through Evaluation, pp. 217-231, 2012, Springer, 978-3-642-28734-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Luis Jesús Ramón Stroppi, Omar Chiotti, Pablo David Villarreal |
Extended Resource Perspective Support for BPMN and BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIbSE ![In: Proceedings of the XV Iberoamerican Conference on Software Engineering, Buenos Aires, Argentina, April 24-27, 2012, pp. 56-69, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Huiqun Zhao, Wenwen Wang, Jing Sun 0009, Ying Wei |
Research on Formal Modeling and Verification of BPEL-based Web Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, Shanghai, China, May 30 - June 1, 2012, pp. 631-636, 2012, IEEE Computer Society, 978-1-4673-1536-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Mohit Chamania, Edip Demirbilek, Admela Jukan, Xavier Masip-Bruin, Marcelo Yannuzzi |
Using BPEL workflow processing for cross-layer orchestrations in IP-over-optical networks: A proof of concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: 2012 IEEE Network Operations and Management Symposium, NOMS 2012, Maui, HI, USA, April 16-20, 2012, pp. 1191-1194, 2012, IEEE, 978-1-4673-0267-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Cuicui Liu, Bixin Li, ShanShan Qi, Xiaona Wu, Rui Song |
Data Depedency Based Trust Evaluation for BPEL Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012, pp. 857-866, 2012, IEEE, 978-0-7695-4922-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Donggyu Kwak, Jaeyoung Choi, Myungho Lee |
Augmentation of BPEL with New Functions Using Aspect-oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC-ICESS ![In: 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, HPCC-ICESS 2012, Liverpool, United Kingdom, June 25-27, 2012, pp. 941-946, 2012, IEEE Computer Society, 978-1-4673-2164-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Huiqun Zhao, Jing Sun 0009, Xiaodong Liu 0001 |
A Model Checking Based Approach to Automatic Test Suite Generation for Testing Web Services and BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: 2012 IEEE Asia-Pacific Services Computing Conference, APSCC 2012, Guilin, China, December 6-8, 2012, pp. 61-69, 2012, IEEE Computer Society, 978-1-4673-4825-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Hayat Bendoukha, Yahya Slimani, Abdelkader Benyettou |
UML Refinement for Mapping UML Activity Diagrams into BPEL Specifications to Compose Service-Oriented Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NDT (2) ![In: Networked Digital Technologies - 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012, Proceedings, Part II, pp. 537-548, 2012, Springer, 978-3-642-30566-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Jörg Lenhard, Guido Wirtz |
Building Orchestrations in B2Bi - The Case of BPEL 2.0 and BPMN 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZEUS ![In: Proceedings of the 4th Central-European Workshop on Services and their Composition, ZEUS-2012, Bamberg, Germany, February 23-24, 2012, pp. 58-65, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Zeina Azmeh, Marianne Huchard, Fady Hamoui, Naouel Moha |
From Abstract to Executable BPEL Processes with Continuity Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2012 IEEE 19th International Conference on Web Services, Honolulu, HI, USA, June 24-29, 2012, pp. 368-375, 2012, IEEE Computer Society, 978-1-4673-2131-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Emmanouela Stachtiari, Anakreon Mentis, Panagiotis Katsaros |
Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2012 IEEE 19th International Conference on Web Services, Honolulu, HI, USA, June 24-29, 2012, pp. 319-326, 2012, IEEE Computer Society, 978-1-4673-2131-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaiel |
Model-Based Conformance Testing of WS-BPEL Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC Workshops ![In: 36th Annual IEEE Computer Software and Applications Conference Workshops, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012, pp. 452-457, 2012, IEEE Computer Society, 978-1-4673-2714-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaiel |
Conformance Testing of WS-BPEL Compositions under Various Load Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 36th Annual IEEE Computer Software and Applications Conference, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012, pp. 371, 2012, IEEE Computer Society, 978-1-4673-1990-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Mirko Sonntag, Michael Hahn 0002, Dimka Karastoyanova |
Mayflower - Explorative Modeling of Scientific Workflows with BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM (Demos) ![In: Proceedings of the Demonstration Track of the 10th International Conference on Business Process Management (BPM 2012), Tallinn, Estonia, September 4, 2012, pp. 45-50, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Enrico Barbierato, Mauro Iacono, Stefano Marrone 0001 |
PerfBPEL: A graph-based approach for the performance analysis of BPEL SOA applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: 6th International ICST Conference on Performance Evaluation Methodologies and Tools, Cargese, Corsica, France, October 9-12, 2012, pp. 64-73, 2012, ICST/IEEE, 978-1-4673-4887-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Simon Harrer, Jörg Lenhard, Guido Wirtz |
BPEL conformance in open source engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCA ![In: 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), Taipei, Taiwan, December 17-19, 2012, pp. 1-8, 2012, IEEE Computer Society, 978-1-4673-4773-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Stefan Kolb 0001, Jörg Lenhard, Guido Wirtz |
Bridging the heterogeneity of orchestrations - A Petri net-based integration of BPEL and Windows Workflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCA ![In: 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), Taipei, Taiwan, December 17-19, 2012, pp. 1-8, 2012, IEEE Computer Society, 978-1-4673-4773-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Hema Banati, Punam Bedi, Preeti Marwaha |
Extending BPEL for WSDL-Temporal based Web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS ![In: 12th International Conference on Hybrid Intelligent Systems, HIS 2012, Pune, India, December 4-7, 2012, pp. 484-489, 2012, IEEE, 978-1-4673-5114-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Carmen Castro-Cabrera, Inmaculada Medina-Bulo, Azahara Camacho |
Metasearch Services Composition in WS-BPEL - An Application of Metamorphic Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT ![In: ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012, pp. 427-432, 2012, SciTePress, 978-989-8565-19-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Jingwei Cheng, Chong Wang 0004, Keqing He, Jinxu Jia, Peng Liang 0001 |
Mappings from BPEL to PMR for Business Process Registration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRO-VE ![In: Collaborative Networks in the Internet of Services - 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, Bournemouth, UK, October 1-3, 2012. Proceedings, pp. 225-233, 2012, Springer, 978-3-642-32774-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Chang-Ai Sun, Yimeng Zhai, Yan Shang, Zhenyu Zhang |
Toward Effectively Locating Integration-Level Faults in BPEL Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012, pp. 17-20, 2012, IEEE, 978-1-4673-2857-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Chang-Ai Sun, Yan Shang, Yan Zhao, Tsong Yueh Chen |
Scenario-Oriented Testing for Web Service Compositions Using BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012, pp. 171-174, 2012, IEEE, 978-1-4673-2857-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Hanine Tout, Azzam Mourad, Hamdi Yahyaoui, Chamseddine Talhi, Hadi Otrok |
Towards a BPEL model-driven approach for Web services security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PST ![In: Tenth Annual International Conference on Privacy, Security and Trust, PST 2012, Paris, France, July 16-18, 2012, pp. 120-127, 2012, IEEE Computer Society, 978-1-4673-2323-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu |
The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings, pp. 172-187, 2012, Springer, 978-3-642-33825-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Budan Wu, Junliang Chen |
A Semantic Extended Multi-layer Model for BPEL Process Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2012 IEEE Ninth International Conference on Services Computing, Honolulu, HI, USA, June 24-29, 2012, pp. 696-698, 2012, IEEE Computer Society, 978-1-4673-3049-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Xutao Du, Chunxiao Xing, Lizhu Zhou, Ke Han |
Modeling Control Flow in WS-BPEL with Chu Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Syst. Serv. Sect. ![In: Int. J. Inf. Syst. Serv. Sect. 3(4), pp. 1-21, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis |
Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Serv. Oriented Eng. ![In: Int. J. Syst. Serv. Oriented Eng. 2(2), pp. 37-59, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001 |
A WSDL-based type system for asynchronous WS-BPEL processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 38(2), pp. 119-157, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Jong-Phil Kim, Dong-Hyuk Sung, Jang-Eui Hong |
Performance Testing of Composite Web-Service with Aspect-Based WS-BPEL Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSII Trans. Internet Inf. Syst. ![In: KSII Trans. Internet Inf. Syst. 5(10), pp. 1841-1861, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Alireza Khoshkbarforoushha, Pooyan Jamshidi, Ali Nikravesh, Fereidoon Shams |
Metrics for BPEL process context-independency analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Serv. Oriented Comput. Appl. ![In: Serv. Oriented Comput. Appl. 5(3), pp. 139-157, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Luciano Baresi, Sam Guinea |
Self-Supervising BPEL Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 37(2), pp. 247-263, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Steffen Mazanek, Michael Hanus |
Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Vis. Lang. Comput. ![In: J. Vis. Lang. Comput. 22(1), pp. 66-89, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Denitsa Manova, Ilina Manova, Sylvia Ilieva, Dessislava Petrova-Antonova |
faultInjector: A Tool for Injection of Faults in Synchronous WS-BPEL Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS-EERC ![In: Second Eastern European Regional Conference on the Engineering of Computer Based Systems, ECBS-EERC 2011, Bratislava, Slovakia, 5-6 September 2011., pp. 99-105, 2011, IEEE Computer Society, 978-0-7695-4418-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Qiwei Wang, Budan Wu, Junliang Chen |
A research on optimization algorithm for BPEL process based on synchronization and concurrency analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMEIT ![In: International Conference on Electronic and Mechanical Engineering and Information Technology, EMEIT 2011, Harbin, Heilongjiang, China, 12-14 August, 2011, pp. 3082-3085, 2011, IEEE, 978-1-61284-087-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Nils Glombitza, Sebastian Ebers, Dennis Pfisterer, Stefan Fischer 0001 |
Using BPEL to Realize Business Processes for an Internet of Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHOC-NOW ![In: Ad-hoc, Mobile, and Wireless Networks - 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings, pp. 294-307, 2011, Springer, 978-3-642-22449-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Matthias Geiger, Andreas Schönberger, Guido Wirtz |
Towards Automated Conformance Checking of ebBP-ST Choreographies and Corresponding WS-BPEL Based Orchestrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), Eden Roc Renaissance, Miami Beach, USA, July 7-9, 2011, pp. 566-571, 2011, Knowledge Systems Institute Graduate School, 1-891706-29-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Wenrui Li, Zhongxue Yang, Pengcheng Zhang, Zhijian Wang |
Model Checking WS-BPEL with Universal Modal Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 10th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2011, 16-18 May, 2011, Sanya, Hainan Island, China, pp. 328-333, 2011, IEEE Computer Society, 978-0-7695-4401-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Mohamed Boukhebouze, Waldemar Pires Ferreira Neto, Erbin Lim |
Yet Another BPEL Extension for User Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling. Recent Developments and New Directions - ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 - November 3, 2011. Proceedings, pp. 24-33, 2011, Springer, 978-3-642-24573-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Juan Boubeta-Puig, Inmaculada Medina-Bulo, Antonio García-Domínguez |
Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, pp. 398-407, 2011, IEEE Computer Society, 978-0-7695-4345-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Nezar Nassr, Eric Steegmans |
A parameterized RBAC access control model for WS-BPEL orchestrated composite web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITST ![In: 6th International Conference for Internet Technology and Secured Transactions, ICITST 2011, Abu Dhabi, UAE, December 11-14, 2011, pp. 122-127, 2011, IEEE, 978-1-908320-00-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Matthias Geiger, Andreas Schönberger, Guido Wirtz |
A Proposal for Checking the Conformance of ebBP-ST Choreographies and WS-BPEL Orchestrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZEUS ![In: 3rd Central-European Workshop on Services and their Composition, Services und ihre Komposition, ZEUS 2011, Karlsruhe, Germany, February 21-22, 2011. Proceedings, pp. 24-25, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Denitsa Manova, Sylvia Ilieva, Francesca Lonetti, Antonia Bertolino, Cesare Bartolini |
Towards automated robustness testing of BPEL orchestrators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 12th International Conference on Computer Systems and Technologies, CompSysTech 2011, Vienna, Austria, June 16-17, 2011, pp. 659-664, 2011, ACM, 978-1-4503-0917-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Mirko Sonntag, Dimka Karastoyanova |
Compensation of Adapted Service Orchestration Logic in BPEL'n'Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM ![In: Business Process Management - 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings, pp. 413-428, 2011, Springer, 978-3-642-23058-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Elie Fares, Jean-Paul Bodeveix, Mamoun Filali |
Verification of Timed BPEL 2.0 Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMMDS/EMMSAD ![In: Enterprise, Business-Process and Information Systems Modeling - 12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings, pp. 261-275, 2011, Springer, 978-3-642-21758-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Neil Paiva Tizzo, Juan Manuel Adán Coello, Eleri Cardozo |
Improving dynamic Web service selection in WS-BPEL using SPARQL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Anchorage, Alaska, USA, October 9-12, 2011, pp. 864-871, 2011, IEEE, 978-1-4577-0652-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Oliver Kopp, Frank Leymann, Sebastian Wagner 0001 |
Modeling Choreographies: BPMN 2.0 versus BPEL-based Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMISA ![In: Enterprise Modelling and Information Systems Architectures: Proceedings of the 4th International Workshop on Enterprise Modelling and Information Systems Architectures, EMISA 2011, Hamburg, Germany, September 22-23, 2011, pp. 225-230, 2011, GI, 978-3-88579-284-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Nasser Mousa Faleh. Mustafa, Gregor von Bochmann |
Transforming dynamic behavior specifications from activity diagrams to BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSE ![In: IEEE 6th International Symposium on Service Oriented System Engineering, SOSE 2011, Irvine, CA, USA, December 12-14, 2011, pp. 305-311, 2011, IEEE Computer Society, 978-1-4673-0411-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Sylvia Ilieva, Denitsa Manova, Ilina Manova, Cesare Bartolini, Antonia Bertolino, Francesca Lonetti |
An automated approach to robustness testing of BPEL orchestrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSE ![In: IEEE 6th International Symposium on Service Oriented System Engineering, SOSE 2011, Irvine, CA, USA, December 12-14, 2011, pp. 193-203, 2011, IEEE Computer Society, 978-1-4673-0411-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi, Shin Nakajima 0001, Akihito Iwai |
Translation Pattern of BPEL Process into Promela Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSM/Mensura ![In: 2011 Joint Conf of 21st Int'l Workshop on Software Measurement and the 6th Int'l Conference on Software Process and Product Measurement, IWSM/Mensura 2011, Nara, Japan, November 3-4, 2011, pp. 285-290, 2011, IEEE Computer Society, 978-1-4577-1930-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Aarti M. Karande, V. N. Chunekar, B. B. Meshram |
Intelligent database for the SOA using BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCS ![In: Proceedings of the 2011 International Conference on Communication, Computing & Security, ICCCS 2011, Odisha, India, February 12-14, 2011, pp. 281-284, 2011, ACM, 978-1-4503-0464-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Wassim Jendoubi, Guy Tremblay, Aziz Salah |
Interface Expressions Monitoring for BPEL Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEBIST ![In: WEBIST 2011, Proceedings of the 7th International Conference on Web Information Systems and Technologies, Noordwijkerhout, The Netherlands, 6-9 May, 2011, pp. 131-134, 2011, SciTePress, 978-989-8425-51-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Emma Blanco-Muñoz, Antonio García-Domínguez, Juan José Domínguez-Jiménez, Inmaculada Medina-Bulo |
Towards Higher-order Mutant Generation for WS-BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE-B ![In: ICE-B 2011 - Proceedings of the International Conference on e-Business, Seville, Spain, 18-21 July, 2011, ICE-B is part of ICETE - The International Joint Conference on e-Business and Telecommunications, pp. 143-148, 2011, SciTePress, 978-989-8425-70-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Carmen Castro-Cabrera, Inmaculada Medina-Bulo |
An Approach to Metamorphic Testing for WS-BPEL Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE-B ![In: ICE-B 2011 - Proceedings of the International Conference on e-Business, Seville, Spain, 18-21 July, 2011, ICE-B is part of ICETE - The International Joint Conference on e-Business and Telecommunications, pp. 137-142, 2011, SciTePress, 978-989-8425-70-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Lev Belava |
Transforming BPEL Service Composition Into A Service Composition Directed Graph For Better Composition Plan Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMS ![In: 25th European Conference on Modelling and Simulation, ECMS 2011, Krakow, Poland, June 7-10, 2011, pp. 424-429, 2011, European Council for Modeling and Simulation, 978-0-9564944-2-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Dong Li, Qinming Wu |
Translating Artifact-Based Business Process Model to BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE (2) ![In: Advances in Computer Science, Environment, Ecoinformatics, and Education - International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part II, pp. 482-489, 2011, Springer, 978-3-642-23323-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | José Antonio Mateo, Valentín Valero, Gregorio Díaz 0001 |
An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers, pp. 79-94, 2011, Springer, 978-3-642-29833-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Elie Fares, Jean-Paul Bodeveix, Mamoun Filali |
Design of a BPEL Verification Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers, pp. 95-110, 2011, Springer, 978-3-642-29833-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Amirreza Tahamtan, Christian Oesterle, A Min Tjoa, Abdelkader Hameurlain |
Temporal Management of WS-BPEL Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS ![In: Enterprise Information Systems - 13th International Conference, ICEIS 2011, Beijing, China, June 8-11, 2011, Revised Selected Papers, pp. 256-269, 2011, Springer, 978-3-642-29957-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Yitao Ni, Lu Zhang 0023, Zhong Jie Li, Tao Xie 0001, Hong Mei 0001 |
Detecting Concurrency-Related Problematic Activity Arrangement in WS-BPEL Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: IEEE International Conference on Services Computing, SCC 2011, Washington, DC, USA, 4-9 July, 2011, pp. 209-217, 2011, IEEE Computer Society, 978-1-4577-0863-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Jonas Buys, Vincenzo De Florio, Chris Blondia |
Optimization of WS-BPEL Workflows through Business Process Re-Engineering Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Adapt. Resilient Auton. Syst. ![In: Int. J. Adapt. Resilient Auton. Syst. 1(3), pp. 25-41, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Luciano Baresi, Sam Guinea, Olivier Nano, George Spanoudakis |
Comprehensive Monitoring of BPEL Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 14(3), pp. 50-57, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Assertion checkers, assertion languages, performance, Software Engineering, Software Engineering, Design Tools and Techniques, Software/Software Engineering, Software/Software Engineering, Software/Program Verification, Distributed/Internet based software engineering tools and techniques |
16 | Wei Tan 0001, Paolo Missier, Ian T. Foster, Ravi K. Madduri, David De Roure, Carole A. Goble |
A comparison of using Taverna and BPEL in building scientific workflows: the case of caGrid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 22(9), pp. 1098-1117, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Rongsheng Dong, Zhao Wei, Xiangyu Luo, Fang Liu |
Testing Conformance of BPEL Business Process Based on Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 5(9), pp. 1030-1037, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik |
Optimizing Computation of Recovery Plans for BPEL Applications ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAV-WEB ![In: Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software, TAV-WEB 2010, Antwerp, Belgium, 21 September 2010., pp. 3-14, 2010. 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 (Extended Version) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1009.4625, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Andreas Schönberger, Christoph Pflügler, Guido Wirtz |
Translating shared state based ebXML BPSS models to WS-BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bus. Intell. Data Min. ![In: Int. J. Bus. Intell. Data Min. 5(4), pp. 398-442, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Matjaz B. Juric |
WSDL and BPEL extensions for Event Driven Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 52(10), pp. 1023-1043, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Adel Khaled, James Miller 0001 |
Chronological fault-based mutation processes for WS-BPEL 2.0 programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Web Eng. Technol. ![In: Int. J. Web Eng. Technol. 6(2), pp. 141-170, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Ing-Yi Chen, Guo-Kai Ni, Cheng-Hwa Kuo, Chau-Young Lin |
A BPEL-Based Fault-Handling Architecture for Telecom Operation Support Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Adv. Comput. Intell. Intell. Informatics ![In: J. Adv. Comput. Intell. Intell. Informatics 14(5), pp. 523-530, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis |
From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE Workshops ![In: Web Information Systems Engineering - WISE 2010 Workshops - WISE 2010 International Symposium WISS, and International Workshops CISE, MBC, Hong Kong, China, December 12-14, 2010, Revised Selected Papers, pp. 126-141, 2010, Springer, 978-3-642-24395-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Mirko Sonntag, Dimka Karastoyanova |
BPEL'n'Aspects&Compensation: Adapted Service Orchestration Logic and Its Compensation Using Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings, pp. 724-725, 2010, 978-3-642-17357-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Roberta Cucino, Claudio Eccher |
Modeling Healthcare Processes in BPEL: A Colon Cancer Screening Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eHealth ![In: Electronic Healthcare - Third International Conference, eHealth 2010, Casablanca, Morocco, December 13-15, 2010, Revised Selected Papers, pp. 78-85, 2010, Springer, 978-3-642-23634-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jonas Brüstel, Thomas Preuß, Martin Weigel |
Rendering von Kartendaten mit Hilfe des Amazon EC2 Services unter Nutzung von WS-BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Geoinformatik ![In: Geoinformatik 2010 - Die Welt im Netz: Konferenzband, Kiel, Germany, March 17-19, 2010., pp. 200-201, 2010, AKA, 978-3-89838-335-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Yongbo Wang, Fuyuki Ishikawa, Shinichi Honiden |
Business Semantics Centric Reliability Testing for Web Services in BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERVICES ![In: 6th World Congress on Services, SERVICES 2010, Miami, Florida, USA, July 5-10, 2010, pp. 237-244, 2010, IEEE Computer Society, 978-0-7695-4129-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Web Services, Fault Injection, Reliability Testing |
16 | Jinhui Yao, Shiping Chen 0001, Chen Wang 0008, David Levy 0001, John Zic |
Accountability as a Service for the Cloud: From Concept to Implementation with BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERVICES ![In: 6th World Congress on Services, SERVICES 2010, Miami, Florida, USA, July 5-10, 2010, pp. 91-98, 2010, IEEE Computer Society, 978-0-7695-4129-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
service orieanted architecture, cloud computing, accountability, trustworthiness |
16 | Stefan Gudenkauf, Guido Scherp, Wilhelm Hasselbring, André Höing, Odej Kao |
Workflow Modeling for WS-BPEL-based Service Orchestration in SMEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering (Workshops) ![In: Software Engineering 2010 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26.02.2010, Paderborn, pp. 185-192, 2010, GI, 978-3-88579-254-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Guido Scherp, Wilhelm Hasselbring |
Ein modellgetriebener Ansatz zur Nutzung von WS-BPEL für Scientific Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering (Workshops) ![In: Software Engineering 2010 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26.02.2010, Paderborn, pp. 201-208, 2010, GI, 978-3-88579-254-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Bixin Li, Xiaocong Fan, Ying Zhou, Zhiyong Su |
Evaluating the Reliability of Web Services Based on BPEL Code Structure Analysis and Run-Time Information Capture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 17th Asia Pacific Software Engineering Conference, APSEC 2010, Sydney, Australia, November 30 - December 3, 2010, pp. 206-215, 2010, IEEE Computer Society, 978-0-7695-4266-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Xuehong Yang, Junfei Huang, Yunzhan Gong |
Defect Analysis Respecting Dead Path Elimination in BPEL Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: 5th IEEE Asia-Pacific Services Computing Conference, APSCC 2010, 6-10 December 2010, Hangzhou, China, Proceedings, pp. 315-321, 2010, IEEE Computer Society, 978-0-7695-4305-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Gongyuan Zhang, Bixin Li |
A Way to Model Flow Construct and Its Three Properties Verification for BPEL Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: 5th IEEE Asia-Pacific Services Computing Conference, APSCC 2010, 6-10 December 2010, Hangzhou, China, Proceedings, pp. 277-284, 2010, IEEE Computer Society, 978-0-7695-4305-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Balazs Simon, Balázs Goldschmidt, Károly Kondorosi |
A Human Readable Platform Independent Domain Specific Language for BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NDT (1) ![In: Networked Digital Technologies - Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part I, pp. 537-544, 2010, Springer, 978-3-642-14291-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jifeng He 0001 |
A Probabilistic BPEL-Like Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings, pp. 74-100, 2010, Springer, 978-3-642-16689-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Sébastien Salva, Issam Rabhi |
A Preliminary Study on BPEL Process Testability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, pp. 62-71, 2010, IEEE Computer Society, 978-0-7695-4050-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo |
Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, pp. 142-150, 2010, IEEE Computer Society, 978-0-7695-4050-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Qi Zhao 0005, Xuanzhe Liu, Dawei Sun, Tiancheng Liu, Ying Li 0012, Gang Huang 0001 |
Mashing-Up Rich User Interfaces for Human-Interaction in WS-BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2010, Miami, Florida, USA, July 5-10, 2010, pp. 559-566, 2010, IEEE Computer Society, 978-0-7695-4128-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Venkatesan D. Pillai |
Development of a Novel Software Architecture for Active Internet Applications Based on Fusion of Mobile Agent, Web Services and BPEL Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2010, Miami, Florida, USA, July 5-10, 2010, pp. 652-653, 2010, IEEE Computer Society, 978-0-7695-4128-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
migrating web service, Mobile agents, business process modeling, work flow, application architecture |