首页>中文会议>工业技术>自动化技术与计算机技术>2005’全国软件与应用学术会议（NASAC）

2005’全国软件与应用学术会议（NASAC）

召开年：2005
召开地：南京
出版时间：

主办单位：中国计算机学会

会议文集：南京大学学报（自然科学版）

会议论文

热门论文

全部论文

最新会议

更多>>

全选（0）

1.软件需求数据源向关系的挖掘与分析
- 万海;中山大学信息科学与技术学院计算机科学系;郑云翔;李磊
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：本文根据数据源向关系有利于描述用户需求的特点，提出以表单流图作为挖掘数据源向关系的起点,利用数据源向图分析数据源向关系;并分别给出表单流图和数据源向图的定义、绘制方法及关键步骤分析.在需求分析阶段挖掘和分析数据之间的源向关系,确定中间辅助结果的数据结构,可以清晰地描述用户需求的静态数据模型.
2.视点代理:多视点需求工程研究
- 江敏;毋国庆;梁正平
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：多视点方法是解决需求工程中诸多问题的有效手段,但现有的方法都存在着一些不足.本文在研究了这些方法后提出了基于问题域和视点代理的需求工程研究方法.文章首先在领域分析方法所建立的问题框架的基础上给出了视点代理的定义、内部结构及其应具有的性质,从而为以后进行形式化集成和效验工作奠定基础.然后提出了基于问题域和视点代理的需求建模步骤,并介绍了以后的工作.
3.Extranet SSO服务的设计与实现
- 石斌;赵文;张世琨;王立福
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：SSO服务使得网络用户可以基于最初访问网络时的一次身份验证,对所有已授权的网络服务进行无缝的访问.当前,企业用户不仅仅有在Intranet环境中访问各种网络服务的需求,也有在Extranet环境下跨安全域访问服务的需求.另外,所访问的服务既有B/S模式下的Web应用也有C/S模式的服务端.现在大多数已知的SSO解决方案没有很好的同时解决跨安全域访问、C/S与B/S混合模式、企业安全三个方面的问题.本文提出了一种新的SSO解决方案,给出了同时解决这三个问题的身份认证和服务授权机制.
4.移动Ad Hoc网络安全路由协议的比较研究
- 杨华兵;张宁蓉
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：安全性是移动AdHoc网络安全路由协议研究中的重点.目前还没有发现关于移动AdHoc网络安全路由协议防攻击能力的系统研究.本文对目前已知的移动AdHoc网络安全路由协议进行了详细的比较,分析了其防攻击能力.结果表明目前没有哪一种移动AdHoc网络安全路由协议能够防御所有的攻击,同时也需要一个安全性准则来对路由协议的安全性进行评价,可以根据不同的应用背景来选择使用不同的安全路由协议.指出移动AdHoc网络安全路由协议的最终设计目标是能安全地运行在所有环境下、能防御所有已知和未知的攻击.最后给出了下一步的研究方向.
5.UML和SQL元模型间的关系型模型转换方法
- 王学斌;吴泉源;王怀民;史殿习
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：面向信息处理的计算机程序一般分为两个部分:业务逻辑和数据处理.业务逻辑一般使用面向对象的程序设计语言来编写,而数据处理通常使用关系数据库和SQL语言来解决.本文提出了一种UML和SQL元模型间的关系型模型转换方法,这种方法可以将UML模型自动转换为SQLSchema,从而解决业务逻辑和数据处理之间的不一致性.
6.模型驱动的面向对象程序信息抽取方法
- 李合;罗景;张路;赵伟;郝丹
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：为了满足当前程序理解工具对效率、容错性和灵活性的要求,本文提出了一种模型驱动的面向对象程序抽取方法，并应用这种方法实现了java程序的信息抽取器.这种方法通过对面向对象程序表示模型的分层,采用宽度优先信息抽取策略完成系统代码到表示模型的转换过程.同时,在层次性抽取的过程中,通过适当的使用词法分析手段和目标语言超集文法的机制,在效率和容错性方面,都对以往方法做出了改进.此外,该方法能够启发式的识别给定的代码片断并为之构建抽象语法树,具有一定的自动性.
7.模型驱动的体系结构研究综述
- 蒋严冰;清华大学计算机科学与技术系;邢春晓
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：作为一种新型的软件开发方法,MDA近年来已经得到了普遍关注和一定程度的应用实践.本文首先回顾了MDA的主要思想、产生发展历程和应用现状.接下来重点讨论许多专家对MDA中建模语言、模型转化以及发展趋势的不同观点.最后,在综述有关MDA的研究现状的基础上,分析MDA中还需进一步研究的问题.期望能够通过对MDA研究现状及相关专家观点较为全面的论述,消除当前对MDA不恰当的看法和误解,并对MDA的研究者与实践者提供较为明确的总体参考系.
8.企事业过程模型获取UML类图规则的研究
- 李红霞;罗燕京;王夕宁
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：企事业过程模型是一种用VPML语言来表达企事业过程结构及其相关数据的优秀模型,它形象生动、通俗易懂,尤其在描述企业业务流程方面具有很强的表达能力,弥补了用UML进行业务建模时的不足.然而在进行面向对象分析和设计时,UML已经成为了一种标准的建模语言,因此有必要在企事业过程模型和UML模型之间建立一座转换的桥梁,以便提高UML模型的准确度和精确度,节约软件开发成本.本文以企事业过程模型的核心--过程模型和UML类图作为具体研究对象,探讨了二者之间的相互关系,提出了它们的映射规则,并针对转换实现时可能存在的问题,进行了详细的分析,并给出了解决方案.
9.基于构件组装的Web应用开发方法
- 叶菲;赵文耘;彭鑫;张志
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：本文把构件组装的思想引入到Web应用的开发中,提出了一种J2EE体系结构下基于构件组装的Web应用开发方法.该方法在Web层使用动作映射模型和转发映射模型来实现页面控制流建模,同时引入服务接口层作为门面向Web层提供业务服务,而业务层构件则按照服务接口层的需要进行组装.这样就可以分别对Web层和业务层进行建模,然后通过服务接口层把各个层次的构件组装成一个完整的可部署的Web应用.
10.内容'发布/订阅'中支持订阅覆盖的事件丢失检测机制与恢复算法研究
- 苑洪亮;郭长国;邹鹏;贾焰
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：基于内容的"发布/订阅"为应用提供了松耦合通信能力,得到了广泛应用,但是分布式"发布/订阅"系统通常不提供应用需要的可靠性保证,某些节点可能因为链路失效、拓扑重配置等原因而收不到其它节点发布的事件消息,已有研究成果假设所有的订阅都转发给了所有代理,没有考虑订阅只需转发给部分代理的情况(如支持订阅覆盖).本文提出一种支持订阅覆盖的概率事件丢失检测机制和事件恢复算法,并通过模拟来验证了该算法的有效性.
11.协作信息平台中协作内容自动匹配方法的设计与实现
- 李培峰;朱巧明
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：本文首先介绍了一个企业协作信息平台的基本框架,分析了实现协作信息平台中协作内容自动匹配的重要性和必要性,提出了在向量空间模型(VSM)的基础上,通过规则提取、查询扩展、潜在语义索引和相关反馈相结合的方法实现企业协作信息网平台中信息的自动匹配和检索,并给出相关实验结果.
12.LF-Grid--一个支持异构数据资源整合的语义网格模型
- 王栋;李庆忠
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：目前,国内外学者对语义网格的研究主要是理论上的,而缺乏可以指导实际应用的原型.本文结合OGSA和语义网技术,针对劳动力市场信息化的应用需求,构造了语义网格模型LF-Grid,介绍了LF-Grid体系结构并且实现了一种利用本体整合分布式异构数据库资源的机制.作为实例,还介绍了一个劳动力市场相关业务在LF-Grid中的完整处理流程.
13.基于本体的构件描述和检索
- 彭鑫;赵文耘;肖君
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：构件的描述和检索是软件复用和构件库研究的重点.本文在基于刻面的描述方法基础上引入本体作为用户复用需求和构件描述的公共基础,从而使二者能够在语义层面上进行匹配.为了支持构件领域特性的描述,还引入了上层本体和领域本体分别作为构件公共特性和领域特性描述和匹配的知识基础.语义基础的引入使得构件的复用机会大大提高.
14.OpenMP Fortran程序中的未指定行为的静态检测
- 王昭飞;黄春;赵克佳
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：未指定行为是导致OpenMP程序运行时错误的主要原因之一.本文给出一个静态地检测OpenMPFortran程序中的未指定行为的工具C-Checker.该工具基于扩展的控制流图和调用图,采用"程序分层、逐层分析"的策略分析控制结构所导致的不确定的程序行为,以定位程序中的未指定行为,并通过回溯记录控制流图中导致这些行为的路径.借助于调用图,它还能够记录跨越过程边界的路径.此外,C-Checker利用启发式规则估计每条路径的执行概率,能够量化路径所对应的警告的严重程度.实验表明,C-Checker能够有效地检测实际的OpenMPFortran程序中的未指定行为,并辅助程序员消除这些隐患.
15.用于消除语法分析冲突的YACC文法变换模式
- 李虎;金茂忠;刘超;许福
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：本文分析了使用LALR(1)分析程序生成系统YACC时经常遇到的语法分析冲突问题及消除语法分析冲突的策略,总结了一组文法变换模式,利用这些模式可以有效地解决语法分析冲突问题.
16.分布式协作工作流负载平衡调度
- 黄秀国;王戟
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：本文研究了工作流系统的协作方式和负载平衡技术,定义了工作流系统的负载因子,给出了一个分布式协作工作流系统模型,并结合工作流流程逻辑,提出了分布式工作流系统负载均衡调度方法.实验结果表明该分布式协作工作流系统有效地扩展了单个工作流系统的任务处理能力.
17.工作流体系下基于组件的应用系统框架的研究与实现
- 刘暘;刘强
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：本文综合分析了基于工作流的应用系统框架,讨论了该体系结构在具体应用中出现的若干问题.在此基础上,结合基于组件的开发方法,提出WF-CB体系框架,并将其应用在"网络化集成产品开发项目管理工具"的项目中.目前该项目尚处于开发阶段,但就原型验证系统而言,框架体现了良好处理能力、应用系统的整体结构清晰,组件化的方法明显提高了系统的适应性和灵活性.
18.基于Java的工作流定义工具的设计及实现
- 周海燕;刘强;刘旭东
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：工作流技术系统中,所有的活动都是以流程定义为基础而展开的.在具体分析WfMC规范基础上,采用java技术,实现了GUIDesigner流程定义工具,该工具支持大部分工作流功能,包括创建步骤、分支和合并等,输出为符合Wf-XML规范的流程定义文件.
19.基于和欣操作系统的开放式数控软件开发
- 张晓丽;靳泽宇;刘燕军
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：本文简要介绍了开放式数控系统的开放特性、ezCOM组件技术与和欣操作系统的开放能力,提出了一个以和欣操作系统作为系统平台、体系结构完全开放的纯软数控系统.同时,为了解决和欣操作系统不能满足数控系统硬实时应用的要求,为该系统设计了一个实时解决方案.
20.嵌入式系统设备级动态电源管理
- 王悦;赵霞;北京工商大学计算机科学学院;陈向群
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：随着移动通信技术的飞速发展,由电池供电的嵌入式系统设备电源管理问题变得日益突出.本文将嵌入式系统的设备电源管理分为系统级和设备级两部分,详细设计了设备级动态电源管理的软件框架,包括监视模块、预测模块以及控制模块,并提出了一种改进的基于预测机制的动态电源管理算法.以操作系统的观点,从更高层的系统级电源管理获取尽可能多的信息,建立任务与设备之间的联系,使得预测更加准确.还提供了在DeltaOS上针对网卡的电源管理实现,实验证明该电源管理机制有效.
21.Web应用测试模型研究
- 李诺;吴际;金茂忠;刘超
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：本文基于模型驱动测试的思想,提出一种Web应用测试模型WANM(WebApplicationNavigationModel),用于支持测试用例的设计与自动执行.基于WANM设计的测试用例的描述参照U2TP(UML2.0TestingProfile)标准,使得测试建模、测试用例生成以及测试执行既紧密联系又相互独立,有助于提高测试的充分性与效率.
22.基于软件配置管理模式与反模式的应用研究
- 谢芸;袁兆山;李彬彬
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：制定适宜的软件配置管理方案是软件开发管理和控制的一个迫切需要解决的问题.本文在WilliamJB等的软件配置管理模式与反模式的基础上,抽取出其中的相关信息,转化成软件配置管理中的可实施的活动,将这些活动组织成一套适用于小型开发团队的配置管理流程,并将之应用于实际的项目中,证明效果良好.
23.基于遗传算法测试用例的生成和优化
- 李伟;王波;武清芳;闫平超
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：遗传算法是通过模拟自然进化过程,将问题的解逐步向最优化方向进化.软件测试的目的是发现软件中未发现的缺陷,而测试用例的设计是关键.本文主要研究了遗传算法在测试用例的生成和优化方面的方法和应用.
24.面向对象软件测试过程研究
- 张丹霞;张茂林
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：本文参考面向对象软件开发过程,根据某大型系统测试工作实践,借鉴传统的面向过程测试方法,提出了一个面向对象软件测试过程模型,该模型具有方便性与实用性.同时,讨论了面向对象开发方法给软件测试带来的改变,并给出了一个面向对象软件测试应用实例.
25.软件测试数据生成中的区间削减方法研究
- 黄陇;陈致明
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：在面向对象软件测试中,为了降低根据方法参数的约束条件生成测试数据的复杂性,本文提出了从前置条件的属性约束、测试消息序列的谓词约束以及派生的中间参数约束3个方面对参数的取值范围进行区间削减的算法,得到了关于方法参数的最小区间约束,提高了测试数据的生成效率.
26.软件先验知识和基于测试的可靠性评估关系研究
- 赵亮;王建民;孙家广
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：软件测试能够为软件可靠性提供一种运行前评估.为减少达到一定可靠性目标所需要的测试用例的数量,普遍认为可以将软件的先验知识综合到基于测试的可靠性估计模型中.目前已经提出几种理论模型但是少有试验验证.本文对测试系统的定义进行了扩展,从规范、实现和测试之间的关系,研究了影响软件测试有效性的因素,并通过试验验证了先验知识在基于测试的可靠性估计中的作用.结论认为是软件的易测性特征而不是先验知识的多少决定了达到一定可靠性目标的测试用例的数量.该结论有助于理解软件设计对于测试有效性的影响.
27.一个Java构件测试工具的设计与实现
- 刘冬懿;潘越;潘秋菊;金茂忠
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：本文为了支持构件开发者的白盒和黑盒构件测试,设计实现了QESat/Java中的构件测试工具.此工具辅助用户生成符合JUnit、Mockobject、InContainer等技术的测试脚本,在模拟的或实际的构件运行环境中执行测试脚本,获得构件执行的错误、失效等功能测试信息,以及程序覆盖信息.
28.一种改进的软件项目计划管理方法
- 范勇
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：本文在企业实施个体软件过程(PSP)和软件项目管理经验基础上,提出了基于PSP的软件项目计划管理方法,该方法遵循项目所定义的软件过程、基于历史数据的工作量估计和基于工作单元的跟踪方法三原则.该方法在软件企业进行了实施,实验结果表明取得了很好的效果.
29.一种新的基于输入域边界分析的测试数据自动生成方法
- 董红霞;赵瑞莲
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：软件测试和软件容错是两种提高软件系统可靠性的主要技术手段.本文基于文献[1]提出一种新的基于输入域边界分析的测试数据自动生成方法,开发出52个测试用例,对34个版本的RSDIMU容错软件和429个变异体进行测试.实验表明:该方法是一种非常有效的方法,不仅可以克服测试的盲目性,降低测试成本,而且可以明显提高故障覆盖率.
30.基于AOP与MVC模式的Web应用架构的设计与实现
- 赵成勇;周南;张晓泉
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：MVC模式在WEB应用架构中得到广泛的应用,但其没有涉及架构业务层的可扩展性问题.将面向方面编程的思想引进WEB应用架构的设计,可以增强架构业务层的可扩展性和稳定性.本文给出使用MVC模式并结合AOP思想来构建的一种WEB应用架构,并使用3个优秀的开源项目(STRUTS,ASPECTWERKZ,HIBERNATE)对该架构予以实现.
31.可重用教育软件体系结构研究
- 王绚;郑莉;史元春
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：本文首次将领域工程的方法应用于教育软件领域,以实现教育软件体系结构的重用,提高教育软件功能模块的互操作性.应用领域分析方法给出了教育软件领域的领域模型,提出了教育软件架构开发的四条指导原则:面向服务,分层,支持标准和可扩展,在此基础上给出了一个面向服务的分层参考架构.基于该架构与系统实现之间的差距,提出了"可重用设计的可实现性(IOR-theImplementabilityoftheReusability)"的概念,进而给出与当前技术现状密切相关的接口设计.总体来看,给出了一个具有高可重用性的教育软件体系结构;提出的"IOR"的概念亦可被应用于其他领域的软件设计和评价中.
32.基于GML/XQuery的空间数据集成技术的研究
- 廖伟;廖湖声;任宇;苏航
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：本文针对空间数据集成的需求,介绍了一种基于GML/XQuery的数据集成技术;采用了基于XML的GML标准和XMLSchema作为空间数据集成的统一数据模型,采用了支持网络多数据源和空间数据处理的扩展XQuery语言作为空间数据集成的通用数据查询语言;实现了一个基于Mediator-Wrapper方式的空间数据集成系统,为基于多空间数据源的分布式应用系统的数据建模和软件开发提供了分布式数据查询与数据集成工具.
33.GUI应用程序的一种描述模型研究
- 叶俊民;郑艳艳;彭波涛;朱凯
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：图形用户界面(GUI)的自动测试问题是当前软件测试中的困难问题,其困难性首先表现在如何形式化地描述GUI.本文提出了一种形式化描述GUI的方法,这将为GUI的自动测试打下基础.
34.信息导航系统中的导航相关服务研究
- 王兰波;翟天喜
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：导航相关服务是吸引上网用户光临导航站点的重要手段之一.本文以某信息导航系统的ISP站点检索为例,简单介绍导了航相关服务的设计与实现.
35.交通领域工程研究
- 谭国真;李新鹏;伍建焜;李程旭
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：交通领域工程将领域工程应用于智能交通系统,以解决交通领域内可复用信息的识别、组织和利用,产生该领域内具有较高可复用性的交通构件,满足交通领域的软件复用和资源共享与协同的要求.本文采用FODA领域工程方法,结合面向特征的建模方法,实施交通领域工程,并给出了一个基于交通领域工程的交通应用系统开发实例,说明交通领域工程的可行性.
36.电信数据仓库系统建设中基于角色的软件过程模型
- 方维;吴建林
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：近年来,我国电信行业逐步开始使用数据仓库技术建设经营分析系统,但应用效果与实际的愿景(vision)之间存在着差距.因此，本文提出了一种新的电信数据仓库系统建设中的角色、阶段,并在此基础上给出关系项目成功的核心软件过程.
37.JBEOS:一种构件化的嵌入式操作系统
- 陈向群;徐冬;滕启明
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：构件化嵌入式操作系统是构件化软件思想应用于嵌入式操作系统领域的产物,当前的构件化嵌入式操作系统在系统结构、构件模型、系统构造方法及工具支持方面各有不同。本文介绍了一种构件化的嵌入式操作系统JBEOS.JBEOS直接从已编译的二进制目标文件制作可复用构件,构件采用基于XML的构件描述语言XCODE描述.目标运行系统通过系统构件服务在启动时动态构造.
38.构件化嵌入式操作系统TICK的设备驱动模型
- 欧阳图;滕启明;陈向群
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：本文论述了构件化嵌入式操作系统TICK的设备驱动模型的设计思想和实现方案.在这个模型中设备驱动划分为与硬件紧密相关的低层驱动以及与硬件无关的高层驱动.低层驱动包含在硬件抽象层(HAL)中,高层驱动作为系统构件存在.分析了TICK操作系统的整体结构,HAL的设计和结构,设备驱动的执行流程,说明了设备驱动模型的设计思想.
39.基于 Linux的Online Judge的设计与实现
- 盛贤良;瞿有甜
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：本文从OnlineJudge系统的设计目标出发,在Linux平台下对系统的体系结构和数据库结构进行了详细的设计,利用socket和主从进程设计,实现系统的并发服务器,最后对系统开发中遇到的几点关键问题和技术进行了分析和探讨.
40.基于Netfilter及uclinux的嵌入式网络流量控制系统的设计与实现
- 王静宇;邢东旭;谭跃生
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：由于网络资源有限,为了公平使用这些网络资源,控制用户网络流量就成了一种重要方式。于是，本文分析了uclinux的TCP/IP网络协议栈和netfilter网络过滤框架原理,设计并实现了一个嵌入式网络流量控制系统,测试结论表明其性能优于普通linux主机.
41.基于概率分布的桶排序算法
- 赵忠孝
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：在桶排序算法中,如何将待排序记录均匀分配到每个"桶",是提高桶排序技术的关键.实际统计到的数据,大都在某一区间服从一定的概率分布.对于这类数据的排序,本文介绍了一种新的方法,由其概率分布的密度函数构造一个散列函数,可将待排序的n条记录按其关键码值的大小均匀地分配到n个桶中,从而使桶排序的运行时间在任何情况下都能达到O(n).
42.基于同步网的模型验证算法设计与工具实现
- 杨云毅;赵文;王立福;聂承启
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：目前,工作流模型验证技术已成为工作流技术中重要的研究课题之一.由于工作流逻辑的复杂性,因而如何构建正确的模型是一个较迫切的问题.以四，本文针对基于同步网的模型验证算法设计与工具实现进行了讨论。首先,对现有的验证技术作一个比较分析,根据工作流逻辑在模型中的决定性作用,研究并提出一个基于同步网(Syn-net)的模型验证算法,然后给出一个用PNML(PetriNetMarkupLanguage)方式存储的业务实例,并根据化简规则进行化简和优化.最后,实现该验证工具.
43.一种C++程序类模板偏特化匹配算法
- 郭聪宾;金茂忠;刘超;连舒明
- 《2005’全国软件与应用学术会议（NASAC）》 | 2005年
摘要：在类属编程(GenericProgramming)以及科学计算领域中,C++中的模板愈发显示出其不可替代的作用.但是模板也进一步增加了C++语法的复杂度.由于模板的广泛应用,对支持模板分析的分析器的需求也日益增强.因此必须要解决模板分析中的几个难点.本文针对难点之一:类模板偏特化(partialspecialization)匹配问题,提出了一种行之有效的算法,并在JohnLilley的C++分析器基础上实现了该算法.最后给出了该算法实际应用的效果,并与相关工作进行了比较.