-
题名面向收敛的并发程序执行轨迹静态简化方法
被引量：1
- 1
-
-
作者
常曦
薛建新
张卓
毛晓光
-
机构
上海第二工业大学软件工程系
国防科学技术大学计算机学院
-
出处
《软件学报》
EI
CSCD
北大核心
2017年第5期1107-1117,共11页
-
基金
国家自然科学基金(61502296
61379054
+1 种基金
61672529)
上海市自然科学基金(15ZR1417000)~~
-
文摘
轨迹静态简化技术是在确保与原轨迹等价的前提下,通过随机减少程序执行时线程切换的数量,达到提高程序员调试并发程序效率的目的.然而,轨迹中可减少的线程切换分布往往是不均匀的,因此,随机简化策略难以有效地发现可简化的线程切换.为此,提出了面向收敛的合并算法致力于这个问题.该算法的基本思想是:不断地随机选择一线程执行区间作为中心,在同一线程内,采用面向收敛的合并算法迭代地寻找可与其合并的前置执行区间和后置执行区间.实验结果表明,该方法可以高品质地减少执行轨迹中的线程切换数量,进而有助于程序员快速发现引发错误的线程交错.
-
关键词
并发程序
执行轨迹
轨迹等价
轨迹简化
调试
-
Keywords
concurrency program
execution trace
trace equivalence
trace simplification
debugging
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于流程抽象的协同业务过程符合性验证
- 2
-
-
作者
莫启
向吉祥
汪煜祺
代飞
许小龙
齐连永
-
机构
云南大学软件学院
云南大学云南省软件工程重点实验室
西南林业大学大数据与智能工程学院
南京信息工程大学计算机与软件学院
曲阜师范大学信息科学与工程学院
-
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2021年第9期2542-2555,共14页
-
基金
国家自然科学基金资助项目(61862065)
云南省应用基础研究计划资助项目(2018FB105,202001BB050031,202101AS070007)
+1 种基金
云南省教育厅科学研究基金资助项目(2020J0002)
云南省软件工程重点实验室开放基金资助项目(2020SE401)。
-
文摘
验证协同业务过程与领域约束的符合性是一个关键问题,但现有工作需忽视对内部流程细节的处理,从而导致组织内部流程信息暴露、符合性验证误判及验证效率低下等问题。为此,基于流程抽象提出一种针对协同业务过程与领域约束符合性验证方法。首先,利用标号迁移系统和符合性语言分别描述业务过程及领域约束;然后,基于弱轨迹等价将业务过程中含有的内部流程细节全部移除以得到抽象业务过程,并将其并发组合,得到抽象协同业务过程;最后,在协同业务过程与领域约束是否相符的问题上,利用模型验证技术进行自动验证。将针对协同业务过程符合性验证转化为对抽象协同业务过程符合性验证,从而能够有效地避免暴露组织内部流程信息、确保符合性验证结果的正确性及提高形式验证效率。为了阐述所提方法的有效性,利用实际协同业务过程集进行实验,并从分析效率上对所提方法进行评价。实验结果表明:对比现有工作,在协同业务过程与领域约束的符合性分析上,所提方法更加有效。
-
关键词
协同业务过程
领域约束
符合性
模型检测
弱轨迹等价
-
Keywords
collaborative business processes
domain constraints
compliance
model checking
weak trace equivalence
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
