江苏省高校自然科学研究项目(05KJB520119)
- 作品数：48 被引量：149H指数：8
- 相关作者：张广泉戎玫杨敬中陈冬火陆公正更多>>
- 相关机构：苏州大学暨南大学重庆师范大学更多>>
- 发文基金：江苏省高校自然科学研究项目重庆市自然科学基金国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术天文地球更多>>
- 构件检索维度匹配模型及算法研究被引量：1
- 2012年
- 随着构件复用研究的深入和构件库规模的扩大,构件的描述、检索及适配技术成为当前研究的热点。然而传统的构件描述与检索方法存在查准率和查询效率低,查询结果也不利于下一步构件适配的问题。针对这些问题并结合分而治之和树匹配思想,提出了一种新的易扩展的维度匹配模型,并给出了相应的构件检索匹配算法,有效提高了构件的查询效率和查准率,缓解了适配的压力;且该算法的时间复杂度和空间复杂度是线性的。
- 祁华成陆英张广泉
- 关键词：构件库
- 一种基于时间自动机网络的实时系统形式化验证方法被引量：11
- 2008年
- 介绍了时间自动机形式模型,在此基础上给出了时间自动机网络的形式语法和语义,然后给出一种基于时间自动机网络的实时系统形式化验证方法,并采用基于时间自动机网络的模型检测工具UPPAAL对一个经典的实时系统实例进行了验证.
- 刘传会张广泉
- 关键词：实时系统UPPAAL
- 一种面向复用的增量软件开发过程框架被引量：2
- 2006年
- 以复用思想指导软件开发是软件产业发展的趋势,而当前主要面向复用的软件开发方法没有考虑到我国软件企业以中小型为主的现状,缺乏针对性,使得复用在我国软件开发中应用不够广泛。在基于构件开发的基础上提出了一种面向复用的增量软件开发过程框架。该过程框架适于我国中小型软件企业,采用了以体系结构为指导的增量开发模式,涵盖了可复用资产的生产过程和利用可复用资产的软件开发过程。
- 张广泉戎玫陆明
- 关键词：软件复用
- TCP协议的安全性和活性验证被引量：6
- 2008年
- 网络协议簇中,传输控制协议TCP是最重要的协议之一,提供面向连接的可靠传输服务.采用Promela描述TCP建立连接和可靠数据传输,并用模型检测工具Spin,验证TCP三次握手协议的安全性与可靠数据传输协议活性的属性.
- 陈道喜陈冬火张广泉
- 关键词：TCPPROMELASPIN
- 基于MVC模式的Struts框架在图书管理系统中的应用
- 2007年
- 简要介绍MVC设计模式和Struts框架的工作原理,将实现MVC设计模式的Struts框架引入到基于Web的图书管理系统的开发中,并结合实例详细讨论了如何应用Struts框架实现MVC设计模式,体现了软件框架结构和组件技术重用的优越性。
- 顾春霞张广泉
- 关键词：MVCSTRUTS框架图书管理系统
- UML 2.0的形式化语义研究被引量：10
- 2007年
- 由于UML2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证。基于此,在描述UML2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础。
- 张广泉戎玫黄正宝
- 关键词：线性时序逻辑形式化语义UML2.0顺序图XYZ/E
- XYZ/ADL到UML的一种映射方法被引量：2
- 2006年
- 分析了软件体系结构描述语言XYZ/ADL的体系结构设计元素和UML中的建模元素的语义相似性,并对UML的建模元素经过一定的扩展和约束,实现了从XYZ/ADL到UML的映射.
- 陈琳琳张广泉
- 关键词：软件体系结构形式化描述可视化描述XYZ/ADLUML
- 用于C语言程序验证的性质描述语言C-PDL
- 2007年
- 为了保证程序的正确性,可以先将程序抽象成模型,再采用模型检测技术对模型进行验证.模型检测工具只接受形式化的性质描述语言,而一般程序员很难正确地使用,因此,文章提出了半形式化的描述语言C-PDL,并介绍了采用C-PDL描述性质的验证系统.C-PDL采用时序逻辑语言XYZ/AE的语法结构,结合了C语言程序性质的特点,引入规范模式系统,其语法简单且描述能力强.另外,C-PDL表达式可以方便地转换成模型检测工具识别的各种时序逻辑公式.
- 左春华张广泉郭亮
- 面向方面的软件系统动态交互行为建模被引量：8
- 2007年
- 面向方面编程是一种基于关注点分离的新技术,它成功地解决了面向对象编程中存在的代码缠结和散射问题。但是,在软件设计阶段,面向方面建模并没有得到很好的支持。通过分析面向方面编程的特点以及UML2.0新增的复合片段概念,本文提出了应用顺序图中的可选片段来表示Aspect与组件之间的横切交互行为,并给出将Aspect引入顺序图的相关规定,实现了UML2.0顺序图对面向方面建模的支持。
- 杨敬中戎玫张广泉
- 关键词：面向方面建模UML2.0顺序图
- 一种面向领域基于XMI的模型映射方法被引量：3
- 2007年
- 在开发特定业务领域系统时,为实现领域模型向通用模型的映射,往往会产生领域失配问题。为解决此问题,提出了一种面向领域基于XMI的模型映射方法。采用XMI技术,将领域模型首先映射成为领域相关的XML文件,然后通过基于领域元模型的XSL映射器,将其映射成为UML对应的XML文件,最后生成UML通用模型;并在此基础上给出了这一方法的形式化描述和应用实例。
- 张炜张广泉
- 关键词：模型映射XMIMDA
