搜索筛选:
搜索耗时0.4478秒,为你在为你在61,042,058篇论文里面共找到 1,000 篇相符的论文内容
发布年度:
[期刊论文] 作者：张广泉,戎玫,朱雪阳,何亚丽,石慧娟,,
来源：电子学报 年份：2011
Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL...
[期刊论文] 作者：何亚丽,戎玫,张广泉,,
来源：计算机科学 年份：2010
Web服务组合的正确性验证对提高软件开发效率、实现服务增值具有重要意义。为从高层抽象层次研究Web服务组合的正确性及其形式化验证方法,考虑到Web服务组合中的实时特征,在...
[期刊论文] 作者：石慧娟,戎玫,张广泉,朱稷涵,,
来源：计算机科学 年份：2011
以web服务组合为研究对象，重点讨论了服务组合中异步通信行为和时间属性的形式化描述和验证。首先，从软件体系结构角度分析web服务组合，采用基于时序逻辑的XYZ／ADL描述web服务的......
[期刊论文] 作者：戎玫,张广泉,
来源：计算机科学 年份：2003
Software architecture is the highest-level abstraction of a system. It provides a model of the large-scale structural properties of systems. Recently, software...
[期刊论文] 作者：戎玫,张广泉,
来源：计算机科学 年份：2003
Model checking is an algorithmic verification technique that checks automatically whether a given finitestate concurrent system satisfies its temporal specifica...
[期刊论文] 作者：戎玫, 张广泉,
来源：计算机科学 年份：2005
软件体系结构是软件工程领域中一个重要的研究内容,研究软件体系结构的首要问题是如何描述一个软件系统的体系结构模型.本文通过集成XYZ/ADL与UML两种描述方法在软件体系结构...
[期刊论文] 作者：魏慧,戎玫,张广泉,
来源：计算机工程与科学 年份：2008
Web服务组合能够快速开发复杂的Web服务，以促进Web服务的增值。在分析并比较现有的Web服务组合方法的基础上，提出了一种形式化和工业化方法相结合的Web服务组合描述方法。针对W...
[期刊论文] 作者：戎玫,何志学,张广泉,,
来源：计算机应用 年份：2008
为了缩减程序验证的状态空间,针对面向对象程序的并发机制,定义了程序中存在的依赖关系,提出一种从待验证的线性时序逻辑(LTL)性质中提取出切片准则对程序进行切片的方法。切片后的程序与原程序对待验证的LTL性质具有相同的可满足性,而其对应的状态转换图中的状......
[期刊论文] 作者：张姝,戎玫,张广泉,
来源：计算机工程与设计 年份：2008
UML2．0通信图可以表示对象之间的交互，很适合用于对系统的交互行为建模，但由于UML缺乏精确语义，使得难以对其所表示的系统行为进行分析和验证。XYZ／E是可执行线性时序逻辑语言，既可......
[期刊论文] 作者：戎玫, 张广泉, 刘艳,,
来源：计算机科学 年份：2005
软件体系结构是目前软件工程领域一个新兴的研究方向,对于复杂的软件系统而言,其体系结构的设计已经成为系统能否成功的一个关键因素.本文以一个图书管理系统为例,采用统一建...
[期刊论文] 作者：陆公正,戎玫,张广泉,
来源：计算机科学 年份：2006
工作流模型验证成为工作流的重要研究领域之一。控制结构的正确性是工作流过程所需达到的最基本要求，本文着重控制结构方面的验证。本文使用UML-Statecharts建立控制结构模型，...
[期刊论文] 作者：陈雷,张广泉,戎玫,,
来源：计算机研究与发展 年份：2010
在无线传感器网络(WSN)的拓扑控制问题中,良好的拓扑结构能够提高路由协议和MAC协议的效率,但是WSN易受外界环境的影响,所以需要设计拓扑结构也能随着环境的变化而变化.而以...
[期刊论文] 作者：林苗,戎玫,张广泉,
来源：计算机工程与应用 年份：2009
在嵌入式实时软件的开发早期，将构件技术应用于对其进行时间需求的形式化分析中，不但有助于保证软件的正确性和可靠性，还能缩短需求分析周期、提高软件生产率。给出了一种基于构......
[期刊论文] 作者：陈道喜,戎玫,张广泉,
来源：计算机工程与科学 年份：2009
模型检测技术已成功地运用于验证复杂系统的性质。本文提出运用Promela语言对电子商务协议进行建模的方法，对比分析了有无入侵者时简化的SET协议的运行情况。运用Spin模型检测...
[期刊论文] 作者：陆公正,戎玫,张广泉,
来源：苏州大学学报(工科版) 年份：2005
模型检测是一种用于并发系统性质验证的算法技术.实际生活中广泛应用的是带有时间约束的并发系统即实时系统,现在模型检测技术越来越被广泛地应用到这类系统的性质验证当中....
[期刊论文] 作者：张广泉,林苗,戎玫,
来源：计算机工程与科学 年份：2008
嵌入式实时软件具有严格的时间要求，任何时间错误都可能造成重大的经济损失甚至导致灾难性的后果。因此，在软件开发早期，对其时间需求进行形式化的分析和验证是非常重要的。本文......
[期刊论文] 作者：李璐,戎玫,张广泉,,
来源：计算机应用与软件 年份：2009
服务质量QoS管理是满足分布式环境中端到端QoS需求的关键,而中间件是一种分布式系统中的主要交互平台。首先对中间件和QoS的相关概念进行介绍,在分析传统QoS管理模型的基础上,提出一种基于消息中间件(MOM)的QoS管理模型,重点分析多维QoS在该模型中的应用,最后结......
[期刊论文] 作者：陈琳琳,戎玫,张广泉,,
来源：计算机应用 年份：2006
选择了一种基于时序逻辑语言XYZ/E的体系结构描述语言XYZ/ADL,分析了其设计元素和UML建模元素的语义,并通过UML扩展机制和对象约束语言进行扩展和约束,建立起从XYZ/ADL到UML的映射。...
[期刊论文] 作者：张广泉,戎玫,王昇,,
来源：电子学报 年份：2011
针对现有Web服务组合过程中存在时间感知力弱、服务利用率低、组合可靠性差等问题,通过将定量时间属性引入Web服务交互适配框架中,研究时间感知Web服务交互行为的形式化建模...
[期刊论文] 作者：左春华,张广泉,戎玫,
来源：计算机科学 年份：2007
为保证程序的正确性，程序在投入使用前需要检验其是否满足规定的性质，那么程序的性质需要用一种语言来描述。XYZ／AE是时序逻辑系统XYZ的一个子语言，用此语言描述程序性质有很多优......
相关搜索：
