您的位置： 专家智库 > >

国家自然科学基金(60073020)

作品数：37 被引量：265H指数：10
相关作者：张广泉戎玫张玲红唐稚松黄正宝更多>>
相关机构：苏州大学中国科学院软件研究所暨南大学更多>>
发文基金：国家自然科学基金国家重点实验室开放基金江苏省高校自然科学研究项目更多>>
相关领域：自动化与计算机技术文化科学天文地球机械工程更多>>

文献类型

  • 37篇期刊文章
  • 1篇会议论文

领域

  • 37篇自动化与计算...
  • 1篇经济管理
  • 1篇天文地球
  • 1篇机械工程
  • 1篇文化科学

主题

  • 25篇体系结构
  • 24篇软件体系结构
  • 13篇UML
  • 13篇XYZ/E
  • 9篇XYZ/AD...
  • 8篇形式化
  • 8篇时序逻辑
  • 7篇描述语言
  • 6篇组件
  • 5篇电梯控制
  • 5篇形式化描述
  • 5篇体系结构描述...
  • 5篇结构描述语言
  • 5篇控制系统
  • 4篇电梯控制系统
  • 4篇连接件
  • 4篇可视化
  • 3篇软件工程
  • 3篇软件体系结构...
  • 3篇实时系统

机构

  • 22篇苏州大学
  • 12篇中国科学院软...
  • 11篇暨南大学
  • 7篇重庆师范大学
  • 5篇重庆师范学院
  • 3篇无锡商业职业...
  • 3篇徐州师范大学
  • 2篇苏州市职业大...
  • 2篇苏州卫生职业...
  • 2篇宁夏财经职业...
  • 1篇中国科学院
  • 1篇华北电力大学
  • 1篇江苏省计算机...

作者

  • 34篇张广泉
  • 11篇戎玫
  • 5篇张玲红
  • 3篇郑建丹
  • 3篇黄正宝
  • 3篇唐稚松
  • 2篇刘俭云
  • 2篇朱雪阳
  • 2篇杨敬中
  • 2篇刘艳
  • 2篇晏荣杰
  • 2篇李广元
  • 2篇吴澜波
  • 2篇陆公正
  • 2篇李辉
  • 2篇陈枢茜
  • 2篇陈琳琳
  • 1篇顾小晶
  • 1篇骆华俊
  • 1篇舒明

传媒

  • 5篇重庆师范学院...
  • 5篇计算机科学
  • 4篇计算机工程与...
  • 4篇重庆师范大学...
  • 3篇微计算机信息
  • 2篇软件学报
  • 1篇云南师范大学...
  • 1篇计算机工程
  • 1篇微电子学与计...
  • 1篇计算机应用
  • 1篇小型微型计算...
  • 1篇计算机工程与...
  • 1篇苏州大学学报...
  • 1篇现代计算机（...
  • 1篇苏州市职业大...
  • 1篇计算机测量与...
  • 1篇苏州大学学报...
  • 1篇淮阴师范学院...
  • 1篇电脑知识与技...
  • 1篇通讯和计算机...

年份

  • 2篇2011
  • 3篇2010
  • 2篇2009
  • 2篇2008
  • 1篇2007
  • 8篇2006
  • 5篇2005
  • 3篇2004
  • 3篇2003
  • 6篇2002
  • 3篇2001
共 37 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
XYZ/ADL到UML的一种映射方法被引量：2
2006年
分析了软件体系结构描述语言XYZ/ADL的体系结构设计元素和UML中的建模元素的语义相似性,并对UML的建模元素经过一定的扩展和约束,实现了从XYZ/ADL到UML的映射.
陈琳琳张广泉
关键词：软件体系结构形式化描述可视化描述XYZ/ADLUML
基于XYZ/E的CA系统体系结构描述被引量：2
2005年
XYZ/E是一种面向软件工程的时序逻辑语言,它在统一的逻辑框架下既能表示静态语义又能表示动态语义,在很多领域得到了广泛应用,但是能够同时结合XYZ/E的静态语义和动态语义在网络领域具体系统中的应用还不多见。本文用XYZ/E对CA系统的CA组件和RA组件之间的体系结构关系进行了抽象描述,并对CA和RA组件中的部分子组件进行了详细描述,从而为XYZ/E在CA系统中的应用提供了一个范例。
张广泉刘剑云黄正宝
关键词：XYZ/ECARA体系结构组件
形式化与可视化相结合的软件体系结构描述方法研究被引量：13
2005年
软件体系结构是软件工程领域中一个重要的研究内容,研究软件体系结构的首要问题是如何描述一个软件系统的体系结构模型。本文通过集成XYZ/ADL与UML两种描述方法在软件体系结构中的应用,寻求一种基于时序逻辑理论的形式化方法与面向对象的可视化方法相结合的软件体系结构描述新途径。着重研究XYZ/ADL与UML在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精。
戎玫张广泉
关键词：软件体系结构形式化方法逻辑理论电梯控制ADL
软件体系结构的特点与研究进展被引量：14
2002年
软件体系结构是软件工程的一个重要研究领域 ,它提供了软件系统的高层抽象。文章阐述了软件体系结构的产生背景和基本概念 ,以及体系结构描述语言 (ADL)、求精方法和特定领域体系结构 (DSSA)等主要研究内容 ;分析了软件体系结构与传统开发方法、O O方法、设计模式、软件复用、净室技术以及统一建模语言 (UML)
张广泉
关键词：软件体系结构体系结构描述语言设计模式UML软件工程
面向方面的软件体系结构描述语言AO-ADL被引量：8
2008年
分析面向方面编程(AOP)的核心思想及其优越性,将编码阶段的AOP概念进一步提升到软件体系结构层次。在软件体系结构描述语言XYZ/ADL的基础上,通过增加新的元素和相关复合机制,得到一种面向方面的体系结构描述语言AO-ADL,实现了在软件体系结构中横切功能的模块化。
杨敬中戎玫张广泉
关键词：面向方面编程软件体系结构
基于线性时序逻辑的实时系统模型检查被引量：16
2002年
模型检查是一种用于并发系统的性质验证的算法技术.LTLC(linear temporal logic with clocks)是一种连续时间时序逻辑,它是线性时序逻辑LTL的一种实时扩充.讨论实时系统关于LTLC公式的模型检查问题,将实时系统关于LTLC公式的模型检查化归为有穷状态转换系统关于LTL公式的模型检查,从而可以利用LTL的模型检查工具来对LTLC进行模型检查.由于LTLC既能表示实时系统的性质,又能表示实时系统的实现,这就使得时序逻辑LTLC的模型检查过程既能用于实时系统的性质验证,又能用于实时系统之间的一致性验证.
李广元唐稚松
关键词：实时系统时间自动机线性时序逻辑
基于XYZ/ADL的工厂自动化系统体系结构描述与求精
2010年
XYZ/ADL是一种以时序逻辑语言XYZ/E为基础的体系结构描述语言,可同时描述软件体系结构的静态与动态行为,支持高层到低层体系结构之间的逐层过渡。本文使用XYZ/ADL描述工厂自动化系统的体系结构,采用基于组件的求精方法对主要组件进行逐步求精。
陈枢茜张广泉
关键词：软件体系结构XYZ/ADL工厂自动化系统
UML与ACME/ADL在运输业务管理系统体系结构建模中的应用被引量：4
2004年
探讨了UML与ACME/ADL在运输业务管理系统体系结构建模中的应用问题。首先提出了软件体系结构的建模要素;然后用UML描述了系统体系结构的视图模型:进而用ACME/ADL描述了系统主要构件的交互模型;最后对这两种建模语言在体系结构建模方面的应用特性进行了比较和分析,得出了自己的结论。
张玲红戎玫张广泉
关键词：UML软件体系结构
基于UML和XYZ/E的ATM系统体系结构描述被引量：2
2010年
本文提出了将可视化建模语言UML和时序逻辑语言XYZ/E相结合来描述软件体系结构的方法。首先给出了该方法的基本框架,然后对XYZ/E进行扩展,使之能够显式地表示软件体系结构的基本元素,并定义了UML活动图的形式语义,最后,通过银行ATM实例进一步说明了该方法的可行性,对可视化和形式化相结合描述软件体系结构的研究具有一定的推动作用。
李辉张广泉陈枢茜
关键词：软件体系结构UMLXYZ/E
基于变迁系统的反应型控制系统建模与分析被引量：1
2001年
文中通过对基本变迁系统进行相应的扩充，分别给出并发、实时及混成等３个不同抽象层次反应型控制系统的计算模型，并分析它们各自不同的特点。
张广泉
全选 清除 导出
共4页<1234>
聚类工具0