【摘 要】
：
Statechart是一种可视的规格描述语言,由于其直观的特性和强大的描述能力,一直得到广泛的重视,Statechart语义的关键在于执行步语义,不同的statechart的变体有着不同的描述能
【机 构】
：
长沙民政职业技术学院,长沙理工大学
论文部分内容阅读
Statechart是一种可视的规格描述语言,由于其直观的特性和强大的描述能力,一直得到广泛的重视,Statechart语义的关键在于执行步语义,不同的statechart的变体有着不同的描述能力,而应用于不同的领域.本文以三种应用最为广泛的Statechart语义为对象,以逆时间的方式,从UMLStatechart的语义开始,通过对Statechart功能的讨论,逐步引出了STATEMATE Statechart的语义和Pnueli给出的Statechart的语义,并进行了比较,显示出不同语义的描述能力
其他文献
针对金川下向进路式胶结充填法采矿工艺，开展了全尾砂-棒密砂混合充填料的工业试验研究。试验结果表明，添加30％的全尾砂充填料，不仅提高了充填体强度，而且还可降低充填体的沉缩率
通过试验研究了混凝土空心砖砌体的抗剪强度.试验结果表明:混凝土空心砖座浆面采用盲孔面设计,提高了砖和砂浆的粘结性,大大增加了剪切面积;砂浆的销栓作用能有效提高砌体的
采用二次回归正交组合设计,以改性比、催化剂用量、反应时间、反应温度为考察因素,研究优化了超支化聚酯作为抑尘剂的改性工艺。结果表明,各因素对保水率的影响由大到小依次
针对兰州石化公司润滑油基础油靠标试生产中基础油的"酸值"合格而"中和值"不合格问题进行了相关性研究,结果认为中和值比酸值更能科学、准确、严格地反映润滑油基础油的精制
结合交通事故数据库的抽象描述,给出了建立交通事故数据库的原则.在此基础上,构建了包含部分省道、国道和高速公路的事故数据库;为剖析事故因素中道路因素的地位和事故因素间
【正】 农副产品买方市场的形成,对以农业为主要经济特征的农业县来说,摆在我们面前的紧迫课题是如何适应国内外市场,优化农业结构,保持农民收入稳定增长和农业经济持续发展
<正> 水果产业已成为老河口市农业发展的支柱产业。经过多年的不懈努力,全市已形成了各类水果面积6 667hm~2、年产鲜果8万t、年产值1.6亿元的规模,建成了沿汉江百里水果基地,
针对旅游线路选择问题,在编码、交叉、变异等遗传操作上,对遗传算法作了改进,并用MATLAB编程实现.结果表明,改进的遗传算法能够较好地求解旅游线路选择问题.
2018年,全国石油和化工职业教育教学指导委员会(以下简称“石化行指委”)在教育部和行指委办公室的领导下,在全体委员、各专业(专门)委员会的共同努力下,严格按照石化行指委