重庆市自然科学基金(CSTC2006BB2259)
- 作品数：7 被引量：30H指数：3
- 相关作者：张广泉戎玫张姝黄正宝杨敬中更多>>
- 相关机构：苏州大学暨南大学重庆师范大学更多>>
- 发文基金：重庆市自然科学基金江苏省高校自然科学研究项目国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术更多>>
- UML 2.0的形式化语义研究被引量：10
- 2007年
- 由于UML2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证。基于此,在描述UML2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础。
- 张广泉戎玫黄正宝
- 关键词：线性时序逻辑形式化语义UML2.0顺序图XYZ/E
- 基于时序逻辑的UML2．0通信图语义研究被引量：1
- 2008年
- UML2.0通信图可以表示对象之间的交互,很适合用于对系统的交互行为建模,但由于UML缺乏精确语义,使得难以对其所表示的系统行为进行分析和验证。XYZ/E是可执行线性时序逻辑语言,既可描述系统的静态语义和动态语义。在定义UML2.0通信图的形式化语法的基础上,给出了通信图的XYZ/E时序逻辑语义,为进一步的系统分析和验证提供了形式化基础。
- 张姝戎玫张广泉
- 关键词：UML2.0时序逻辑形式化语义XYZ/E
- 面向方面的软件体系结构描述语言AO-ADL被引量：8
- 2008年
- 分析面向方面编程(AOP)的核心思想及其优越性,将编码阶段的AOP概念进一步提升到软件体系结构层次。在软件体系结构描述语言XYZ/ADL的基础上,通过增加新的元素和相关复合机制,得到一种面向方面的体系结构描述语言AO-ADL,实现了在软件体系结构中横切功能的模块化。
- 杨敬中戎玫张广泉
- 关键词：面向方面编程软件体系结构
- 一种软件产品线技术与标准套装软件SAP相结合的开发过程模型
- 2007年
- 分析了软件产品线技术和标准套装商业软件SAP的特点,针对两者的优缺点,提出了一种将软件产品线技术与SAP实施演化相结合的过程模型。该模型把产品线技术核心资源的概念引入了SAP实施开发的各个环节;同时借鉴产品线的演化思路,加入了用SAP的二次开发成果更新配置集合的迭代过程。从而使SAP软件在高度标准化的基础上,达到实施效率和可配置程度的最大化。
- 陈凌王辉张广泉
- 关键词：SAP软件产品线二次开发
- 一种Web应用程序切片方法
- 2010年
- 针对JavaWeb开发方法中关键技术的实现机制,定义了Web应用程序中存在的依赖关系,提出了一种构造Web程序系统依赖图,并采用两步遍历图可达性算法计算程序切片的方法.把程序切片技术运用到Web应用开发中,为其调试、测试和维护等软件过程提供了新的支持方法.
- 赵丽艳何志学
- 关键词：WEB应用程序切片系统依赖图
- Web挖掘在Web交易中的应用被引量：1
- 2007年
- 基于Web的数据挖掘是一种结合了数据挖掘和互联网系统的热门研究课题。随着互联网的高速发展,Web挖掘由于其独特的优点,在Web交易中扮演了越来越重要的角色。运用Web挖掘对Web交易服务器的日志文件和客户交易信息进行挖掘,有助于企业了解客户的访问行为,挖掘潜在客户群和开展有针对性的服务。对Web挖掘技术进行综述,并介绍了该技术在Web交易中的几个应用。
- 林苗张广泉
- 关键词：数据挖掘WEB挖掘
- UML顺序图的一种形式化描述方法被引量：11
- 2007年
- 统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。
- 张姝张广泉
- 关键词：UML顺序图形式化语义线性时序逻辑
