Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Antonio Brogi, Razvan Popescu |
Workflow Semantics of Peer and Service Behaviour. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
service-oriented modelling language, YAWL workflows, Peer-to-peer systems, BPEL |
23 | Karthick Sankarachary |
Component-Based Composition of Wide-Area Workflows. |
IEEE SCC (2) |
2008 |
DBLP DOI BibTeX RDF |
Workflow, Virtualization, SCA, WS-BPEL |
23 | Philip Mayer, Andreas Schroeder 0001, Nora Koch |
A Model-Driven Approach to Service Orchestration. |
IEEE SCC (2) |
2008 |
DBLP DOI BibTeX RDF |
SOA, MDA, Transformation, BPEL, Orchestration, UML2 |
23 | Olaf Zimmermann, Jonas Grundler, Stefan Tai, Frank Leymann |
Architectural Decisions and Patterns for Transactional Workflows in SOA. |
ICSOC |
2007 |
DBLP DOI BibTeX RDF |
SOA, workflow, patterns, MDA, transactions, BPEL, BPM, SCA |
23 | Luca Clementi, Claudio Cacciari, Maurizio Melato, Roger Menday, Björn Hagemeier |
A Business-Oriented Grid Workflow Management System. |
Euro-Par Workshops |
2007 |
DBLP DOI BibTeX RDF |
SOA, Workflow, BPEL, BPMN, Grid System |
23 | Jörg Nitzsche, Tammo van Lessen, Dimka Karastoyanova, Frank Leymann |
BPELlight. |
BPM |
2007 |
DBLP DOI BibTeX RDF |
Web services, SOA, Workflow, BPEL, flexibility, BPM, reusability |
23 | Andrea D'Ambrogio, Paolo Bocciarelli |
A model-driven approach to describe and predict the performance of composite services. |
WOSP |
2007 |
DBLP DOI BibTeX RDF |
UML, service-oriented architectures, model transformation, BPEL, software performance, LQN |
23 | Philipp Offermann, Christian Schröpfer, Maximilian Ahrens |
Extending the UN/CEFACT Modeling Methodology and Core Components for Intra-organizational Service Orchestration. |
ICSOC Workshops |
2006 |
DBLP DOI BibTeX RDF |
UN/CEFACT Modeling Methodology (UMM), Core Components (CC), Business Process Execution Language (BPEL), Business Process Modeling Notation (BPMN), Service-Oriented Architecture (SOA), Service Orchestration |
23 | Raman Kazhamiakin, Marco Pistore, Luca Santuari |
Analysis of communication models in web service compositions. |
WWW |
2006 |
DBLP DOI BibTeX RDF |
formal verification, BPEL, web service composition, asynchronous communications |
23 | Guillermo López, Valeria de Castro, Esperanza Marcos |
Implementation of Business Process Requiring User Interaction. |
OTM Workshops (1) |
2006 |
DBLP DOI BibTeX RDF |
BPEL4People, Model Driven Architecture, BPEL, Service Oriented Computing, eGovernment, Web Information Systems |
23 | Casey K. Fung, Patrick C. K. Hung, William M. Kearns, Stephen A. Uczekaj |
Dynamic Regeneration of Workflow Specification with Access Control Requirements in MANET. |
ICWS |
2006 |
DBLP DOI BibTeX RDF |
Web services, MANET, Access Control, Exceptional Handling, BPEL, Survivability, XACML, Attack tree |
23 | Axel Martens, Simon Moser |
Diagnosing SCA Components Using Wombat. |
Business Process Management |
2006 |
DBLP DOI BibTeX RDF |
Tool based Verification, SOA, Petri nets, Business Process Modeling, BPEL, Web service composition, State Machine |
23 | Wolfgang Reisig, Karsten Schmidt 0004, Christian Stahl |
Kommunizierende Workflow-Services modellieren und analysieren. |
Inform. Forsch. Entwickl. |
2005 |
DBLP DOI BibTeX RDF |
Open workflow nets, Workflow services, Petri nets, Controllability, BPEL |
23 | Anis Charfi, Mira Mezini |
Middleware services for web service compositions. |
WWW (Special interest tracks and posters) |
2005 |
DBLP DOI BibTeX RDF |
middleware, BPEL, web service composition |
23 | Aysu Betin-Can, Tevfik Bultan, Xiang Fu 0001 |
Design for verification for asynchronously communicating Web services. |
WWW |
2005 |
DBLP DOI BibTeX RDF |
design patterns, BPEL, asynchronous communication, composite web services |
23 | Luciano Baresi, Carlo Ghezzi, Sam Guinea |
Smart monitors for composed services. |
ICSOC |
2004 |
DBLP DOI BibTeX RDF |
pre- and post-conditions, xlinkIt, quality of service, web services, monitoring, composition, exception handling, BPEL, NET, functional requirements |
23 | Anis Charfi, Mira Mezini |
Aspect-Oriented Web Service Composition with AO4BPEL. |
ECOWS |
2004 |
DBLP DOI BibTeX RDF |
Adaptive web service composition, aspect-oriented programming, BPEL, separation of concerns |
18 | Eran Balan, Tova Milo, Tal Sterenzy |
BP-Ex: a uniform query engine for business process execution traces. |
EDBT |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Haibo Zhao, Prashant Doshi |
A hierarchical framework for logical composition of web services. |
Serv. Oriented Comput. Appl. |
2009 |
DBLP DOI BibTeX RDF |
Probability, Hierarchy, Web service composition, First-order logic, Decision-theoretic planning |
18 | Karolina Zurowska, Ralph Deters |
Load management in model-aware execution of composite web services. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
models, performance, coloured petri nets, composite web services |
18 | Chenting Zhao, Zhenhua Duan, Man Zhang |
A Model-Driven Approach for Generating Business Processes and Process Interaction Semantics. |
ACIS-ICIS |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Zuohua Ding, Mingyue Jiang, Jing Liu 0012 |
Model Checking Service Component Composition by SPIN. |
ACIS-ICIS |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Anna Ruokonen, Lasse Pajunen, Tarja Systä |
Scenario-Driven Approach for Business Process Modeling. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Marc Drewniok, Massimo Maresca, Sancho Rego, Jürgen Sienel, Michele Stecca |
Experiments and performance evaluation of Event Driven Mashups. |
ISCC |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Idir Aït-Sadoune, Yamine Aït Ameur |
A Proof Based Approach for Modelling and VerifyingWeb Services Compositions. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Armin Lehmann, Thomas Eichelmann, Ulrich Trick, Rolf Lasch, Björn Ricks, Ralf Tönjes |
TeamCom: A Service Creation Platform for Next Generation Networks. |
ICIW |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Karolina Zurowska, Ralph Deters |
Model Aware Execution of Composite Web Services. |
IEEE SCC |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Johannes Maria Zaha, Marlon Dumas, Arthur H. M. ter Hofstede, Alistair Barros, Gero Decker |
Bridging Global and Local Models of Service-Oriented Systems. |
IEEE Trans. Syst. Man Cybern. Part C |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Marko Vrhovnik, Oliver Suhre, Stephan Ewen, Holger Schwarz |
PGM/F: A Framework for the Optimization of Data Processing in Business Processes. |
ICDE |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Ricardo Jiménez-Peris, Marta Patiño-Martínez, Ernestina Martel-Jordán |
Decentralized web service orchestration: a reflective approach. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
reflection, throughput, BPEL4WS, composite web services, web service orchestration, decentralized orchestration |
18 | Mate' Sztipanovits |
Web service composition process verification methods. |
ACM Southeast Regional Conference |
2008 |
DBLP DOI BibTeX RDF |
web services, composition, graph transformation, model integrated computing |
18 | Wing Lok Yeung |
A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration. |
APSCC |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Khouloud Boukadi, Chirine Ghedira, Lucien Vincent |
An Aspect Oriented Approach for Context-Aware Service Domain Adapted to E-Business. |
CAiSE |
2008 |
DBLP DOI BibTeX RDF |
Web service, context-aware, Aspect Oriented Programming, service adaptation |
18 | Mohamed Amine Baazizi, Samir Sebahi, Mohand-Said Hacid, Salima Benbernou, Mike P. Papazoglou |
Monitoring Web Services: A Database Approach. |
ServiceWave |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Chang-Ai Sun, Marco Aiello 0001 |
Towards Variable Service Compositions Using VxBPEL. |
ICSR |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Alexandru Cârstea, Georgiana Macariu, Dana Petcu, Alexander Konovalov 0001 |
Pattern Based Composition of Web Services for Symbolic Computations. |
ICCS (1) |
2008 |
DBLP DOI BibTeX RDF |
dynamically generated workflows, service-oriented architecture, symbolic computing, workflow patterns |
18 | 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 |
|
18 | Hallvard Trætteberg, John Krogstie |
Enhancing the Usability of BPM-Solutions by Combining Process and User-Interface Modelling. |
PoEM |
2008 |
DBLP DOI BibTeX RDF |
Process modelling, user interface modelling |
18 | Mohammed Ibrahim Alodib, Behzad Bordbar, Basim Majeed |
A model driven approach to the design and implementing of fault tolerant Service oriented Architectures. |
ICDIM |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Ilaria Matteucci, Paolo Mori |
Controlling Usage in Business Process Workflows through Fine-Grained Security Policies. |
TrustBus |
2008 |
DBLP DOI BibTeX RDF |
Fine-grained Security Policies, Workflow Monitoring, Business Processes |
18 | Pavel Parízek, Jirí Adámek |
Checking Session-Oriented Interactions between Web Services. |
EUROMICRO-SEAA |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Gero Decker, Alexander Lüders, Hagen Overdick, Kai Schlichting, Mathias Weske |
RESTful Petri Net Execution. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Fernando Antônio Aires Lins, José Carlos dos Santos Júnior, Nelson Souto Rosa |
Adaptive web service composition. |
ACM SIGSOFT Softw. Eng. Notes |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Xiaofeng Yu, Yan Zhang 0007, Tian Zhang 0001, Linzhang Wang, Jun Hu, Jianhua Zhao, Xuandong Li |
A model-driven development framework for enterprise Web services. |
Inf. Syst. Frontiers |
2007 |
DBLP DOI BibTeX RDF |
EDOC, Web services, Model-driven development |
18 | Ricardo Lemos Vianna, Everton Rafael Polina, Clarissa Cassales Marquezan, Leandro Marcio Bertholdo, Liane Margarida Rockenbach Tarouco, Maria Janilce Bosquiroli Almeida, Lisandro Zambenedetti Granville |
An Evaluation of Service Composition Technologies Applied to Network Management. |
Integrated Network Management |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Wil M. P. van der Aalst, Maja Pesic |
Specifying and Monitoring Service Flows: Making Web Services Process-Aware. |
Test and Analysis of Web Services |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Marco Pistore, Paolo Traverso |
Assumption-Based Composition and Monitoring of Web Services. |
Test and Analysis of Web Services |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Christian Koehler 0001, Alexander Lazovik, Farhad Arbab |
ReoService: Coordination Modeling Tool. |
ICSOC |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Nataliya Mulyar, Lachlan Aldred, Wil M. P. van der Aalst |
The Conceptualization of a Configurable Multi-party Multi-message Request-Reply Conversation. |
OTM Conferences (1) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Ricardo Jiménez-Peris, Marta Patiño-Martínez, Ernestina Martel-Jordán, R. Naranjo-Izquierdo |
Aspect Separation in Web Service Orchestration: A Reflective Approach and its Application to Decentralized Execution. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Lasse Pajunen, Anna Ruokonen |
Modeling and Generating Mobile Business Processes. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Annapaola Marconi, Marco Pistore, Piero Poccianti, Paolo Traverso |
AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Jing Zhou, Guosun Zeng |
Validity Checking On Grid Service Composition. |
COMPSAC (1) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel |
Model checking service compositions under resource constraints. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
web services, validation, BPEL4WS, resource modelling |
18 | Yuan Yuan 0036, Jia Jia Wen, Wei Li, Bing Bing Zhang |
A Comparison of Three Programming Models for Telecom Service Composition. |
AICT |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Torsten Greiner, Willy Düster, Francis Pouatcha, Rainer von Ammon, Hans-Martin Brandl, David Guschakowski |
Business activity monitoring of norisbank taking the example of the application easyCredit and the future adoption of Complex Event Processing (CEP). |
PPPJ |
2006 |
DBLP DOI BibTeX RDF |
online instant credit system, service oriented architecture, business process management, complex event processing, business activity monitoring, event stream processing |
18 | Wing Lok Yeung, Ji Wang 0001, Wei Dong 0006 |
Verifying Choreographic Descriptions of Web Services Based on CSP. |
SCW |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Torsten Greiner, Willy Düster, Francis Pouatcha, Rainer von Ammon |
Business Activity Monitoring of norisbank Taking the Example of the Application easyCredit and the Future Adoption of Complex Event Processing (CEP). |
SCW |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Jian Yu, Tan Phan Manh, Jun Han 0004, Yan Jin, Yanbo Han, Jianwu Wang 0001 |
Pattern Based Property Specification and Verification for Service Composition. |
WISE |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Kenneth J. Turner, Koon Leai Larry Tan |
Graphical Composition of Grid Services. |
RISE |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Mathieu Braem, Kris Verlaenen, Niels Joncheere, Wim Vanderperren, Ragnhild Van Der Straeten, Eddy Truyen, Wouter Joosen, Viviane Jonckers |
Isolating Process-Level Concerns Using Padus. |
Business Process Management |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Muhammad Ahtisham Aslam, Sören Auer, Jun Shen 0001, Michael Herrmann 0001 |
Expressing Business Process Models as OWL-S Ontologies. |
Business Process Management Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Qinyi Wu, Akhil Sahai |
DAG Synchronization Constraint Language for Business Processes. |
CEC/EEE |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Kangmin Zheng, Kenneth C. Hoffman, Thomas J. Pawlowski III, Christopher D. Knouss |
A Service-Oriented Architecture in a Multi-Agency Environment: A Case Study in Enterprise Dynamics. |
EDOC Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Dominic Cooney, Marlon Dumas, Paul Roe |
GPSL: A Programming Language for Service Implementation. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Gregorio Díaz 0001, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero |
Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques. |
AICT/ICIW |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Manuel Mazzara, Ivan Lanese |
Towards a Unifying Theory for Web Services Composition. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Barry Norton, Simon Foster 0001, Andrew Hughes |
A Compositional Operational Semantics for OWL-S. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Mikhail Perepletchikov, Caspar Ryan, Keith Frampton |
Comparing the Impact of Service-Oriented and Object-Oriented Paradigms on the Structural Properties of Software. |
OTM Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Min-Jen Tsai, Chen-Sheng Wang, Po-Yu Yang, Chien-Yu Yang |
A Collaborated Computing System by Web Services Based P2P Architecture. |
CSCWD (Selected papers) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Stefan Luckner, Daniel Rolli, Christof Momm, Christof Weinhardt |
Market Agents with a Sense for Mechanisms. |
ICEBE |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Pu Huang |
Capacity Allocation for Business Processes with QoS Requirements: A Heavy Traffic Approach. |
ICEBE |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Na Liu 0001, John C. Grundy, John G. Hosking |
A visual language and environment for composing web services. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
tool based abstraction, web services, visual languages |
16 | Marwa Daaji, Ali Ouni 0001, Mohamed Mohsen Gammoudi, Salah Bouktif, Mohamed Wiem Mkaouer |
BPEL process defects prediction using multi-objective evolutionary search. |
J. Syst. Softw. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Honghao Gao, Yida Zhang, Huaikou Miao, Ramón J. Durán Barroso, Xiaoxian Yang |
SDTIOA: Modeling the Timed Privacy Requirements of IoT Service Composition: A User Interaction Perspective for Automatic Transformation from BPEL to Timed Automata. |
Mob. Networks Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Dionisis Margaris, Dimitris Spiliotopoulos, Dionysios Vasilopoulos, Costas Vassilakis |
A User Interface for Personalising WS-BPEL Scenarios. |
HCI (22) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Wiem Khlif, Nadia Aloui, Nourchène Elleuch Ben Ayed |
A Methodology for Generating BPEL Models from a Business Process Textual Description. |
ENASE |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Wiem Khlif, Nadia Aloui, Nourchène Elleuch Ben Ayed |
From Business Process Textual Description to BPEL Models. |
ENASE (Selected Papers) |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Chunling Hu, Cuicui Liu, Bixin Li |
Evaluating the trustworthiness of BPEL processes based on data dependency and XBFG. |
Int. J. Comput. Sci. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Sira Yongchareon, Chengfei Liu, Xiaohui Zhao 0001 |
UniFlexView: A unified framework for consistent construction of BPMN and BPEL process views. |
Concurr. Comput. Pract. Exp. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Puwen Cui, Ru Yang, Zhijun Ding |
Detect and analyse the concurrent flaws of the BPEL process in a VPN-based approach. |
Int. J. Serv. Technol. Manag. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Dionisis Margaris, Dimitris Spiliotopoulos, Apostolos Kardiasmenos, Dimitrios Pantazopoulos |
An integer programming-based algorithm for optimising the WS-BPEL scenario execution adaptation process. |
Int. J. Web Eng. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Erwin de Jager, Stijn de Gouw |
Hybrid Analysis of BPEL Models with Grammars. |
SOFSEM (Doctoral Student Research Forum) |
2020 |
DBLP BibTeX RDF |
|
16 | Xuanzhe Liu, Mengwei Xu, Teng Teng, Gang Huang 0001, Hong Mei 0001 |
MUIT: A Domain-Specific Language and its Middleware for Adaptive Mobile Web-Based User Interfaces in WS-BPEL. |
IEEE Trans. Serv. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Chang-Ai Sun, Zhen Wang, Ke Wang, Tieheng Xue, Marco Aiello 0001 |
Adaptive BPEL Service Compositions via Variability Management: A Methodology and Supporting Platform. |
Int. J. Web Serv. Res. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Zhijun Ding, Zexia Zhou |
RaceTest: harmful data race detection based on testing technology in WS-BPEL. |
Serv. Oriented Comput. Appl. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | N. Parimala |
Modelling Co-occurring Changes in a BPEL Process with Petri Nets. |
ENASE |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Wiem Khlif, Hanêne Ben-Abdallah, Asma Sellami, Mariem Haoues |
A COSMIC-Based Approach for Verifying the Conformity of BPMN, BPEL and Component Models. |
BIS (1) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Khadidja Salah-Mansour, Youcef Hammal, Lynda Mokdad |
Formal specification and validation of refinement from WS-CDL to BPEL. |
ISCC |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Pramate Chandratarat, Wiwat Vatanawood |
Transforming WS-BPEL into Timed Automata. |
ICSEB |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Qiang Hu 0002, Minghua Liu, Zhen Zhao 0006, Junwei Du |
A path detecting method to analyze the interactive compatibility of service processes based on WS-BPEL. |
Concurr. Comput. Pract. Exp. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Chang-Ai Sun, Yan Zhao, Lin Pan, Huai Liu, Tsong Yueh Chen |
Automated Testing of WS-BPEL Service Compositions: A Scenario-Oriented Approach. |
IEEE Trans. Serv. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Saïda Boukhedouma, Zaia Alimazighi |
An Approach Based on Hierarchical Petri Nets for the Verification of Interconnected BPEL Processes. |
Int. J. Inf. Syst. Model. Des. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Chang-Ai Sun, Yufeng Ran, Caiyun Zheng, Huai Liu, Dave Towey, Xiangyu Zhang 0001 |
Fault localisation for WS-BPEL programs based on predicate switching and program slicing. |
J. Syst. Softw. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Longfei Zhu, Qiwen Xu, Huibiao Zhu |
Assertional Reasoning for Concurrent and Communicating BPEL-like Programs. |
FedCSIS (Communication Papers) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Khadidja Salah-Mansour, Youcef Hammal |
ATL Based Refinement of WS-CDL Choreography into BPEL Processes. |
MISC |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Sara Serbout, Mohammed Benattou |
Toward a Constraint Based Test Case Generation of Parallel BPEL Process. |
ICMCS |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Francisco Palomo-Lozano, Antonia Estero-Botaro, Inmaculada Medina-Bulo, Manuel Núñez 0001 |
Test suite minimization for mutation testing of WS-BPEL compositions. |
GECCO |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman |
A Generic Approach for the Verification of Static and Dynamic Behavioral Properties of SCDL/WS-BPEL Service-Component Architectures. |
PDCAT |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Afef Jmal Maâlej, Mariam Lahami, Moez Krichen, Mohamed Jmaïel |
Distributed and Resource-Aware Load Testing of WS-BPEL Compositions. |
ICEIS (2) |
2018 |
DBLP DOI BibTeX RDF |
|