Workflow Refactoring for Maximizing Concurrency and Block-Structuredness

Song, Wei; Jacobsen, Hans‐Arno; Cheung, Shing-Chi; Liu, Hongyu; Ma, Xiaoxing

doi:10.1109/tsc.2018.2867593

Cited by 10 publications

(3 citation statements)

References 42 publications

(108 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…More abstractly, Song et al [2018] propose a workflow refactoring to change the layout of regions of code to maximize concurrency and block-structuredness of applications. Zhang et al [2015] also explore this abstract space, detailing tooling to separate concurrency from the application design.…”

Section: Related Workmentioning

confidence: 99%

Automatic migration from synchronous to asynchronous JavaScript APIs

Gokhale

Turcotte

Tip

2021

Proc. ACM Program. Lang.

View full text Add to dashboard Cite

The JavaScript ecosystem provides equivalent synchronous and asynchronous Application Programming Interfaces (APIs) for many commonly used I/O operations. Synchronous APIs involve straightforward sequential control flow that makes them easy to use and understand, but their "blocking" behavior may result in poor responsiveness or performance. Asynchronous APIs impose a higher syntactic burden that relies on callbacks, promises, and higher-order functions. On the other hand, their nonblocking behavior enables applications to scale better and remain responsive while I/O requests are being processed. While it is generally understood that asynchronous APIs have better performance characteristics, many applications still rely on synchronous APIs. In this paper, we present a refactoring technique for assisting programmers with the migration from synchronous to asynchronous APIs. The technique relies on static analysis to determine where calls to synchronous API functions can be replaced with their asynchronous counterparts, relying on JavaScript's async/await feature to minimize disruption to the source code. Since the static analysis is potentially unsound, the proposed refactorings are presented as suggestions that must be reviewed and confirmed by the programmer. The technique was implemented in a tool named Desynchronizer. In an empirical evaluation on 12 subject applications containing 316 synchronous API calls, Desynchronizer identified 256 of these as candidates for refactoring. Of these candidates, 244 were transformed successfully, and only 12 resulted in behavioral changes. Further inspection of these cases revealed that the majority of these issues can be attributed to unsoundness in the call graph.

show abstract

Section: Related Workmentioning

confidence: 99%

Automatic migration from synchronous to asynchronous JavaScript APIs

Gokhale

Turcotte

Tip

2021

Proc. ACM Program. Lang.

View full text Add to dashboard Cite

show abstract

“…我们构建了轨道交通列控系统运营环境监控、能耗状态感知、评估和预警平台暨演化例证平台, 运用可成长网构软件理论方法优化了系统架构, 并构建了列车运行控制仿真试验系统. 该系统平台以南京地铁机场线、三号线和宁天线节能适应项目开展实例验证分析和优化仿真测试, 通过调节列车在站停靠时间和发车间隔等方式以优化列车运行图, 并调节列车运行速度曲线和追踪距离以优化列车运行等级, 可综合实现节能 5%∼8% 的目标 (目前每条线路电耗标准约 4000 万度) [29] . [30] , 有效保障了轨交列控系统核心模块在安全演化方面的可靠性.…”

Section: 这方面研究探索以轨交列控系统的节能适应和安全演化做应用验证unclassified

Theories and techniques for growing software: paradigm and beyond

Qin

et al. 2020

Sci. Sin.-Inf.

View full text Add to dashboard Cite

With advances in cloud computing and big data technologies, "human-cyber-physical" applications are providing increasingly rich information and robust functionality. This imposes new technical changes on software systems, which are required to make self-adaptation and continuous evolution to meet our increasingly higher expectations. This article explores theories and techniques for growing software to meet the challenges caused by constantly changing environments and external resources. It studies the source of the software growability problem, seeks to define software growability, and develops a paradigm for growing software. It further analyzes the challenges of supporting environmental sensing and self-adaptation, realizing seamless evolution and process optimization, and developing quality evaluation and assurance mechanisms for growing software. It also reports recent technical advances in these areas from the perspective of long-living and continuously-growing software.

show abstract

“…Here, we mainly focus on studying workflow net systems, which can be used to automate, optimize, and manage these business process models. They have become a major way to construct business processes in software systems (IEEE, 1990;Song et al, 2018). Software designers and business analysts may simulate workflows in the same granularity standards but with different extra activities (i.e., activities without correspondences).…”

Section: Introductionmentioning

confidence: 99%

The trace consistency measurement between WFD-net systems

Zhao¹,

Xiang²,

Liu³

2023

Front. Comput. Sci.

View full text Add to dashboard Cite

IntroductionHow to measure the trace consistency between process models in workflow net systems have become a crucial part of process mapping, process integration, and difference testing. Workflow net with data (WFD-net) is an effective language to describe a complete model of a workflow net system. Checking their trace consistency is a significant challenge in service-based software engineering. However, most of the existing research on trace consistency measurement has not taken the data into consideration. Therefore, they cannot accurately calculate the trace consistency degree of two WFD-net systems, especially when data operations and guard functions are complex.MethodsWe explore all traces in two WFD-net systems based on guard analysis and data dependencies.ResultsWe point out that the trace consistency degree is uncertain when the values of guard functions are considered.DiscussionWe conduct experiments to evaluate our method and show its effectiveness.

show abstract

Workflow Refactoring for Maximizing Concurrency and Block-Structuredness

Cited by 10 publications

References 42 publications

Automatic migration from synchronous to asynchronous JavaScript APIs

Automatic migration from synchronous to asynchronous JavaScript APIs

Theories and techniques for growing software: paradigm and beyond

The trace consistency measurement between WFD-net systems

Contact Info

Product

Resources

About