基于Lotos的面向宏的规范风格

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户：zhangdong1231

【摘要】

：

Lotos规范风格在系统规范描述中可以体现系统模型的结构性.在已存在的4种Lotos规范风格中,引入了宏的思想,构思了一种新的Lotos描述风格,即面向宏的规范风格,并分析了基于此

【作者】

：

王继曾张键王小刚

【机构】

：

兰州理工大学

【出处】

：

计算机工程与设计

【发表日期】

：

2005年1期

【关键词】

：

LOTOS 规范风格结构模型协议宏 Lotos specification style structure model protocol macr

【基金项目】

：

甘肃省自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

Lotos规范风格在系统规范描述中可以体现系统模型的结构性.在已存在的4种Lotos规范风格中,引入了宏的思想,构思了一种新的Lotos描述风格,即面向宏的规范风格,并分析了基于此风格的规范进程设计方法,以及将此进程应用于系统实现的方法.该风格适合于描述分层的、内部模型具有相似结构的分布式系统.

其他文献

典型相关分析方法对21世纪江淮流域极端降水的预估试验

利用1961—1990年江淮流域逐日降水资料、NCEP/NCAR再分析资料和HadCM3 SRES A1B情景下模式预估资料,采用典型相关分析统计降尺度方法,评估降尺度模型对当前极端降水指数的模

期刊

统计降尺度典型相关分析极端降水预估statistical downscaling canonical correlation analysis ex

企业信任与管理控制的整合分析框架

[摘要]管理控制失效，企业信任备受关注，厘清管理控制与企业信任的关系，将多维度信任与管理型控制、领导型控制两种控制方式整合，构造一个兼容企业信任与管理控制的分析框架更具有现实意义。　　[关键词]企业信任；管理控制；整合；分析框架　　　　有着完善控制制度的企业控制失效。学者们开始质疑企业内部控制自身机理的欠缺，企业信任引起了理论与实务界关注，科学整合信任与控制成为一个新课题。本文首先梳理信任与控制相

期刊

企业信任管理控制整合分析框架

叠层橡胶支座隔震结构的楼层反应谱基本理论研究

针对剪切型建筑物在叠层橡胶支座隔震情况下，考虑主次结构间干扰作用后，推导出主，次，隔震系统所组成的整体系统的运动控制方程，为获得叠层像胶支座隔震结构的楼层反应着谱提供了是

期刊

叠层橡胶支座隔震结构楼层反应谱建筑物隔震系统secondaryprimary structure floor response spectra ba

多年代气候预估中太阳黑子的作用

<正>在利用气候模式做未来几十年的气候预估中,一般只考虑人类活动的影响,而难以考虑太阳活动和火山活动的影响,这是由于其变化难以预测和预估。但是,众所周知,太阳是地球气

期刊

太阳黑子气候变化气候预估气候模式总太阳辐射RCP平流层温度气候变量再分析资料

财政部企业司有关负责人就企业重组有关职工安置费用财务管理政策答记者问

2009年6月25日，财政部印发了《关于企业重组有关职工安置费用财务管理问题的通知》（财企[2009]117号，以下简称《通知》）。日前，财政部企业司有关负责人就相关问题回答了记者提问。

期刊

职工安置费用财务管理问题企业重组财政部负责人答记者问管理政策《通知》

基于生命周期理论的民营企业融资策略

由于民营企业所处环境不同，在企业生命周期的不同发展阶段，面临的风险内涵和强度特征不尽相同，从而直接影响到民营企业融资战略的选择。本文立足于民营企业可持续发展的前提，分析

期刊

民营企业企业生命周期融资

基于Lotos的面向宏的规范风格

与本文相关的学术论文