《软件学报》数据驱动的软件智能化开发方法与技术专刊征文通知

合集下载

《软件学报》模板

《软件学报》模板《软件学报》是中国计算机学会和中国科学院计算技术研究所主办的学术性刊物，创刊于1990年。

该杂志主要刊载有关计算机软件方面的研究论文、技术报告、学术论文、综述、评论、进展和动态，以及计算机软件的应用和开发成果。

以下是《软件学报》的模板：标题：XXXX的XXXX算法作者：XXXX单位：XXXX摘要：本文提出了一种XXXX的XXXX算法，旨在解决XXXX问题。

通过实验验证，该算法在XXXX方面表现良好，具有XXXX的优势。

关键词：XXXX；XXXX；XXXX；XXXX一、引言随着计算机技术的不断发展，XXXX问题在各个领域中越来越受到关注。

现有的XXXX算法存在XXXX的缺陷，因此，本文提出了一种新的XXXX算法，旨在解决这些问题。

二、相关工作本文首先介绍了相关领域的研究现状和已有的XXXX算法，并分析了它们的优缺点。

在此基础上，提出了本文的研究问题和主要贡献。

三、方法论本文提出了一种基于XXXX的XXXX算法。

首先介绍了算法的基本思想，然后详细阐述了算法的实现过程。

最后，通过实验验证了算法的有效性和可行性。

四、实验结果与分析本文对提出的XXXX算法进行了实验验证，并与其他算法进行了对比分析。

实验结果表明，该算法在处理大规模数据集时具有较高的效率和准确性。

具体实验结果如下：1. 实验设置：实验采用了XXXX数据集，并将数据集分为训练集和测试集。

实验中采用了不同的参数和数据集大小进行测试。

2. 实验结果：通过对比分析，本文提出的XXXX算法在处理大规模数据集时表现出了较高的效率和准确性。

具体实验结果如下表所示：算法名称准确率召回率 F1值处理时间XXXX算法 % % % 秒本文算法 % % % 秒（注意：这里的“”表示具体的数值）3. 结果分析：通过对比分析，本文提出的XXXX算法在准确率、召回率和F1值等方面均优于其他算法。

同时，该算法处理时间较短，能够满足实际应用的需求。

五、结论与展望本文提出了一种基于XXXX的XXXX算法，并通过实验验证了该算法的有效性和可行性。

数据驱动的软件智能化开发方法与技术专题前言

Ｔｅｌ：＋８６一ｌ０—６２５６２５６３
数据驱动的软件智能化开发方法与技术专题前言
谢冰，魏峻，彭鑫３，４，孙海龙，
（北京大学信息科学技术学院，北京１００８７１）（计算机科学国家重点实验室（中国科学院软件研究所），北京１００１９０）ｆ复旦大学计算机科学技术学院，上海２００４３３）（上海市数据科学重点实验室（复旦大学），上海２００４３３）（软件开发环境国家重点实验室（北京航空航天大学），北京１００１９１）（大数据科学与脑机智能高精尖创新中心（北京航空航天大学），北京１００１９１）通讯作者：谢冰，Ｅ—ｍａｉｌ：ｘｉｅｂｉｎｇ＠ｐｋｕ．ｅｄｕ．ｃｎ
软件开发智能化一直是软件工程追求的目标之一．以开源软件为代表的互联网软件开发呈现出边界开放、群体分散、交付频繁、知识复杂等特征，同时贯穿全生命周期的软件开发活动中积累了快速增长、规模巨大的软件大数据．这为软件智能化开发建立了数据基础，但需要解决基础性的数据采集分析、知识抽取利用问题，并以智能搜索、推荐、问答等方式提升软件开发工具智能化程度，提高软件开发的效率和质量．智能化的软件工具可以基于数据和知识向开发人员提供推荐和智能检索，由此形成“人一工具．数据 ”融合的新一代软件智能化开发技术体系和环境．
件功能特征挖掘组织方法，获取以动宾短语形式描述的软件功能特征并自动生成一种以层次化方式展示的软件项目功能特征文档，从而形成对软件官方文档中功能描述的有益补充．

计算机核心期刊排名

目录1、计算机核心期刊排名 (2)1.1、自动化、计算机部分 (2)1.2、计算机中文核心详细信息 (3)2、计算机核心刊物目录 (10)2.1、计算机类一级学术刊物（14种） (10)2.2、计算机类核心刊物（15种） (11)3、计算机核心期刊投稿指南 (11)4、计算机类期刊投稿心得 (12)5、为您的论文进入美国SCI（转载） (26)5.1、论文进入SCI、Ei等国际检索系统的意义 (26)5.2、国际六大著名检索系统 (27)5.3、美国《科学引文索引》（SCI） (28)5.3.1 SCI来源期刊的两个档次 (28)5.3.2 SCI产品的6种版本 (28)5.3.3 SCI 数据库的分类 (29)3.4 SCI 对稿件内容和学术水平的要求 (30)5.4、美国《工程索引》(Ei) (31)5.4.1 美国《工程索引》简介 (31)5.4.2 Ei把它收录的论文分为两个档次 (31)5.4.3 Ei发展的几个阶段 (31)5.4.4 Ei把收录的期刊分三个档次 (32)5.4.5 Ei 对稿件内容和学术水平的要求 (33)5.5．论文编写格式要符合国家标准、国际标准和SCI、Ei有关规定 (34)5.5.1 基本要求 (34)5.5.2 论文题名 (34)5.5.3 作者姓名的汉语拼音 (34)5.5.4 工作单位 (35)5.5.5 英文摘要 (35)5.5.6 文后参考文献 (36)5.5.7 加注论文来源 (36)5.6．投稿途径 (37)附录A 国际重要检索系统名单 (38)附录B Ei 的标引文摘(Ei Compendex) 和题录（Ei PageOne）示例 (41)附录C 科技论文英文摘要的书写规范化 (43)附录E 美国Ei Compendex（光盘版）收录篇数较多的中国期刊编辑部的通讯地址 (49)1、计算机核心期刊排名1.1、自动化、计算机部分01 计算机学报北京中国计算机学会等02 软件学报北京中国科学院软件研究所03 计算机研究与发展北京中国科学院计算技术研究所等04 自动化学报北京中国科学院等05 计算机科学重庆国家科技部西南信息中心06 控制理论与应用广州中国科学院系统科学研究所等07 计算机辅助设计与图形学学报北京中国计算机学会等08 计算机工程与应用北京华北计算技术研究所09 模式识别与人工智能北京中国自动化学会等10 控制与决策沈阳东北大学11 小型微型计算机系统沈阳中国科学院沈阳计算机技术研究所12 计算机工程上海上海市计算机协会13 计算机应用北京中国科学院计算机应用研究所等14 信息与控制沈阳中国科学院沈阳自动化研究所15 机器人沈阳中国科学院沈阳自动化研究所16 中国图象图形学报 .A版北京中国图象图形学会17 计算机应用研究成都四川省计算机应用研究中心18 系统仿真学报北京航天机电集团北京长峰计算机技术有限公司19 计算机集成制造系统—CIMS 北京国家863计划CIMS主题办公室等20 遥感学报 .北京中国地理学会环境遥感分会，中国科学院遥感应用研究所21 中文信息学报北京中国中文信息学会22 微计算机信息北京中国计算机用户协会，山西协会23 数据采集与处理南京中国电子学会等24 微型机与应用北京信息产业部电子第6研究所25 传感器技术哈尔滨信息产业部电子第49研究所26 传感技术学报南京国家教委全国高校传感技术研究会，东南大学27 计算机工程与设计北京航天工业总公司706所28 计算机应用与软件上海上海计算技术研究所等29 微型计算机重庆科技部西南信息中心30 微电子学与计算机西安中国航天工业总公等1.2、计算机中文核心详细信息计算机类中文核心期刊简介在实际工作中，常有些读者在职称评审、投稿、申报项目时，需要查找计算机类中文权威、核心期刊目录或编辑部地址、联系方式等，现汇编、整理了这份“计算机类中文核心期刊简介”，供参考。

《软件学报》高效能软件及其设计、分析与实现方法专刊征文通知

《软件学报》高效能软件及其设计、分析与实现方法专刊征文
通知
佚名
【期刊名称】《软件学报》
【年(卷),期】2011(22)6
【摘要】在当前绿色云计算的背景下，“软件”将需要在节能减排中发挥或承担独特而重要的作用或角色。

软件是硬件的绿色行为和规格的规范者，在硬件的设计和发展中发挥着日益重大的作用。

从“效能”的角度重新审视软件的开发和运行，不仅需要考虑自身执行的“高效能”，还必须考虑其运行中所依托计算系统的“高效能”。

两者的有效融合，已经对传统基于“开发”效率和“用户友好”的软件开发与设计理念提出了重大的挑战：即必须在软件“开发”和“执行”两者之间寻求新的效能平衡。

目前，很多研究关注如何在硬件之外寻求大规模分布式计算环境下系统效率的提升、能量有效性的提升和系统价格的下降。

本专刊意在进一步促进绿色云计算环境下高效能软件及其相关的编程模型与语言等的设计、分析与实现的技术、理论与实例。

【总页数】1页(PF0004-F0004)
【关键词】软件开发;设计理念;征文通知;分布式计算环境;计算系统;学报;能量有效性;节能减排
【正文语种】中文
【中图分类】TP311.52
【相关文献】
1.面向高效能的软件及其设计、分析与实现方法专刊前言 [J], 孙毓忠;臧斌宇
2.《软件学报》嵌入式系统软件设计方法与技术专刊征文通知 [J],
3.《软件学报》嵌入式系统软件设计方法与技术专刊征文通知 [J],
4.《软件学报》高效能软件及其设计、分析与实现方法专刊征文通知 [J],
5.《软件学报》高效能软件及其设计、分析与实现方法专2011，22，007征文通知 [J],
因版权原因，仅展示原文概要，查看原文内容请购买。

计算机类期刊投稿心得新版

计算机类期刊投稿心得新版[日期：2009-11-10] 来源：作者：[字体：大中小] /show.aspx?id=3341&cid=91在参考别人的投稿心得的基础上，我结合自己的实践修改了下。

《软件学报》《计算机学报》《计算机研究与发展》为计算机类三大权威刊物，在上面发文章，确实需要一定的研究水平和知名度，因此该三本不予评论。

1、【杂志名称】计算机应用研究【杂志文章包含专业】建模，仿真，网络，人工智能，比较杂。

【投稿联系方式】/注册在线投稿审稿【投稿费用】250元/页【杂志级别】国家一级期刊，全国中文核心期刊【稿酬回报】无【投稿感受】增刊录用率始终保持在100%，想上增刊，交钱就行（250元/页），正刊录用与否与文章质量关系不太密切，有基金可能好点。

无审稿费，1~2月就知道结果了！不过该刊物许多高校不认可，不承认它是核心期刊，一般无课题或者非知名人士都是增刊。

版面费很贵。

2、【杂志名称】系统仿真学报【杂志文章包含专业】建模，仿真，计算机技术，网络，评估等。

内容较杂。

【投稿联系绞健?/font >【投稿费用】版面费1200元左右，审稿费150元(中文)。

【杂志级别】中文核心期刊，EI统计源期刊。

【稿酬回报】有，但不多，百十来元吧。

【投稿感受】录用率不高20％左右，审稿周期2个月，发表周期1.3年左右。

编辑态度较好。

论文要求仿真结果。

【其他】2005年，论文被EI检索率90％以上。

3、【杂志名称】《小型微型计算机系统》【杂志文章包含专业】发表我国计算机领域的科学研究、工程设计及应用、高等教育等方面的学术论文，并介绍国外先进计算机理论和技术。

主要栏目有计算机硬件、软件、网络、多媒体等技术的研究、开发、应用。

【投稿联系方式】xwjxt@【投稿费用】审稿费100元，版面费1000左右【杂志级别】核心期刊，EI检索。

【稿酬回报】有【投稿感受】先投打印稿投送，初审通过再投电子稿。

审稿2～3个月，录用率为20％左右，难度中。

《软件学报》大数据理论、方法和技术专刊征文通知

Ｖｏ１．２４Ｎｏ．８Ａｕｇｕｓｔ２０１３
２０１３年８月
《软件学报》编辑部
（北京８７１８信箱邮编１００１９０）
电话：０１０．６２５６２５６３
ＥｄｉｔｅｄｂｙＥｄｉｔｏｒｉａｌＢｏａｒｄｏｆＪｏｕｒｎａｌｏｆＳｏｆｔｗａｒｅ
ＮｅｗｓｐａｐｅｒｓａｎｄＪｏｕｎａｒｌｓＤｏｍｅｓｔｉｃａｌｌｙＤｉｓｔｒｉｂｕｔｅｄｂｙＡ１ｌＬｏｃａｌＰｏｓｔＯｆｉｃｆｅｓｉｎＣｈｉｎａＯｖｅｒｓｅａｓＤｉｓｔｒｉｂｕｔｅｄｂｙＣｈｉｎａＩｎｔｅｎａｒｔｉｏｎａｌＢｏｏｋＴｒａｄｉｎｇ
Ｅ－ｍａｉｌ：ｊｏｓ＠ｉｓｃａｓ．ａｃ．ｃｎｈｔｔｐ：／／ｗｗｗ．ｊｏｓ．ｏｒｇ．ｃｎ
（ＰＯ．Ｂｏｘ８７１８，Ｂｅｉｊｉｎｇ１００１９０，Ｐ．Ｒ．Ｃｈｉｎａ）Ｅ－ｍａｉｌ：ｊＯＳ＠ｉｓｃａｓ．ａｃ．ｃａｈｔｔｐ：／／ｗｗｗ．ｊｏｓ．ｏｒｇ．ｃｎ
印刷总发行处订购处国外总发行
北京北林印刷厂北京报刊发行局全国各地邮局中国国际图书贸易总公司
ｆ北京３９９信箱邮编１０００４４）

自然语言数据驱动的智能化软件安全评估方法

摘要：软件安全性是衡量软件是否能够抵御恶意攻击的重要性质．在当前互联网环境下，黑客攻击无处不在，因而估计软件中可能含有的漏洞数量与类型，即对软件进行安全评估，变得十分必要．在实际中，用户不仅需要对未发布或者最新发布的软件实施安全性评估，对已发布软件也会有一定的安全评估需求，例如，当用户需要从市场上互为竞争的多款软件中做出选择，就会希望能够花费较低成本、较为客观地对这些软件进行第三方的评估与比较．提出了一种由自然语言数据驱动的智能化软件安全评估方法来满足这一要求．该方法基于待评估软件现有用户的使用经验信息来评估软件的安全性．它首先自适应地爬取用户在软件使用过程中对软件的自然语言评价数据，并利用深度学习方法与机器学习评估模型的双重训练来获得软件的安全性评估指标．由于所提出的自适应爬虫能够在反馈中调整特征词，并结合搜索引擎来获得异构数据，因而可通过采集广泛的自然语言数据来进行安全评估．另外，使用一对多的机器翻译训练能够有效地解决将自然语言数据转换为语义编码的问题，使得用于安全评估的机器学习模型可以建立在自然语言的语义特征基础上．在国际通用漏洞披露数据库（ＣＶＥ）和美国国家漏洞数据库（ＮＶＤ）＿Ｅ对该方法进行了实验，结果表明，该方法在评估软件漏洞数量、漏洞类型以及漏洞严重程度等指标上十分有效．关键词：软件安全评估；自然语言处理；机器学习；网络爬虫中图法分类号ｒａｌＬａｎｇｕａｇｅＤａｔａＤｒｉｖｅｎＡｐｐｒｏａｃｈｆｏｒＳｏｆｔｗａｒｅＩｎｔｅｌｌｉｇｅｎｔＳａｆｅｔｙＥｖａｌｕａｔｉｏｎ

《软件学报》软件形式化方法与应用专刊征文通知

ＮｅｗｓｐａｐｅｒｓａｎｄＪｏｕｒｎａｌｓ
Hale Waihona Puke 总发行处北京报刊发行局订购处全国各地邮局国外总发行中国国际图书贸易总公司
（北京３９９信箱邮编１０００４４）
ＤｏｍｅｓｔｉｃａｌｌｙＤｉｓｔｒｉｂｕｔｅｄｂｙＡｌ１ＬｏｃａｌＰｏｓｔＯｆｉｃｆｅｓｉｎＣｈｉｎａ０ｖｅｒｓｅａｓＤｉｓｔｒｉｂｕｔｅｄｂｙＣｈｉｎａＩｎｔｅｒｎａｔｉｏｎａｌＢｏｏｋＴｒａｄｉｎｇ
印
刷北京北林印刷厂
ＰｒｉｎｔｅｄｂｙＢｅｉｊｉｎｇＢｅｉＬｉｎＰｒｉｎｔｉｎｇＨｏｕｓｅ
ＧｅｎｅｒａｌｌｙＤｉｓｔｒｉｂｕｔｅｄｂｙＢｅｉｊｉｎｇＢｕｒｅａｕｆｏｒＤｉｓｔｒｉｂｕｔｉｏｎｏｆ
９６８５７Ｘ
《软件学报》软件形式化方法与应用专刊
征文通知
２０１５２６，００６
，
形式化方法起步于对程序理论和语义的研究，历经５０多年的发展，成为了计算机科学中的重要领域．它使用严格的数学方法，研究并发展软、硬件系统的建模、设计、开发、验证与演化等技术，为计算系统的正确性和可靠性提供了重要途径．

计算机学科一级刊物与核心刊物

2. 计算机科学
3. 小型微型计算机系统-
4. 微电子学与计算机
5. 计算机工程
6. 电子计算机外部设备
7. 计算机工程与应用
8. 微型计算机
9. 计算机应用与软件
10. 计算机工程与设计
11. 计算机仿真
12. 计算机集成制造系统
13. 中国科学院研究生院学报
/periodical/
12．《计算机应用研究》（月刊） ISTIC收录
主办单位：四川省电子计算机应用研究中心
地址：成都市人民南路4段11号附1号《计算机应用研究》杂志社邮编 610041
6．《模试识别与人工智能》（季刊） ISTIC收录
主办单位：中国自动化学会, 国家智能计算机研究开发中心
地址：合肥1130信箱中国科学院合肥智能机械研究所,
《模式识别与人工智能》编辑部 , 邮编230031,
E-mail:bjb@
15．《计算机应用》（月刊） ISTIC收录
主办单位：中科院成都计算机应用研究所, 四川省计算机学会
地址：成都市人民南路四段九号成都237信箱《计算机应用》编辑部邮编610041
E-mail:bjb@
7．《小型微型计算机系统》（月刊） ISTIC收录
主办单位：中科院沈阳计算技术研究所
地址：沈阳市和平区三好街100号中科院沈阳计算技术研究所
《小型微型计算机系统》编辑部邮编 110004
E-mail:xwjxt@, http://www.
14. 高技术通讯
15. 计算机应用研究
三、基础数学专业核心刊物（8种）
1．软件学报

软件学报(Ruanjian Xuebao)

国家自然科学基金重点学术期刊专项基金中国科学院科学出版基金资助出版中国科协精品科技期刊工程项目资助期刊中国精品科技期刊中国计算机学会会刊软件学报(Ruanjian Xuebao)第20卷第3期2009年3月目次理论计算机科学描述逻辑εLN循环术语集的不动点语义及推理··············· 蒋运承王驹史忠植汤庸(477) 描述逻辑µALCQO的语义及推理··································· 蒋运承王驹汤庸邓培民(491) Petri网的步问题研究········································ 潘理赵卫东王志成周新民柳先辉(505) 逻辑系统NMG的满足性和紧致性····························································· 周红军王国俊(515) 系统软件与软件工程软件过程建模方法研究································································· 李明树杨秋松翟健(524) 随机QoS感知的可靠Web服务组合································· 范小芹蒋昌俊王俊丽庞善臣(546) 一种用于软件过程建模的适应性Agent协商······ 黎巎李明树王青赵琛杜栓柱(557) 基础软件平台质量评估······································ 兰雨晴赵同高静接卉金茂忠(567) 基于模糊多属性决策理论的语义Web服务组合算法······················· 李祯杨放春苏森(583) 重构C++程序物理设计(英文) ······································· 周天琳史亮徐宝文周毓明(597) 计算机网络与信息安全QoS区分的自适应p-Persistent MAC算法对信道利用率的动态优化··············································· ········································································ 白翔毛玉明甦冷鹏毛建兵谢军(608) 防范前缀劫持的互联网注册机制··················································· 刘欣朱培栋彭宇行(620) 基于自适应随机行走的可扩展无偏抽样方法··································· 符永铨王意洁周婧(630) 公平的有向传感器网络方向优化和节点调度算法···························· 温俊蒋杰窦文华(644) 一种结构化P2P协议中的自适应负载均衡方法················ 熊伟谢冬青焦炳旺刘洁(660) 面向智能空间的位置感知方法研究··································· 明亮赵刚谢桂海王春雷(671) 一种基于分组密码的hash函数(英文) ············································ 林品吴文玲武传坤(682) 可证安全的无证书代理签名方案(英文) ········································· 陈虎张福泰宋如顺(692) 计算机图形学与计算机辅助设计秋季植物叶子表观的模拟································· 迟小羽盛斌杨猛陈彦云吴恩华(702) 支持外观属性保持的三维网格模型简化·········································· 卢威曾定浩潘金贵(713) 基于特征点的三维人脸形变模型·································································· 龚勋王国胤(724) 基于概率模型的高动态范围图像色调映射·········· 宋明黎王慧琼陈纯叶秀清顾伟康(734) 操作系统477~778一种基于补偿代价的长事务调度算法············································· 朱锐郭长国王怀民(744) 一种细粒度高效多版本文件系统···················································· 向小佳舒继武郑纬民(754) 集群软件无线电系统中实时信号处理调度研究············································· 朱晓敏陆佩忠(766) 《软件学报》投稿指南 ···································································································································································· (封三)期刊基本参数:CN11-2560/TP*1990*m*16*302*zh+en*P*¥36*2009*25*2009-03Journal of Software V ol.20, No.3 Mar. 2009ContentsTHEORETOCAL COMPUTER SCIENCE477 Fixpoint Semantics and Reasoning of Terminological Cycles in Description Logic εLNJIANG Yun-Cheng, WANG Ju, SHI Zhong-Zhi, TANG Yong491 Semantics and Reasoning of Description Logic µALCQOJIANG Yun-Cheng, WANG Ju, TANG Yong, DENG Pei-Min505 On the Step Problem for Petri NetsPAN Li, ZHAO Wei-Dong, WANG Zhi-Cheng, ZHOU Xin-Min, LIU Xian-Hui515 Satisfiability and Compactness of NMG-Logic SystemZHOU Hong-Jun, WANG Guo-JunSYSTEM SOFTWARE AND SOFTWARE ENGINEERING524 Systematic Review of Software Process Modeling and AnalysisLI Ming-Shu, YANG Qiu-Song, ZHAI Jian546 Random-QoS-Aware Reliable Web Service CompositionFAN Xiao-Qin, JIANG Chang-Jun, WANG Jun-Li, PANG Shan-Chen557 Adaptive Agent Negotiation for Software Process ModelingLI Nao, LI Ming-Shu, WANG Qing, ZHAO Chen, DU Shuan-Zhu567 Quality Evaluation of Foundational Software PlatformLAN Yu-Qing, ZHAO Tong, GAO Jing, JIE Hui, JIN Mao-Zhong583 Fuzzy Multi-Attribute Decision Making-Based Algorithm for Semantic Web Service Composition LI Zhen, YANG Fang-Chun, SU Sen597 Refactoring C++ Programs PhysicallyZHOU Tian-Lin, SHI Liang, XU Bao-Wen, ZHOU Yu-MingCOMPUTER NETWORKS AND INFORMATION SECURITY608 QoS Differentiation Based Adaptive p-Persistent MAC Scheme for Dynamic Optimization of the Channel UtilizationBAI Xiang, MAO Yu-Ming, LENG Su-Peng, MAO Jian-Bing, XIE Jun620 Internet Registry Mechanism for Preventing Prefix HijacksLIU Xin, ZHU Pei-Dong, PENG Yu-Xing630 A Scalable Unbiased Sampling Method Based on Multi-Peer Adaptive Random WalkFU Yong-Quan, WANG Yi-Jie, ZHOU Jing644 Equitable Direction Optimizing and Node Scheduling for Coverage in Directional Sensor Networks WEN Jun, JIANG Jie, DOU Wen-Hua660 Self-Adaptive Load Balancing Method in Structured P2P ProtocolXIONG Wei, XIE Dong-Qing, JIAO Bing-Wang, LIU Jie671 Research on Smart Space Oriented Location Awareness MethodMING Liang, ZHAO Gang, XIE Gui-Hai, WANG Chun-Lei682 Hash Functions Based on Block CiphersLIN Pin, WU Wen-Ling, WU Chuan-Kun692 Certificateless Proxy Signature Scheme with Provable SecurityCHEN Hu, ZHANG Fu-Tai, SONG Ru-ShunCOMPUTER GRAPHICS AND COMPUTER AIDED DESIGN702 Simulation of Autumn LeavesCHI Xiao-Yu, SHENG Bin, YANG Meng, CHEN Yan-Yun, WU En-Hua713 Mesh Simplification for 3D Models with Feature-PreservingLU Wei, ZENG Ding-Hao, PAN Jin-Gui724 3D Face Deformable Model Based on Feature PointsGONG Xun, WANG Guo-Yin734 Tone Mapping for High Dynamic Range Image Using a Probabilistic ModelSONG Ming-Li, WANG Hui-Qiong, CHEN Chun, YE Xiu-Qing, GU Wei-KangOPERATING SYSTEM744 A Scheduling Algorithm for Long Duration Transaction Based on Cost of CompensationZHU Rui, GUO Chang-Guo, WANG Huai-Min754 An Efficient Fine Granularity Multi-Version File SystemXIANG Xiao-Jia, SHU Ji-Wu, ZHENG Wei-Min766 Scheduling of Real-Time Signal Processing in Cluster-Based Software Radio SystemsZHU Xiao-Min, LU Pei-Zhong©Copyright 2009, Institute of Software, the Chinese Academy of Sciences. All rights reserved. No part of this publication may be reproduced, stored in a retrieval system or transmitted in any form without the prior written permission of the Institute of Software, the Chinese Academy of Sciences.。

软件学报

V ol.14, No.3 ©2003 Journal of Software 软件学报 1000-9825/2003/14(03)0369 基于混合粒度冲突检测的事务工作流调度算法∗丁柯+, 魏峻, 冯玉琳(中国科学院软件研究所计算机科学重点实验室,北京 100080)(中国科学院软件研究所软件工程技术中心,北京 100080) A Scheduling Protocol for Transactional Workflows Based on Mix-Grained Conflict DetectionDING Ke +, WEI Jun, FENG Yu-Lin(Key Laboratory for Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100080, China) (Software Engineering Technology Center, Institute of Software, The Chinese Academy of Sciences, Beijing 100080, China) + Corresponding author: Phn: 86-10-62630989 ext 203, E-mail: dingke@; dingke@Received 2002-01-15; Accepted 2002-05-13Ding K, Wei J, Feng YL. A scheduling protocol for transactional workflows based on mix-grained conflict detection. Journal of Software , 2003,14(3):369~375.Abstract : A transactional workflow is composed of traditional flat transactions, and its execution has relaxed transactional atomicity. Due to different termination characteristics of transactions, only one workflow is allowed to execute non-compensatable transactions with current scheduling protocols. In this paper, two granularities of conflict based on transaction classes and transaction instances are defined, and a scheduling protocol by using both granularities of conflict detection is proposed. Besides generating serializable and recoverable schedules, this method provides a higher degree of concurrency in following two ways. On the one hand, the fine-grained locking mechanism based on transaction instances is used to reduce conflict possibility among concurrent workflows. On the other hand, the coarse-grained conflict mechanism based on transaction classes is used to predict future conflict among workflows, multiple workflows are therefore allowed to execute non-compensatable transactions if they will not conflict in predicated future execution.Key words : transactional workflow; concurrency control; recovery; scheduling protocol; locking granularity摘要: 事务工作流由若干个平面事务组成,其执行满足松弛原子性.由于组成事务工作流的平面事务具有不同的完成特性,为了防止不可串行化的执行,现有的调度算法通常只允许一个活动工作流执行不可补偿事务,这大大限制了并发度.定义了基于事务类型和事务实例两种粒度的冲突关系,并提出了一种基于这两种粒度冲突检测的调度算法,保证了并发事务工作流的可串行化和可恢复执行.该算法从两个方面提高了并发度:一方面通∗ Supported by the National Natural Science Foundation of China under Grant No.69833030 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant Nos.2001AA113010, 2001AA414020 (国家高技术研究发展计划); the National High Technology Development 973 Program of China under Grant No.G1999035807 (国家重点基础研究发展规划(973))第一作者简介: 丁柯(1975－),男,江西南昌人,博士生,主要研究领域为分布式计算,分布事务处理技术.370 Journal of Software软件学报2003,14(3)过事务实例之间(细粒度)的冲突检测减少了工作流冲突的概率;另一方面通过事务类型之间(粗粒度)的冲突预测,允许多个将来不冲突的工作流执行不可补偿事务.关键词:事务工作流;并发控制;恢复;调度算法;锁粒度中图法分类号: TP311 文献标识码: A工作流是由若干个相互关联的任务组成的过程,它是通过计算机软件进行定义、执行并监控的业务过程[1].为了使计算机能够支持业务过程,就要分析业务过程,抽象出业务过程的本质特征,并使用一种计算机可处理的方式表示,其结果称为过程模型.某些应用领域的业务过程计算机自动化往往要求其中的某一个工作流作为一个整体要么正确提交,要么回滚结束,也就是说,工作流具有事务特性.于是提出了事务工作流(transactional workflow)的概念[2],即一个事务工作流的执行将系统从一个一致性状态转换到另一个一致性状态.事务工作流由平面事务组合形成,其执行满足松弛原子性(relaxed atomicity)[3].由于某些平面事务不具有可补偿性(compensatability),因此一旦执行了这种平面事务,事务工作流将不能全局回滚.如果两个并发的事务工作流均执行了不可补偿的事务,并在随后的执行中产生循环冲突(详见本文第2.1节),那么系统就不能保证可串行化的调度,并且也不能回滚这两个事务.为了避免这种情况的发生,现有的调度算法只允许最多一个事务工作流执行不可补偿事务,因而极大地影响了并发度[4].本文利用两种不同粒度的冲突检测机制来解决循环冲突问题,并进一步提高工作流执行的并发度.一方面,我们利用事务实例之间细粒度的冲突检测来减少工作流之间的冲突;另一方面,通过预测事务工作流将要执行的事务类型集合,并利用事务类型之间粗粒度的冲突检测来判断两个工作流是否会在将来发生冲突.本文第1节给出事务工作流模型,定义了在事务类型和事务实例上两种粒度的冲突关系,并形式化地定义了工作流的结构和执行.第2节首先分析循环冲突问题,然后提出基于混合粒度冲突检测的事务工作流调度算法.第3节是本文工作和其他相关工作的比较.最后是小结.1 事务工作流模型我们考虑的事务工作流采用两层系统模型,这两个层次分别解决业务过程需求中的不同问题.系统的底层提供具有严格ACID特性的平面事务,这些平面事务之间相互隔离.系统的高层提供具有松弛事务特性的事务工作流.对这些事务工作流而言,平面事务是黑盒方式的基本构造块[3].事务工作流具有松弛事务特性,这是因为它放松了ACID平面事务的隔离性和原子性.由于业务过程之间需要协作,因此每个平面事务的执行效果在它提交后就对其他事务工作流可见,而无须等到工作流结束以后.工作流的回滚则根据应用语义,通过补偿事务(compensation transaction)来消除已提交事务的更新.1.1 事务类型和事务实例事务工作流的基本活动是事务.事务通常由一组操作组成,这些操作的组合模式实际代表了某种事务类型,而事务类型的某次具体执行则被称为一个事务实例.事务实例由事务类型和具体的输入参数组成.设T是一个事务类型,t(a1,...,a r)是T的一个实例,其中a1,…,a r是输入参数.在不产生歧义的情况下,事务实例t(a1,...,a r)可简写成t.设T*={t1,t2,t3,…}是所有事务实例组成的集合.下面我们给出事务的可补偿性和可重复性的严格定义.定义1. 设σ=〈t1t2t3…t k〉是一个事务序列,其中t i∈T*.如果对T*上的所有事务序列α和β,串连的事务序列〈ασβ〉和〈αβ〉的执行效果相同,那么称事务序列σ是无影响的(effect-free).定义2. 对事务类型T的任何实例t(a1,...,a r)∈ T*,如果存在另一个事务类型T−1和它的实例t−1(a1,…,a r)∈T*,使得事务序列σ=〈t t−1〉是无影响的,则称T−1是T的补偿事务类型,并称T是可补偿的(compensatable);否则称T 是不可补偿的.为了能够形式化地定义可重复事务,我们用t(n)来表示事务t的第n次执行.定义3. 对事务类型T的任何实例t∈T*,如果存在一个正整数m∈N,即使对所有的1≤j<m,t(j)都被放弃,t(m)仍能确保提交,则T是可重复的(retriable).丁柯等:基于混合粒度冲突检测的事务工作流调度算法 371为了保证事务的可补偿性,任何补偿事务类型T −1必须是可重复的.如果事务类型T 是可补偿的/可重复的,我们称其事务实例也是可补偿的/可重复的.1.2 事务工作流的结构基本活动通过若干控制结构可组合成复合活动.事务工作流本身就是一个复合活动.事务工作流使用的控制结构包括顺序、并行、条件、优先和循环结构:A =T |(A 1→A 2)|(A 1║A 2)|(A 1▷A 2)|(cond ?A 1:A 2)|(cond [A 1]),其中T 是基本活动,即事务类型,A ,A 1和A 2是(复合)活动,cond 是条件谓词.A 1→A 2表示顺序结构,首先执行A 1然后再执行A 2.A 1║A 2表示并行结构,两个并行分支分别执行A 1和A 2.A 1▷A 2表示优先结构,它提供了一种向前恢复机制,在执行过程中总是试图先执行A 1,若A 1执行失败,则执行A 2,进行向前恢复.条件结构(cond ?A 1:A 2)由一个条件谓词cond 和两个互斥执行分支组成,当cond 为真时执行A 1,否则执行A 2.循环结构(cond [A 1])表示当条件谓词cond 为真时,反复执行循环体A 1.下面是一个事务工作流结构表达式的例子,其对应的图示如图1所示.图1 一个事务工作流的例子例1:(cond 1?T A :T B )→((T C ║T D )▷T E )→(cond 2[T F →T G ]).1.3 事务工作流的执行和调度事务工作流的执行是按照事务工作流的结构定义,依次执行其中的事务直至结束.事务工作流的执行也称为事务工作流的一个实例.定义4. 事务工作流的执行是一个二元组P i =(T i ,ϕi ),其中T i ⊆T *是一个事务实例集合,≪i 是定义在T i 上的偏序关系≪i ⊆T i ×T i ,表示事务的执行次序:t 1≪i t 2当且仅当t 1在t 2之前执行.在不引起歧义的情况下,事务工作流和事务工作流的执行在下文代表同一含义.我们分别用a i 和c i 来标记事务工作流P i 的放弃和提交.定义5. 两个事务实例t i ,t j ∈T *,如果对T *上的任意事务序列α和β,都有事务序列〈α t i t j β〉的执行效果和〈α t j t i β〉的执行效果相同,那么事务实例t i 和t j 是可交换的;否则称这两个事务实例是不可交换的或者冲突的,记作t i conf t j .若事务t i 和t j 是冲突的,那么对任何α,β∈{−1,1}的组合,均有t i α conf t j β.类似地,如果事务t i 和t j 是可交换的,那么对任何α,β∈{−1,1}的组合,t i α和t j β均可交换.定义6. 两个事务类型T i 和T j ,如果存在T i 的实例t i 和T j 的实例t j ,有t i conf t j ,那么事务类型T i 和T j 是冲突的,记作T i conf T j .如果两个事务类型T i 和T j 的任何实例都不冲突,那么称T i 和T j 不冲突.至此,我们分别基于事务类型和事务实例定义了两种粒度的冲突关系.定义7. 事务工作流的调度S 是一个三元组(P S ,T S ,≪S ),其中P S ={P 1,…,P n }是一个事务工作流执行的集合,其中T S ⊆T *是P S 中工作流执行的事务实例集合,≪S 是定义在T S 上的偏序关系,有≪S⊆T S ×T S .偏序≪S 满足下面两个条件:(1) ∀P i :≪i ⊆≪S ,并且(2) ∀(t i ∈P i ,t j ∈P j ),i ≠j ,且t i conf t j ,那么或者t i ≪S t j 或者t j ≪S t i .1.4 可串行化和可恢复调度定义8. 如果下面条件成立,则事务工作流的调度S 和S ′是等价的:(1) S 和S ′定义在同样的事务工作流集合上,即P S =P S ′且T S =T S ′;372 Journal of Software 软件学报 2003,14(3)(2) S 和S ′对冲突事务的偏序是一致的,即如果t i 和t j 是调度S 中的冲突事务,且t i ≪S t j ,则有t i ≪S ′ t j .定义9. 如果事务工作流的调度S 等价于某个串行的调度S ′,则称S 是可串行化的.定义10. 设t i 是事务工作流的执行P i =(T i ,≪i )的一个可补偿事务,即t i ∈T i ,不可补偿事务t i *被称为t i 的下一个不可返回点(next-point-of-no-return),如果t i ≪i t i *,并且不存在不可补偿事务t i ′使得t i ≪i t i ′≪i t i *成立;若不存在这样的事务,则c i 是t i 的下一个不可返回点.定义11. 如果对调度S 中的任何两个冲突事务t i ∈P i 和t j ∈P j ,t i 是可补偿事务且t i ≪S t j ,若下面条件成立,则S 是可恢复的:(1) t i −1≪S t j 或者t i *≪S t j ,其中t i *是t i 的下一个不可返回点事务;(2) 如果t j 是可补偿的并且t j *∈S ,那么必然有t i *≪S t j *,其中t j *是t j 的下一个不可返回点事务;(3) 如果t j 是不可补偿的,那么必然有t i *≪S t j .直观上来说,如果t i conf t j 且t i ≪S t j ,那么P j 的执行效果受P i 影响.可恢复调度要求一个事务工作流必须在影响它的其他事务工作流提交之后才能提交.一旦某个事务工作流执行了不可补偿事务,那么它就进入完成状态,它之前的补偿操作t 不能再被补偿,因此与t 冲突的事务也不能再被补偿.2 事务工作流的调度算法2.1 循环冲突问题如果允许两个不同事务工作流都执行不可补偿事务,那么可能产生不可串行化的调度.假设t i 1,t i ∈P i 和t j 1,t j ∈P j ,t i 和t j 是不可补偿事务,在调度S 中有t i 1≪S t i 和t j 1≪S t j .如果t i 2和t j 2分别是P i 和P j 接下去要执行的事务(即t i ≪i t i 2和t j ≪j t j 2),并且t i 1 conf t j 2和t j 1 conf t i 2,那么就出现了一个循环冲突(如图2所示,其中箭头表示事务的执行次序,虚线表示事务冲突),S 将不能满足可串行化,并且也不能恢复.正是由于这个问题,为了避免最坏情况的发生,目前的解决方法是一次只让一个事务工作流进入完成状态[4]. j 2j j 1t i t i t i Fig.2 The cyclic conflict problem 图2 循环冲突问题2.2 基于混合粒度冲突检测的调度循环冲突问题出现的主要原因是不能预测工作流将来的执行情况,因此只能采用最保守的方法来避免循环冲突的发生.解决该问题的有效方法是预测事务工作流将来的执行情况.如果两个工作流将来不会发生冲突,那么它们可以安全地执行不可补偿事务,这也是我们开发的调度算法的基本出发点.2.2.1 事务实例锁和后继事务类型集每当执行某个事务实例时,工作流必须首先获取一个实例锁.事务实例t 的实例锁用lt 表示.如果事务实例t i 和t j 冲突,那么我们称实例锁lt i 和lt j 冲突,同样记作lt i conf lt j .在事务工作流P i 的执行过程中,始终维护两个集合:事务实例锁集LS i 和后继事务类型集FS i ,其中LS i 用来记录目前P i 获取的所有事务实例锁,FS i 表示P i 将要执行的事务类型集.随着事务工作流P i 的执行,LS i 不断变大,而FS i 不断变小.当P i 准备提交时,FS i ＝∅.根据事务实例锁集和后继事务类型集,我们可以判断两个工作流是否会在将来产生冲突.工作流P i 和P j 将来不冲突的充分条件是:(1) P i 已执行的事务类型与P j 将要执行的事务类型不冲突;(2) P j 已执行的事务类型与P i 将要执行的事务类型不冲突;(3) P i 将要执行的事务类型和P j 将要执行的事务类型不冲突.因此有下面的引理1.引理1. 事务工作流P i 和P j 在将来不产生冲突的充分条件是:∀lt i ∈LS i ,T j ∈FS j :¬(T i conf T j ),其中T i 是t i 的事务类型;并且(1) (2) (3) ∀lt j ∈LS j ,T i ∈FS i :¬(T i conf T j ),其中T j 是t j 的事务类型;并且∀T i ∈FS i ,T j ∈FS j :¬(T i conf T j ).为了实现事务实例之间的冲突检测,系统按照事务类型来组织冲突矩阵CON ,其中每个CON (i ,j )存放了一丁柯等:基于混合粒度冲突检测的事务工作流调度算法 373 个返回值为布尔值的冲突检测函数conflict ij (a 1,...,a r ,b 1,...,b s ),用来判断事务类型T i 的实例t i (a 1,...,a r )和事务类型T j 的实例t j (b 1,...,b s )是否冲突.例如对银行帐户的存款事务deposit (account 1,amount 1)和取款事务withdraw (account 2,amount 2)而言,它们的冲突函数conflict (account 1,amount 1,account 2,amount 2)判断两者访问的帐户是否相同,如果相同,则返回TRUE 表示实例冲突,否则返回FALSE 表示不冲突.另外,如果两个事务类型T i 和T j 相互不冲突,那么CON (i ,j )存放常量FALSE;如果T i 和T j 的所有实例都相互冲突,那么CON (i ,j )存放常量TRUE.对引理1而言,当CON (i ,j )存放常量FALSE 时,¬(T i conf T j )取真值.2.2.2 后继事务类型集的构造在每执行一个事务实例之后,事务工作流的后继事务类型集就需要更新.本节给出后继事务类型集的计算方法.后继事务类型集的计算通过对事务工作流的结构进行分析而完成. CS ={T C ,T D ,T E }FS ={T F ,T G } CS ={T F ,T G } FS ={ } CS ={T C ,T D }FS ={T F ,T G }→{T F ,T G }CS ={T F ,T G } FS ={T F ,T G } CS ={T A ,T B }FS ={T C ,T D ,T E ,T F ,T G }CS ={T C ,T D ,T E ,T F ,T G } FS ={ } CS ={T A ,T B ,T C ,T D ,T E ,T F ,T G } FS ={ } T D T C T E ║{T C ,T D ,T E ,T F ,T G } {T C ,T D ,T E ,T F ,T G } T B T G ?T F → [ ] ▷→T A 事务工作流的结构可以用一个树来表示,例如第1.2节中的例1可以用图3来表示.树的叶结点是事务类型,其他结点代表各种控制结构.每个结点有两个属性:CS 和FS .CS 表示以该结点为根的子树中包含的所有事务类型集,FS 表示执行完该结点为根的子树后还要执行的事务类型集.那么,叶结点的FS 就是我们关心的后继事务类型集.CS 集合的构造通过后序遍历树即可获得:任何一个结点的CS 是其子结点CS 的并集;而叶结点的CS 是它本身.而FS 通过先序遍历树获取.树根结点的FS 为空集,其他结点的FS 通过表1中的计算规则得出(其中parent 表示父结点,left 和right 分别表示它的左边子结点和右边子结点.另外,循环结构只有一个子结点).图3表示了每个结点的CS 和FS 集,其中叶结点只列出FS 集.例如,当工作流执行完事务T D 后,它的FS ={T F ,T G ,T C }.{T F ,T G } {T F ,T G } {T F ,T G ,T D }{T F ,T G ,T C }Fig.3 Construction of FS 图3 FS 的构造Table 1 The computation rule of FS表1 FS 的计算规则Flow control constructConstruction of FS Sequential constructleft.FS =right.CS ∪parent.FS ; right.FS =parent.FS Conditional constructleft.FS =right.FS =parent.FS Contingency constructleft.FS =right.FS =parent.FS Parallel constructleft.FS =right.CS ∪parent.FS ; right.FS =left.CS ∪parent.FS Iterative construct left.FS =parent.CS ∪parent.FS2.2.3 调度算法每个新运行的工作流P i 都被附上一个单调递升的时间戳ts (P i ).系统为每个工作流P i 维护事务实例锁集LS i 和后继事务类型集FS i ,并将所有活动的事务工作流动态地分成两个集合:可回滚工作流集合RC 和不可回滚工作流集合NR.如果某个工作流已执行的事务都是可补偿的,那么它被归于RC 集合.如果某个工作流执行了至少一个不可补偿事务,那么系统将把它移至NR 集合.我们开发的基于混合粒度冲突检测的调度算法遵循下面几个规则:(R 1) 集合NR 中的工作流不会等待其他工作流;(R 2) 时间戳较小的工作流不会等待RC 中时间戳较大的工作流;(R 3) 集合NR 中的工作流相互不会发生冲突.由于循环冲突产生的前提条件是两个NR 中的工作流相互冲突,规则R 3防止了循环冲突的出现.图4表示了调度算法执行时的一个快照,其中事务工作流P 1和P 4正在等待P 3,而P 3则在等待P 6.注意,NR 中的集合不会冲突,也不会相互等待.374 Journal of Software软件学报2003,14(3)Fig.4 Scheduling of transactional workflows图4 事务工作流的调度基于混合粒度冲突检测的调度算法详细描述如下:(1) 工作流开始执行:当系统准备执行工作流P i并且尚未执行它的任何事务时,系统将P i放入RC集合.(2) 事务实例执行:当事务工作流P i执行事务实例t i时,首先试图获取实例锁lt i,根据实例锁冲突检测,若存在下面两种冲突情况,则放弃相应的工作流P j:(2.1.1) 如果P i∈NR,lt i与RC中的工作流P j的LS j冲突,那么放弃P j;(2.1.2) 如果P i∈RC,lt i与RC中的工作流P j的LS j冲突,并且ts(P i)<ts(P j),那么放弃P j.然后判断是否存在下面3种情况,如果存在,则P i必须等待:(2.2.1) lt i和一个时间戳较小的工作流或者NR中的工作流P j的LS j冲突,P i必须等待P j结束.在P j结束之后,P i再重新判断(2.2.1)~(2.2.3)的冲突情况.(2.2.2) t i是一个不可补偿事务,并且P i在将来会和NR中工作流P j冲突(利用引理1),那么P i必须等待P j结束.在P j结束之后,P i再重新判断(2.2.1)~(2.2.3)的冲突情况.(2.2.3) t i是一个不可补偿事务,并且P i在将来会和某个处于(2.2.2)等待状态的工作流P j冲突,并且ts(P i)>ts(P j),那么P i必须等待P j先进入NR.P j进入NR后,P i再重新判断(2.2.1)~(2.2.3)的冲突情况.P i获取了实例锁lt i之后,系统即可执行t i.如果t i是不可补偿事务,并且P i在RC集合中,系统将P i移至NR集合.(3)工作流提交:只有当事务工作流P i和任何时间戳较小的事务工作流P j都不冲突时,系统才能提交P i.系统提交工作流P i时,将释放LS i中的所有锁.如果P i和时间戳较小的某个工作流P k冲突,即ts(P k)<ts(P i),那么P i必须等待P k提交后才能提交.P i一旦提交完成,那么从相应的RC集合或NR集合中移出.(4) 工作流放弃:当事务工作流P i放弃时,对每个已执行的可补偿事务t i,按其执行的相反次序执行补偿事务t i−1.当全部事务都被补偿后,工作流释放LS i中的所有锁.如果工作流是由于冲突原因而被放弃,那么系统将重新运行该工作流,并且使用原来的时间戳.注意,只有RC集合中的工作流才会被放弃.P i一旦放弃完成,那么从相应的RC集合或NR集合中移出.随着NR集合中工作流的执行和完成,这些工作流的FS i不断变小,越来越多的RC集合中的工作流可允许进入NR集合.由于算法始终遵循R1和R2规则,因此工作流之间不存在循环等待,因而可以防止调度死锁现象的出现.虽然RC中的某个工作流P i可能等待时间戳较大的NR中的工作流,但算法中的(2.2.3)能确保P i最终进入NR集合,因此不会出现饿死现象.但是该算法不能避免连锁放弃,即如果某个事务被放弃,那么所有等待它完成的事务也被放弃.3 相关工作和讨论数据库系统中的并发控制和恢复是一个经典问题,根据数据读写操作之间的冲突规则,人们提出了若干解决方法来保证可串行化调度和可恢复调度[5].当具有丰富语义的操作引入数据库之后,它们之间的冲突关系由可交换性决定,R.Vingralek等人为该情况下的并发控制和恢复的正确性提出了统一的理论框架[6].有关事务工作流的研究来源于扩展事务模型[7].事务工作流由若干平面事务组成,这些平面事务之间的冲突关系由可交换性决定.文献[8]研究了事务工作流的并发控制问题,但是他们假定工作流完全由可补偿事务组成,因而不能很好地反映现实应用环境.A.Zhang等人提出的Flexible事务是为实现异构多数据库事务管理的一种扩展事务模型[9].一个Flexible事务包含多个子事务,这些子事务通过precedence和preference两种约束关系组合在一起.子事务按其完成保证(termination guarantee)分成可补偿事务、可重复事务和pivot事务3种类型.Flexible事务的子事务之间的冲突根据它们的读写数据集来判断.由于组成事务工作流的事务是黑盒,其读写数据集不可知,因此文献[9]中提出的调度方法不适用于事务工作流.H.Schuldt等人研究了事务性过程丁柯等:基于混合粒度冲突检测的事务工作流调度算法375(transactional process)的并发控制和恢复处理问题[10].在文献[4]中,H.Schuldt提出一种基于有序共享锁(ordered shared lock)的调度算法.为了避免本文第2.1节中提出的循环冲突问题,该算法在全局范围内最多只允许一个事务工作流能够执行不可补偿事务,大大限制了工作流执行的并发度.以上文献中事务间的冲突规则都是基于事务类型来判断的,是一种粗粒度的冲突检测方法.本文给出的事务工作流模型区分事务类型冲突和事务实例冲突,通过运行时刻进行基于事务实例的冲突检测,可以显著地减少工作流之间的冲突.另外,本文的调度算法在工作流执行过程中,通过预测将来执行的事务类型集合,允许多个不冲突的工作流执行不可补偿事务.因此本文提出的算法从两方面提高了事务工作流执行的并发度.4 结束语事务工作流是满足松弛事务特性的工作流.在事务工作流引擎中,调度算法被用来控制并发事务工作流的执行,产生可串行化和可恢复调度.由于组成事务工作流的平面事务具有不同的完成特性,为了防止不可串行化的执行,在没有预测时,系统只能允许最多一个事务工作流执行不可补偿事务,限制了事务工作流执行的并发度.本文首先给出事务工作流模型,在模型中区分事务类型和事务实例,定义了两种粒度的冲突关系,并给出了事务工作流结构和执行的形式化定义.在事务工作流的执行过程中,调度器为每个活动事务工作流维护两个集合:事务实例锁集LS i和后继事务类型集FS i.事务实例锁集LS i包含所有已经获取的事务实例锁,用于细粒度的事务实例冲突检测;而后继事务类型集FS i包含所有将要执行的事务类型,用于粗粒度的事务类型冲突检测.本文给出了后继事务类型集FS i的构造方法.通过结合两种粒度的冲突检测,本文提出的调度算法在两方面提高了并发度:一方面,细粒度冲突检测减少了事务工作流之间的冲突概率;另一方面,粗粒度的冲突检测能够预测事务工作流是否会在将来发生冲突,而不会发生冲突的工作流可以安全地并发执行,从而解决一次只能执行一个不可补偿事务的问题.本文提出的事务工作流模型考虑了平面事务不同的可补偿性和可重复性,能够较好地适应现实的应用环境.References:[1] Luo HB, Fan YS, Wu C. Workflow technology survey. Journal of Software, 2000,11(7):899~907 (in Chinese with EnglishAbstract).[2] Alonso G, Agrawal D, Abbadi AE, Kamath M, Gunthoer R, Mohan C. Advanced transaction models in workflow contexts. In:Proceedings of the International Conference on Data Engineering. 1996. 574~581.[3] Grefen P, Vonk J, Boertjes E, Apers P. Semantics and architecture of global transaction support in workflow environments. In:Proceedings of the 4th IFCIS International Conference on Cooperative Information Systems. 1999. 348~359.[4] Schuldt H. Process locking: a protocol based on ordered shared locks for the execution of transactional processes. In: Proceedingsof the ACM Symposium on Principles of Database Systems (PODS 2001). Santa Barbara: ACM Press, 2001. 289~300.[5] Bernstein P, Hadzilacos V, Goodman N. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.[6] Vingralek R, Hasse-Ye H, Breitbart Y, Schek H-J. Unifying concurrency control and recovery of transactions with semanticallyrich operations. Theoretical Computer Science, 1998,(190):363~396.[7] Jajodia S, Kerschberg L. Advanced Transaction Models and Architectures. Kluwer, 1997.[8] Li HC, Shi ML, Chen XX. Concurrency control algorithm for transactional workflows. Journal of Software, 2001,12:1~9 (inChinese with English Abstract).[9] Zhang A, Nodine M, Bhargava B. Global scheduling for flexible transactions in heterogeneous distributed database systems. IEEETransactions on Knowledge and Data Engineering, 2001,13(3):439~450.[10] Schuldt H, Alonso G, Schek H. Concurrency control and recovery in transactional process management. In: Proceedings of theACM Symposium on Principles of Database Systems (PODS’99). Philadelphia: ACM Press, 1999. 316~326.附中文参考文献:[1] 罗海滨,范玉顺,吴澄.工作流技术综述.软件学报,2000,11(7):899~907.[8] 李红臣,史美林,陈信祥.事务工作流的并发控制算法.软件学报,2001,12:1~9.。

软件学报资料

软件学报
简介
软件学报是一本以软件技术为主要研究对象的学术期刊，涵盖了软件工程、计
算机科学、信息技术等领域的研究成果。

本文将就软件学报的历史、发展现状以及未来展望进行综述。

软件学报的历史
软件学报创建于20世纪80年代初，当时计算机技术正处于蓬勃发展阶段。

随着互联网的普及和信息技术的快速发展，软件学报迅速崛起，成为国内外软件技术领域的重要学术期刊之一。

在过去的几十年里，软件学报紧跟技术发展潮流，积极推动软件领域的研究和创新。

软件学报的发展现状
软件学报目前已成为软件领域的权威期刊之一，每年都会发表大量高质量的研
究论文，涵盖了软件工程、计算机科学、信息技术等领域的前沿研究成果。

同时，软件学报还定期举办各类学术会议和研讨会，促进学术交流和合作，推动整个软件领域的发展。

软件学报的未来展望
随着人工智能、云计算、大数据等新一代技术的不断涌现，软件学报将继续致
力于推动软件技术的创新与发展。

未来，软件学报将更加关注软件工程、软件质量、软件安全等方面的研究，努力为软件行业的发展贡献更多价值。

结语
软件学报作为软件技术领域的重要学术期刊，承载了无数软件工程师和学者的
研究成果和智慧。

希望软件学报在未来能够继续发扬光大，为软件领域的发展做出更大的贡献。

以上为软件学报的简要介绍，感兴趣的读者可以关注该期刊的最新动态和研究
成果，以深入了解软件技术领域的前沿发展。