重庆市教育委员会科学技术研究项目(040803)

作品数：26被引量：97H指数：6
导出分析报告
相关作者：张广泉戎玫王友刘艳魏艳铭更多>>
相关机构：重庆师范大学苏州大学暨南大学中国科学院软件研究所更多>>
相关期刊：《小型微型计算机系统》《重庆师范大学学报（自然科学版）》《科学技术与工程》《计算机工程与应用》更多>>
相关主题：UML软件体系结构XYZ/E形式化方法实时系统更多>>
相关领域：自动化与计算机技术文化科学天文地球机械工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
实时时序逻辑语言XYZ/RE到时间自动机的映射被引量：3
《微计算机应用》2008年第6期69-75,共7页刘珊艳 戎玫 张广泉 
重庆市自然科学基金项目(CSTC;2006BB2259);重庆市教委科学技术研究项目(批准号:040803);江苏省高校自然科学基金(批准号:05KJB520119)
时间自动机是一种重要的实时系统建模工具。本文建立了实时时序逻辑语言XYZ/RE到时间自动机的一种映射机制,将XYZ/RE所描述的系统进程直接转换为时间自动机,这样不但可以准确捕获实时系统功能和控制行为,还可以利用基于时间自动机的验...
关键词：XYZ/RE 实时系统 时间自动机 UPPAAL 
基于SOA的中小型企业IT系统设计与实现被引量：6
《重庆师范大学学报（自然科学版）》2008年第4期55-59,共5页曹进明 张广泉 
重庆市自然科学基金(No.CSTC,2006BB2259);重庆市教委科学技术研究项目(批准号:040803)
从分布式计算环境中起源和发展起来的面向服务的软件体系结构(SOA)历经10余年,其研究逐渐趋热并走向广泛和深入。本文在以往研究的基础上,探讨中小型企业IT系统如何引入SOA的思想设计并实现。在信息化浪潮中,中小型企业的发展也需要IT...
关键词：SOA SOMAL方法 中小型企业 服务 
面向对象系统的时序逻辑描述被引量：1
《苏州大学学报（工科版）》2008年第4期12-19,共8页李平福 陈冬火 张广泉 
江苏省高校自然科学研究项目(编号05KJB520119);重庆市自然科学基金资助项目(编号CSTC;2006BB2259);重庆市教委科学技术研究项目(合同号040803)
针对面向对象系统,定义了一种基于时序逻辑的形式化规约语言。它不仅支持对面向对象思想中重要概念,如类、对象、继承等的描述,而且支持对面向对象系统的时序属性的描述,如类的状态之间的转换,类中某些属性必须一直满足的约束条件等。...
关键词：时序逻辑 形式化方法 面向对象 形式化规约语言 
MDA开发中的模型一致性检验
《重庆工学院学报》2007年第21期131-134,159,共5页张晓蒙 张广泉 戎玫 
重庆市自然科学基金项目(CSTC;2006BB2259);重庆市教委科学技术研究项目(040803);江苏省高校自然科学基金(05KJB520119)
为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构——MDA,该结构将应用模型分为平台无关模型(PIM)和平台相关模型(PSM),通过融合UML用例图、类图、序列图,得到了需求模型和设计模型,给出了类图和序列...
关键词：MDA 需求模型 设计模型 一致性检测 
基于Real-Time Object-Z语言的实时系统形式化描述被引量：2
《重庆师范大学学报（自然科学版）》2007年第4期41-44,53,共5页魏艳铭 张广泉 
重庆市教委科学技术研究项目(No.040803)
实时系统是一类需要考虑时间约束条件的反应系统,确保实时系统安全性和可靠性是至关重要的。形式化方法是建立在严密数学基础之上的开发方法,采用形式化方法对实时系统进行描述与验证,可以借助严密的数学证明提高实时系统的安全性和可...
关键词：实时系统 OBJECT-Z REAL-TIME OBJECT-Z 实时精化演算 形式化描述 
Web挖掘在Web交易中的应用被引量：1
《重庆师范大学学报（自然科学版）》2007年第3期38-41,共4页林苗 张广泉 
重庆市自然科学基金(No.CSTC2006BB2259);重庆市教委科学技术研究项目(No.040803);中国科学院计算机科学国家重点实验室开放课题(No.SYSKF0303)
基于Web的数据挖掘是一种结合了数据挖掘和互联网系统的热门研究课题。随着互联网的高速发展,Web挖掘由于其独特的优点,在Web交易中扮演了越来越重要的角色。运用Web挖掘对Web交易服务器的日志文件和客户交易信息进行挖掘,有助于企业了...
关键词：数据挖掘 WEB挖掘 Web交易 
UML顺序图的一种形式化描述方法被引量：8
《重庆师范大学学报（自然科学版）》2007年第3期42-45,共4页张姝 张广泉 
重庆市自然科学基金(No.CSTC2006BB2259);重庆市教委科学技术研究项目(No.040803);中国科学院计算机科学国家重点实验室开放课题(No.SYSKF0303)
统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的...
关键词：UML顺序图 形式化语法 形式化语义 线性时序逻辑 
XYZ/AE描述程序性质的探讨被引量：1
《计算机科学》2007年第3期268-270,278,共4页左春华 张广泉 戎玫 
江苏省高校自然科学基金(批准号:05KJB520119);重庆市自然科学基金项目(编号:CSTC;2006BB2259);重庆市教委科学技术研究项目(合同号:040803)
为保证程序的正确性,程序在投入使用前需要检验其是否满足规定的性质,那么程序的性质需要用一种语言来描述。XYZ/AE是时序逻辑系统XYZ的一个子语言,用此语言描述程序性质有很多优点。XYZ/AE不仅能描述所有的程序性质且简单易懂,另外它...
关键词：程序性质 XYZ/AE XYZ/E 
UML2.0类图的一种形式化描述方法被引量：5
《计算机科学》2007年第2期277-279,288,共4页杨敬中 张广泉 戎玫 
江苏省高校自然科学研究项目(批准号:05KJB520119);重庆市自然科学基金项目(编号:CSTC;2006BB2259);重庆市教委科学技术研究项目(合同号:040803)
UML类图是根据系统中的类,以及各个类之间的关系来描述系统的静态视图。基于UML缺乏精确语义描述的不足,我们提出了基于时序逻辑语言XYZ/E来表示类图形式化语义的方法。通过对UML2.0类图元素及其特点的分析,找出类图元素的形式化描述规...
关键词：UML2.0类图 形式化描述 XYZ/E 
UML在研究生成绩管理系统建模中的应用被引量：11
《重庆师范大学学报（自然科学版）》2007年第1期34-36,共3页肖岗 张广泉 
重庆市教委科学技术研究项目(No.040803);中国科学院计算机科学重点实验室开放课题(No.SYSKF0303)
以研究生成绩管理系统的开发为背景,探讨了UML在该系统建模中的应用问题。在对系统进行需求分析的基础上,采用ROSE对系统进行需求模型、静态模型、动态模型及实现模型的建模。
关键词：UML面向对象方法 研究生成绩管理系统 建模 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部