论文部分内容阅读
为便于软件体系结构的形式化描述,在π-ADL的语法基础上,简化其连接,增加了连接件的角色描述,并给出描述体系结构及元素的基本句法.通过一个例子展示了π-ADL的使用方法.最后说明在π-ADL描述基础上软件体系结构的求精.
基于π-ADL的软件体系结构描述
【摘 要】
：
为便于软件体系结构的形式化描述,在π-ADL的语法基础上,简化其连接,增加了连接件的角色描述,并给出描述体系结构及元素的基本句法.通过一个例子展示了π-ADL的使用方法.最后
【机 构】
：
兰州交通大学数理与软件工程学院
【出 处】
：
兰州交通大学学报
【发表日期】
：
2010年6期
【基金项目】
：
甘肃省自然科学基金（2008GS02625）, 甘肃省教育厅科研基金资助项目（0804-01）
其他文献
面对高等教育大众化进程,面对西部地域的现实,面对大学生传统与现代、理想与现实的择业矛盾,大学生特别是西部地区的大学生感到前所未有的就业压力,极易产生不良的就业心理。
介绍了AVR单片机与FPGA的总线接口的设计与实现，采用ATmega128微控制器与Ahera公司的Cyclone系列芯片EP1C6Q24017进行硬件设计，详细阐述了硬件电路的结构，给出了基于硬件描述语
通过对甘肃本科高校近年来党建工作的调查和分析,总结了取得的实践经验,分析了存在的问题,提出了改进措施。认为在新形势下要通过强化机制保障、规范发展程序、注重实践养成
简单图G（V,E）的Smarandachely邻点全染色是G的正常全染色,满足对图G（V,E）的任意两个相邻点u和v有｜C（u）／C（V）｜≥1且｜C（v）／C（u）｜≥1,其所用最小色数称为图G的Smarandachely邻点全色数,其中：C（u）={f（u）}
图的赋权边覆盖问题是计算简单无向赋权图中的最小边覆盖数,以及权值最小的边覆盖.图的边覆盖问题与图的匹配问题相关.通过建立图的赋权边覆盖问题的模型,提出采用模拟退火算
唐前咏书文学以赋为主,诗、散文少许。凡标明＂体＂、＂势＂、＂状＂的咏书文都是赋,＂赞＂和＂铭＂应为诗。程式化倾向,铺陈描写,多用比喻,侧重表现书法的动态美、力感和生命感,语言华丽富赡,是
在当前高职数控技能训练课程中,对学生实习质量的考核评价,不能完全符合高职培养目标的要求。本文阐明在工学结合课程模式下,辅以过程性的考核方法,可以较好地激励学生的学习
长期以来，铁路运输业依靠传统垄断优势在运输市场竞争中占据主导地位，随着运输市场对外开放步伐的加快和国内多种运输方式竞争的加剧，乘客和货主对铁路运输的质量提出了更高的要
讨论了基于矢量化的等高线生成数字高程模型(Digital Elevation Map)的方法,并在此基础上进行了三维建模,实现了等高线的三维可视化,本文以线性内插为基础,采取了简化的基于等高线特性的内插方法,并提出了一种等高线的快速搜索方法,该算法通过软件实现,已应用在铁路电力架空线路辅助设计系统中.