Static and dynamic process change

W Song, HA Jacobsen - IEEE Transactions on Services …, 2016 - ieeexplore.ieee.org
Approaches for modifying processes both at build time and at run time are commonly
referred to as process change, which play an increasingly important role in the enterprise …

Process discovery from dependence-complete event logs

W Song, HA Jacobsen, C Ye… - IEEE Transactions on …, 2015 - ieeexplore.ieee.org
Process mining, especially process discovery, has been utilized to extract process models
from event logs. One challenge faced by process discovery is to identify concurrency …

An empirical study on data flow bugs in business processes

W Song, C Zhang, HA Jacobsen - IEEE Transactions on Cloud …, 2018 - ieeexplore.ieee.org
An increasing number of service-based business processes are being developed with the
booming of BPaaS (Business Process as a Service) in cloud computing. The profits and …

Dependence-based data-aware process conformance checking

W Song, HA Jacobsen, C Zhang… - IEEE Transactions on …, 2018 - ieeexplore.ieee.org
Data-aware executable processes are an effective and efficient means to build service-
oriented applications. However, since the services involved are loosely-coupled and self …

[PDF][PDF] WS-BPEL 服务可替换性分析

宋巍, 唐金辉, 张功萱, 马晓星 - 中国科学: 信息科学, 2012 - researchgate.net
摘要在开放, 动态, 多变的Internet 环境下, 服务替换是保证面向服务的软件系统持续可信的重要
手段. 现有方法大多在控制流模型层面上进行BPEL 服务的可替换性分析, 而较少考虑BPEL …

Workflow refactoring for maximizing concurrency and block-structuredness

W Song, HA Jacobsen, SC Cheung… - IEEE Transactions on …, 2018 - ieeexplore.ieee.org
In the era of Internet and big data, contemporary workflows become increasingly large in
scale and complex in structure, introducing greater challenges for workflow modeling …

Optimal control based regression test selection for service-oriented workflow applications

H Wang, J Xing, Q Yang, P Wang, X Zhang… - Journal of Systems and …, 2017 - Elsevier
Regression test selection, which is well known as an effective technology to ensure the
quality of modified BPEL applications, is regarded as an optimal control issue. The BPEL …

Instance migration validity for dynamic evolution of data-aware processes

W Song, X Ma, HA Jacobsen - IEEE Transactions on Software …, 2018 - ieeexplore.ieee.org
Likely more than many other software artifacts, business processes constantly evolve to
adapt to ever changing application requirements. To enable dynamic process evolution …

Modification impact analysis based test case prioritization for regression testing of service-oriented workflow applications

H Wang, J Xing, Q Yang, D Han… - 2015 IEEE 39th Annual …, 2015 - ieeexplore.ieee.org
Test case prioritization for regression testing is an approach that schedules test cases to
improve the efficiency of service-oriented workflow application testing. Most of existing …

Generating effective test cases based on satisfiability modulo theory solvers for service‐oriented workflow applications

H Wang, J Xing, Q Yang, W Song… - … Testing, Verification and …, 2016 - Wiley Online Library
Summary Web Service Business Process Execution Language (WS‐BPEL) is one of the
most popular service‐oriented workflow applications. The unique features (eg dead path …