论文部分内容阅读
软件体系结构建模是软件设计过程中的关键环节，论文首先讲述了目前工业界面临的一些问题，指出在软件体系结构建模过程中引入形式化方法的必要性，然后提出了UML与Z结合的建模过程，最后通过一个实例来描述它的应用。
UML与Z结合的建模过程及其应用
【摘 要】
：
软件体系结构建模是软件设计过程中的关键环节，论文首先讲述了目前工业界面临的一些问题，指出在软件体系结构建模过程中引入形式化方法的必要性，然后提出了UML与Z结合的建模过程
【机 构】
：
南京航空航天大学信息科学与技术学院,徐州师范大学计算机科学与技术学院,苏州大学计算机科学与技术学院
【出 处】
：
计算机科学
【发表日期】
：
2007年5期
【基金项目】
：
中国科学院计算机科学国家重点实验室开放课题（SYSKF0303）“软件体系结构求精及其验证技术研究”,江苏省高校自然科学研究项目（编号05KJB520119）,重庆市科学技术研究项目（040803）“软件体系结构设计方法与工具研究”.
其他文献
本文分析了网络自相似业务流Hurst参数的主要估计方法，并进行了详细对比。通过对方差时间图法的深入研究和实验，发现数据块的选择范围对估计结果有很大影响。本文分析了影响原
当顾客到达一个排队系统时，可以根据当前队列的长度，按照一定的概率选择加入排队系统等待队列，或选择离开排队系统且不再返回。这样的排队系统称为“具有随机离去策略的排队系统
一个智能体从周围环境中接收到多种知识,如何将这些知识合并成单一的、一致的知识是一个非常重要的问题,从信念修正中＂缩并＋添加＂得到启发,我们分两步解决这个问题.第一步弱化接
分布式系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要面向方面软件工程方法的支持,而形式化方法能保证分布式系统的正确性。本文对分布式规格说明语言Oc
随着流媒体技术在互联网上的广泛应用，原有用于加速Web内容分发的代理缓存技术也被应用于流媒体内容分发领域。然而，由于流媒体对象的一些独特特点，需要在传统Web缓存技术的基础
本文提出了一种基于值传递的系统模型，重新定义了诊断，该定义与Reiter经典的诊断定义等价。在此基础上，给出了一种线性时间找到一个极小诊断的算法，该方法不需要计算极小冲突而直
目前的大屏幕显示设备一般为用户提供间接的交互模式，因为交互设备采用的是面向桌面系统的指点设备，这些设备并不能提供最优的交互方式。好的交互方式应允许用户直接和屏幕交互
时空数据库要处理大量的数据。相对于单个时空数据来说，大量数据的聚集计算结果更有信息量。本文综述了时态聚集、空间聚集和时空聚集计算领域的研究现状，着重分析了各类时空聚
针对多粒度语言的多属性群决策问题,提出基于不确定语言变量的一致化新方法。利用虚拟术语指标不丢失信息的特点,选取连续性语言评价集,提出符合所给条件的多粒度不确定语言
变革中的企业如何使其员工更加欢迎变革？这是一个重要的实践和理论问题。通过以167家企业的人力资源主管和员工为研究对象建立跨层模型，发现关怀员工实践对员工变革开放性有显