论文部分内容阅读
本文针对顺序图形式分析上存在的困难，引进消息事件序约束的概念，利用Petri网理论定义了顺序图的分析模型，并给出了UML顺序图冲突和语义一致性的检查方法，最后通过一个实例说明了方法的使用。实例表明，该方法是可行和高效的。
基于Petri网的UML顺序图分析
【摘 要】
：
本文针对顺序图形式分析上存在的困难，引进消息事件序约束的概念，利用Petri网理论定义了顺序图的分析模型，并给出了UML顺序图冲突和语义一致性的检查方法，最后通过一个实例说明了
【机 构】
：
甘肃联合大学数学与信息学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2009年3期
其他文献
【正】国办发[2012]46号各省、自治区、直辖市人民政府,国务院各部委、各直属机构:教育部、发展改革委、公安部、人力资源社会保障部《关于做好进城务工人员随迁子女接受义务
小学是学生接受教育的最初阶段，也是基础教育必不可少的一部分。语文是基础教育中最基本的学科，在语文教育中加入激励教育，可以让学生在学习过程中增强自信心，激发学习兴趣，取得良
噪声系数是衡量一个小信号处理系统噪声性能的重要参数,噪声系数测量对于设计控制系统噪声具有重要的指导作用。该文首先介绍了噪声系数的相关基本概念,接着重点详细描述了噪
本文通过对Web服务的安全需求进行分析,提出了一个可扩展的安全的语义Web服务体系（SSWSA）模型,并详细介绍了模型中动态服务发现、服务接洽、服务的定制与管理等交互过程,以及模
本文讨论了MOGA目前存在的缺陷，并提出利用共享小生境技术为基础更新子群体，并针对遗传迭代过程提出相应的改进遗传策略。策略包括采用了期望、精英保留混合策略以及改进快速自
【正】琼府办[2012]59号各市、县、自治县人民政府,省政府直属各单位:经省政府同意,现将《海南省集中开展安全生产领域"打非治违"专项行动实施方案》印发给你们,请认真组织实
【正】琼卫妇社[2013]18号各市、县、自治县卫生局,省农垦总局卫生局,洋浦社会发展局,海医附院,厅直属有关单位:为加强我省高危孕产妇管理,降低孕产妇及围产儿死亡率,确保母
计算机基础课程的实践性教学对学员实践能力与创新能力的培养起着非常关键的作用，在加强对实践性教学认识的基础上，通过加强教员队伍的建设、更新实践教学内容、范例式和任务驱
二00八年七月二十三日交通运输部决定对《道路货物运输及站场管理规定》作如下修改：一、第八条修改为：申请从事道路货物运输经营的，应当向县级道路运输管理机构提出申请，并提供以
目的:建立一种检测重组抗CD20单克隆抗体的新的ELISA方法,以便快捷、简便、灵敏地检测生物体液中的重组抗CD20单抗。方法:采用双抗夹心ELISA法对重组抗CD20单克隆抗体进行定