【摘 要】
：
UML是软件工程中广泛应用的建模语言 ,但其主要问题是缺少严格的形式化语义 ,因而描述的模型容易产生歧义 根据UML活动图的语法和工作流系统的特点 ,为UML活动图定义了一种执
【机 构】
：
中国科学院研究生院信息科学与工程学院,中国科学院计算技术研究所智能信息处理开放实验室
【基金项目】
：
国家“八六三”高技术研究发展计划基金项目(2001AA113121,2003AA115220);中国科学院研究生院院长基金项目(yzjj200306)
论文部分内容阅读
UML是软件工程中广泛应用的建模语言 ,但其主要问题是缺少严格的形式化语义 ,因而描述的模型容易产生歧义 根据UML活动图的语法和工作流系统的特点 ,为UML活动图定义了一种执行语义 基于时间转变系统模型 ,将工作流系统的执行描述为时间转变和数据转变两个交替进行的过程 时间转变描述时间的前进 ,数据转变修改工作流案例的状态 ,这种语义比层次状态图具有更强的描述并行的能力 ,比Petri网和进程代数更适合描述工作流模型
其他文献
摘 要 目的：观察胰岛素治疗对糖尿病周围神经病变患者下肢震动感觉阈值的影响。方法：选取糖尿病合并周围神经病变患者126例，其中胰岛素治疗组61例，口服药物治疗组65例，对照组30例，全部患者测定下肢震动感觉阈值及临床生化指标。结果：胰岛素治疗组下肢震动感觉阈值低于口服药物治疗组(P＜0.05)。下肢震动感觉阈值与糖尿病病程、FBG、HbA1c、CHO、24小时尿微量白蛋白定量等成正相关(P＜0.0
目的分析疑有染色体异常个体的9号染色体异染色质区的变异。方法采集疑有染色体异常的3075名个体静脉血，其中男性1653例，女性1422例，以1515名正常人作对照，培养其淋巴细胞进行染
摘 要 目的：探讨家庭护理干预对脑梗死患者遵医行为的效果。方法：将100例脑梗死患者随机分为试验组和对照组，两组在住院期间均给予常规的健康指导，试验组在出院后给予积极的家庭护理干预措施，对照组不干预。结果：试验组在各项检查指标（除总胆固醇外）、遵医行为（除血压监测外）明显优于对照组（P＜0.01）。结论：家庭护理干预可改善患者的不良习惯，促进患者的遵医行为，提高生命质量。 关键词 家庭护理 脑梗
摘 要 目的:分析农牧村妇女妇科病患病情况。掌握农牧村妇女的发病趋势。方法:对4265名已婚妇女制定有效的防治措施,以防治宫颈癌为中心的群体性的妇科病普查普治。结果:妇科患病3153人,患病率73.92%,各疾病患病率由高到低依次为附件炎、宫颈炎、阴道炎、盆腔炎、生殖器肿瘤(不同年龄患病率不同)。结论:已婚妇女生殖道感染的发病率较高,生殖道健康知识缺乏,不良卫生习惯较为普遍,应加强农牧村妇女卫生知
doi:10.3969/j.issn.1007-614x.2009.02.110 女性内生殖器官及其周围的结缔组织、盆腔腹膜有炎症称为盆腔炎。此为妇科常见病。根据炎症的发病过程可以分为急性和慢性两种。急性盆腔炎治疗不彻底或未及时治疗很容易转成慢性，是影响妇女生活的常见病。为提高妇女的生活质量，我院配合中药治疗妇女慢性盆腔炎取得了一定的成效。 病因：急性盆腔炎治疗不彻底或未及时治疗转成慢性；
目的探讨口服益生菌联合早期微量喂养对早产儿肠道菌群及免疫功能的影响。方法选择2014年1月~2016年1月间我院收治的早产儿200例作为研究对象,将其随机分成两组,分别定为观察
重症肌无力是一种神经肌肉接头传递障碍的获得性自身免疫性疾病。大部分患者的自身抗原为神经肌肉接头突触后膜上乙酰胆碱受体,有一部分患者为肌肉特异性络氨酸激酶。因抗原不同,MG的临床表现也有差异。治疗上也有一些进展。本文对MG的发病机制、临床表现和治疗进展作一介绍。
目的：检测凋亡抑制基因Sur-vivin和BAG-1在上皮性卵巢肿瘤中的表达，分析它们与卵巢恶性肿瘤发生、发展及预后的关系。方法：用S—P免疫组织化学法检测Survivin和BAG-1在皮性卵巢