XYZ/ADL

作品数：22被引量：106H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张广泉戎玫朱雪阳何亚丽骆华俊更多>>
相关机构：苏州大学中国科学院软件研究所暨南大学重庆师范大学更多>>
相关期刊：《重庆师范大学学报（自然科学版）》《电子学报》《云南师范大学学报（自然科学版）》《系统工程理论与实践》更多>>
相关基金：国家自然科学基金江苏省高校自然科学研究项目国家重点实验室开放基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于XYZ/ADL的网络中心化仿真运行支撑平台体系结构形式化描述被引量：2
《计算机科学》2012年第B06期365-369,共5页孙黎阳 毛少杰 林剑柠 刘中 
网络中心化仿真运行支撑平台体系结构是为了满足动态构建仿真任务共同体而提出的相应支撑环境。采用基于XYZ/ADL的双重软件体系结构描述框架,分别从图形语言和形式语言对仿真运行支撑平台体系结构进行了描述并对仿真任务共同体构建中仿...
关键词：网络中心化仿真 任务共同体 运行支撑平台体系结构 体系结构描述语言 XYZ/ADL 
基于XYZ/ADL的异步Web服务组合描述与验证被引量：2
《计算机科学》2011年第12期139-143,共5页石慧娟 戎玫 张广泉 朱稷涵 
国家自然科学基金(60973149);江苏省自然科学基金(BK2011281);中国科学院计算机科学国家重点实验室开放课题(SYSKF0908);江苏省高校自然科学研究项目(08KJB520010);苏州大学国家级大学生创新性实验计划项目(101028524)资助
以Web服务组合为研究对象,重点讨论了服务组合中异步通信行为和时间属性的形式化描述和验证。首先,从软件体系结构角度分析Web服务组合,采用基于时序逻辑的XYZ/ADL描述Web服务的交互行为和时间属性;然后,提出一种符合模型检测工具UPPAA...
关键词：WEB服务组合 XYZ/ADL 异步通信 时间属性 模型检测 
基于形式化描述的电梯控制系统的建模与仿真
《现代计算机（中旬刊）》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的Web服务组合描述与验证被引量：6
《电子学报》2011年第A03期86-93,共8页张广泉 戎玫 朱雪阳 何亚丽 石慧娟 
国家自然科学基金(No.60973149);中国科学院计算机科学国家重点实验室开放课题(No.SYSKF0908);江苏省高校自然科学研究项目(No.08KJB520010)
Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证...
关键词：WEB服务组合 XYZ/ADL XYZ/RE 时间自动机 精化检验 模型检测 
基于XYZ/ADL的工厂自动化系统体系结构描述与求精
《微计算机信息》2010年第21期33-35,38,共4页陈枢茜 张广泉 
基金申请人:张广泉;项目名称:基于XYZ/E的可视化软件体系结构描述语言研究;基金颁发部门:国家自然科学基金委(60073020)
XYZ/ADL是一种以时序逻辑语言XYZ/E为基础的体系结构描述语言,可同时描述软件体系结构的静态与动态行为,支持高层到低层体系结构之间的逐层过渡。本文使用XYZ/ADL描述工厂自动化系统的体系结构,采用基于组件的求精方法对主要组件进行逐...
关键词：软件体系结构 XYZ/ADL 描述 求精 工厂自动化系统 
基于XYZ/ADL的BPEL4WS Web服务组合描述方法
《电脑知识与技术（过刊）》2010年第29期8243-8244,共2页魏慧 
南京铁道职业技术学院青年基金项目(yq0907)
Web服务组合技术作为实现面向服务体系结构的一项重要技术,已成为当今学术界和工业界共同重视的研究内容之一。基于商业流程的工业化的描述方法BPEL4WS缺乏形式化语义而无法验证描述的正确性。基于此,分析软件体系结构描述语言XYZ/ADL...
关键词：XYZ/ADL BPEL4WS WEB服务 WEB服务组合 
一种基于UPPAAL的Web服务组合模型检测方法被引量：4
《计算机科学》2010年第11期122-125,共4页何亚丽 戎玫 张广泉 
中国科学院计算机科学国家重点实验室开放课题(SYSKF0908);江苏省高校自然科学研究项目(08KJB520010)资助
Web服务组合的正确性验证对提高软件开发效率、实现服务增值具有重要意义。为从高层抽象层次研究Web服务组合的正确性及其形式化验证方法,考虑到Web服务组合中的实时特征,在采用软件体系结构描述语言XYZ/ADL对Web服务组合进行描述的基础...
关键词：WEB服务组合 模型检测 XYZ/ADL XYZ/RE UPPAAL 
基于XYZ/ADL的Web服务组合精化检验
《苏州大学学报（自然科学版）》2010年第1期42-47,52,共7页何亚丽 张广泉 王昇 
中国科学院计算机科学国家重点实验室开放课题(SYSKF0908);江苏省高校自然科学研究项目(08KJB520010)
Web服务组合的正确性验证在Web服务组合过程中至关重要.从软件体系结构角度考虑Web服务组合,可以从整体上把握系统布局.采用体系结构描述语言XYZ/ADL描述Web服务组合,并将XYZ/ADL中的XYZ/RE程序映射至时间自动机,使用精化检验方法验证We...
关键词：WEB服务组合 XYZ/ADL XYZ/RE 时间自动机 精化检验 
一种基于体系结构的Web服务组合描述方法被引量：3
《计算机工程与科学》2008年第12期5-8,共4页魏慧 戎玫 张广泉 
江苏省高校自然科学研究项目(08KJB520010)
Web服务组合能够快速开发复杂的Web服务,以促进Web服务的增值。在分析并比较现有的Web服务组合方法的基础上,提出了一种形式化和工业化方法相结合的Web服务组合描述方法。针对Web服务及其组合的特点,研究了基于体系结构的Web服务组合描...
关键词：WEB服务 服务组合 体系结构描述语言 XYZ/ADL 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部