国家自然科学基金(60073020)

作品数：37被引量：167H指数：8
导出分析报告
相关作者：张广泉戎玫张玲红唐稚松黄正宝更多>>
相关机构：苏州大学中国科学院软件研究所暨南大学重庆师范大学更多>>
相关期刊：《计算机工程与设计》《微电子学与计算机》《通讯和计算机（中英文版）》《小型微型计算机系统》更多>>
相关主题：软件体系结构XYZ/EUMLXYZ/ADL体系结构描述语言更多>>
相关领域：自动化与计算机技术文化科学天文地球机械工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于形式化描述的电梯控制系统的建模与仿真
《现代计算机（中旬刊）》2011年第12期3-7,共5页张玲红 张广泉 
国家自然科学基金(No.60073020)
研究电梯控制系统中组件之间复杂的信号传输关系。针对传统的建模方法不能同时精确描述系统模型的静态与动态语义的问题,从系统体系结构的组件与连接件入手,探讨形式化描述语言XYZ/ADL描述系统模型的特性,运用XYZ/ADL形式化地描述电梯...
关键词：形式化描述 电梯控制系统 XYZ/ADL 
基于XYZ/ADL的电梯控制系统体系结构的描述与求精被引量：1
《计算机测量与控制》2011年第9期2176-2179,共4页张玲红 张广泉 
国家自然科学基金(60073020)
研究软件体系结构的首要问题是如何描述体系结构模型;运用XYZ/ADL描述软件体系结构模型,可以在统一时序逻辑框架下描述系统静态语义到实现之间不同抽象层次的规范,便于体系结构的逐步求精及相关性质分析;以电梯控制系统为例,运用XYZ/AD...
关键词：XYZ/ADL 软件体系结构 描述 求精 电梯控制系统 
基于XYZ/ADL的工厂自动化系统体系结构描述与求精
《微计算机信息》2010年第21期33-35,38,共4页陈枢茜 张广泉 
基金申请人:张广泉;项目名称:基于XYZ/E的可视化软件体系结构描述语言研究;基金颁发部门:国家自然科学基金委(60073020)
XYZ/ADL是一种以时序逻辑语言XYZ/E为基础的体系结构描述语言,可同时描述软件体系结构的静态与动态行为,支持高层到低层体系结构之间的逐层过渡。本文使用XYZ/ADL描述工厂自动化系统的体系结构,采用基于组件的求精方法对主要组件进行逐...
关键词：软件体系结构 XYZ/ADL 描述 求精 工厂自动化系统 
UML和XYZ/E在ATM系统的一个初步应用
《微计算机信息》2010年第21期169-171,共3页李辉 张广泉 
基金申请人:张广泉;项目名称:基于XYZ/E的可视化软件体系结构描述语言研究;基金颁发部门:国家自然科学基金委(60073020)
UML作为面向对象技术的标准建模语言,它提供了一套描述软件系统模型的概念和图形表示法,但缺乏精确的语义;时序逻辑语言XYZ/E在统一的逻辑框架下既能表示静态语义又能表示动态语义,支持软件体系结构从高层到低层的逐步过渡。该文基于UML...
关键词：软件体系结构 描述 求精 UML XYZ/E ATM系统 
基于UML和XYZ/E的ATM系统体系结构描述被引量：2
《微计算机信息》2010年第9期200-202,共3页李辉 张广泉 陈枢茜 
基金申请人:张广泉;项目名称:基于XYZ/E的可视化软件体系结构描述语言研究;基金颁发部门:国家自然科学基金委(60073020)
本文提出了将可视化建模语言UML和时序逻辑语言XYZ/E相结合来描述软件体系结构的方法。首先给出了该方法的基本框架,然后对XYZ/E进行扩展,使之能够显式地表示软件体系结构的基本元素,并定义了UML活动图的形式语义,最后,通过银行ATM实例...
关键词：软件体系结构 描述 UML XYZ/E 银行ATM系统 
UML Statechart图中数据流的语义及验证
《苏州市职业大学学报》2009年第1期60-65,共6页陆公正 吴澜波 于复生 张广泉 
国家自然科学基金项目(60073020);江苏省高校自然科学研究项目(05KJB520119)
由于UML Statechart图缺乏精确的数据流语义,因而难以对UML Statechart图建模的工作流的数据流进行正确性验证.首先,UML Statechart图是基于状态转换的,为此选择标记转换系统(LTS)作为语义域,并用结构化操作语义(SOS)分两步定义了UML St...
关键词：UML Statechart图 数据流语义 时序逻辑 验证 模型检测 
一种基于扩展UML状态图的并发工作流验证方法
《电脑知识与技术》2009年第1期153-156,共4页陆公正 吴澜波 顾小晶 张广泉 
国家自然科学基金项目（60073020）;江苏省高校自然科学研究项目（05KJB520119）
当并发执行工作流的多个实例时会导致数据流访问时语义的不一致。首先扩展了传统的UML状态图，用它进行工作流实例建模。然后把扩展的UML状态图建立的工作流模型转化为Biichi自动机，并用Biichi自动机之间的积表示多个工作流实例的并发...
关键词：UML状态图 BÜCHI自动机 并发 工作流 模型检测 
面向方面的软件体系结构描述语言AO-ADL被引量：5
《计算机工程》2008年第10期80-82,共3页杨敬中 戎玫 张广泉 
国家自然科学基金资助项目(60073020);江苏省高校自然科学基金资助项目(05KJB520119);重庆市自然科学基金资助项目(CSTC2006BB2259)
分析面向方面编程(AOP)的核心思想及其优越性,将编码阶段的AOP概念进一步提升到软件体系结构层次。在软件体系结构描述语言XYZ/ADL的基础上,通过增加新的元素和相关复合机制,得到一种面向方面的体系结构描述语言AO-ADL,实现了在软件体...
关键词：面向方面编程 软件体系结构 XYZ/ADL语言 AO-ADL语言 
面向方面的软件体系结构建模研究被引量：3
《重庆师范大学学报（自然科学版）》2008年第1期58-63,共6页张广泉 杨敬中 
国家自然科学基金(No.60073020);重庆市自然科学基金(No.CSTC;2006BB2259)
分析了面向方面编程的核心思想及其概念,指出了编码阶段所存在的代码散射和缠结现象同样存在于软件体系结构中。在软件体系结构描述语言XYZ/ADL的基础上,通过增加一阶实体来表示Aspect概念,并对连接件作相应的修改,同时定义Aspect与组...
关键词：软件体系结构 面向方面建模 XYZ/ADL AO-ADL 
Study on conversion mechanism from software architectural description language to UML
《通讯和计算机（中英文版）》2007年第7期1-7,共7页ZHANG Guang-quan RONG Mei TANG Zhi-song 
This work is supported by the National Natural Science Foundation of China （No. 60073020）, the University Natural Science Foundation of Jiangsu Province of China （No. 05KJB520119） and the Natural Science Foundation Project of Chongqing （No. CSTC2006BB2259）.
关键词：UML 软件 形式描述 描述语言 视觉描述 转化机制 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部