【摘 要】
：
该文提出了一种以UniNet为基础的软件体系结构建模技术.该文系统地提出了UniNet以及相关的概念,抽象出功能和控制在软件系统中并存的事实,并且通过变迁的控制哨和变量哨加强
论文部分内容阅读
该文提出了一种以UniNet为基础的软件体系结构建模技术.该文系统地提出了UniNet以及相关的概念,抽象出功能和控制在软件系统中并存的事实,并且通过变迁的控制哨和变量哨加强软件系统中操作与系统自我控制的描述,从而使得UniNet更加适合描述程序系统.在理论方面,该文从UniNet角度,对软件体系结构建模中涉及到的概念和性质进行了详细的讨论.另外,该文不仅给出了软件体系结构的基本组成-构件、连接器和系统-的结构以及规范描述规则,而且提出自顶向下,逐步细化,逐步证明的建模步骤.该文给出了UniNet规范向特定计算机体系结构映射的方法.根据这个方法,在软件设计阶段得到的独立于计算机体系结构的系统规范,可以很容易地实现向特定的计算机体系结构映射,从而使得可视化的系统模型向代码的转化成为可能.
其他文献
基于惯性和磁的微型姿态传感器可以为游戏、虚拟现实、交互学习、卡通及电影特效提供重要的三维姿态信息。尤其是最近几年，随着微机电系统(micro-electro-mechanicalsystems，ME
信息提取(Information Extraction)技术在对互联网(Web)进行信息挖掘和从Web向语义网进行数据迁移的过程中,具有重要的作用.而作为语义网核心技术的本体论方法具有改进信息组
目前,在全球流媒体领域,从事于集群高性能流媒体服务器的研究和开发并不很多,很多流媒体服务器生产厂商研究的重点是在单机流媒体服务器上,并不是集群高性能流媒体服务器.该
随着电子商务应用的需求和Internet上企业级应用的迅速发展，Web应用服务器成为研究热点。它以网络分布式计算的底层技术为基础，将用户接口、业务逻辑和后端服务分离，提供一个创
该文详细阐述了功能级超标量模拟器HOPE-I的设计与实现.HOPE-I模拟器为目标系统的基线模型,采用执行驱动技术实现,可运行用户级程序,其具有软件结构模块化、参数可配置、时序
该文首先介绍了网络考试资源挖掘的基本概念,然后重点讨论了如何在网络考试资源中应用数据挖掘技术,即通过分析考试数据服务器上的考试资源得出有价值的信息,以及为网络考试
该文对词法分析和词性标注这两个问题进行了深入的研究,并根据各自的特点提出了相应的解决方案. 英语词法分析包含两个部分:句子边界识别和形态还原.自然语言的语法规则都是
该文阐述了Web Service的技术架构,在传统的分布式技术的基础上,提出了一个基于Web Services的异地协同设计架构模型,并建立一个异地协同设计的UDDI注册中心,让所有的敏捷制
对目前肤色检测研究现状的分析表明肤色检测问题仍有待于更加深入的研究:1.一方面就是如何使肤色检测能够满足实时的要求,达到更快的检测速度;2.另一方面就是如何使肤色检测
SIPSYS系统基于SIP协议构建分布式架构,以Linux为操作系统平台,核心功能组件全部软件化,主要使用C++编程语言实现.该文的工作就是以软交换系统SIPSYS为基础,在系统中提供语音