【摘 要】
：
计算机软件的运行,归根到底是一个动态的过程,可以看作是由多个运行场景所组成的.传统的软件需求建模过程,包括面向对象建模,都是通过从需求规约中提取系统参与者,即角色,然
【机 构】
：
武汉大学计算机学院,武汉,430072
论文部分内容阅读
计算机软件的运行,归根到底是一个动态的过程,可以看作是由多个运行场景所组成的.传统的软件需求建模过程,包括面向对象建模,都是通过从需求规约中提取系统参与者,即角色,然后建立它们之间的联系以及它们的动作.而软件行为学,则是通过提取需求规约中的场景,来建立行为模型,继而确定参与角色.通过时序逻辑的方法来描述软件需求中的行为,并给出行为精化的过程,为软件行为学的研究奠定了基础.
其他文献
随着糖尿病发病率的逐年上升及糖尿病病人寿命的延长 ,糖尿病肾病 (DN)已成为糖尿病患者致死和致残的主要原因之一。在许多发达国家已为终末期肾病的主要原因 ,占透析和肾移
大型的长期运行的系统往往要求软件系统不能停止运行,而软件演化作为软件维护的重要部分是每一个软件系统不可或缺的,这就要求能够实现软件的动态演化.提出了一种基于AOP技术
目的 探讨高浓度葡萄糖对正常和糖尿病大鼠骨骼肌钙负载和环磷酸腺苷 (c AMP)含量的影响。方法 体内实验直接测定糖尿病和正常大鼠骨骼肌钙负载和 c AMP含量 ,体外实验用比
针对通用数据挖掘系统的应用局限性和专用数据挖掘系统开发的复杂性,提出了一种基于组件技术的数据挖掘应用开发模型,用于实现数据挖掘实际应用系统开发中的软件复用.讨论了
钒酸盐治疗糖尿病的确切机制尚不完全清楚 ,本实验拟阐述糖尿病代谢物 6 -磷酸葡萄糖 (G- 6 - P)是否在糖尿病钒酸盐治疗中发挥作用及其可能的作用机制 ,报告如下。材料与方
目前倾向认为 ,HL A- DQB1和 DRB1基因作为 1型糖尿病(DM)的易感基因 ,各自具有独立的作用 ,前者可促进 1型 DM的发生 ,后者则影响其临床进程。因此 ,DR位点研究仍待深入。自
为了解糖尿病大鼠视网膜组织中三磷酸腺苷酶活性的变化情况 ,我们动态地观察了糖尿病大鼠发病后不同时期视网膜组织中 Na+ - K+ - ATPase活性的变化 ,现将其结果报告如下。材
全年门诊、急诊、入院、出院、手术分别比上年增长11.95％、 17.99％、 6.02％、 5.94％、 7.60％......2017年,长寿区人民医院紧紧围绕公立医院综合改革和三甲医院复评工作,大力开展“
中国糖尿病性脑血管病发生率为 3.6 3%～ 17.19% [1 ] ,尤其是在 2型糖尿病患者中 ,其患病率高 ,发病早 ,易反复发生 ,严重威胁糖尿病患者的生命及生活质量。近年来 ,多采用研