论文部分内容阅读
对性能评价进程代数（PEPA）扩展，提出具有时序特征的随机进程代数（ESPA）。在此基础上进一步提出一种软件体系结构功述语言（PEADL）。介绍PEADL的语法和语义，并通过三层C／S结构应用系统展示PEADL的表述能力。
一种基于进程代数的软件体系结构描述语言PEADL
【摘 要】
：
对性能评价进程代数（PEPA）扩展，提出具有时序特征的随机进程代数（ESPA）。在此基础上进一步提出一种软件体系结构功述语言（PEADL）。介绍PEADL的语法和语义，并通过三层C／S结构应用系统展
【机 构】
：
北方工业大学计算机系,东北大学计算机科学与工程系
【出 处】
：
计算机工程与应用
【发表日期】
：
2003年5期
【基金项目】
：
国家自然科学基金资助(编号:60073059)
其他文献
"汽车电气设备"是中专学校汽车运用工程专业一门重要的专业课,学好这门课,对学生毕业后从事各类汽车的使用、维修业务具有重要意义。由于该课程的理论性、实践性都很强,要真
<正> 骨髓移植(BMT)后,因受者移植前接受超剂量化疗及放疗,造血及免疫功能严重受损,此时极易合并感染,特别是病毒感染,已成为 BMT 后主要死亡原因之一.本文报告我院自1983年
目的应用6-羟基多巴（6-hydroxydopamine,6-OHDA）制作帕金森病（Parkinson’s disease,PD）大鼠模型,并对大鼠外周血淋巴细胞中salsolinol氮甲基转移酶（SNMT）的活性进行测定。方法利用
目的为研究者选择合适的牛磺胆酸钠浓度来制备大鼠重症胰腺炎（severe acute pancreatitis,SAP）SAP模型提供依据。方法将60只SD大鼠随机分为假手术组、1.5%浓度组、3.5%浓度组和
FXS端口防护目前有两种方案,一种为采用可编程的防护器件TISP61089进行防护,另外一种采用固定电压的防护器件进行防护,两种防护方案在实际的应用中都有客户在使用,而且各有千
本文以中映非线性编辑系统为例，对非线性编辑设备在视频制作领域中遇到的采集上传、音频制作、文件保存等方面存在一些问题进行了分析，提出了改进及处理办法。
目的对西藏小型猪GH基因（部分序列）进行SNP分析,筛选体型较小的基因型。方法采用PCR产物直接测序法对108头西藏小型猪GH基因5＇端部分片段进行单核苷酸多态性（SNP）分析。结果通过比
为了进一步探讨胎肝无细胞悬液治疗再障及其他血液病的治疗方法和机理,我们采用自制的胎儿多脏器复合因子注射液,以下简称HFCF.对6种血液病进行了治疗.现对各类血液病的疗效
本来一起普通的交通事故往往由于逃逸而变得扑朔迷离，受害者的损失无法得到补偿。“伤口”无法愈合，亡灵无法告慰；对于逃逸者惊恐和躲避将伴随其左右；而法律是严肃的，逃避必然付出
目的通过组织块培养法,建立一种高效可靠的小鼠脾脏间充质干细胞分离扩增策略。方法无菌条件下取小鼠脾脏组织充分碾碎,使用胶原酶消化获得的脾脏基质组织,将消化后的组织块