论文部分内容阅读
本文针对顺序图形式分析上存在的困难，引进消息事件序约束的概念，利用Petri网理论定义了顺序图的分析模型，并给出了UML顺序图冲突和语义一致性的检查方法，最后通过一个实例说明了方法的使用。实例表明，该方法是可行和高效的。
基于Petri网的UML顺序图分析
【摘 要】
：
本文针对顺序图形式分析上存在的困难，引进消息事件序约束的概念，利用Petri网理论定义了顺序图的分析模型，并给出了UML顺序图冲突和语义一致性的检查方法，最后通过一个实例说明了
【机 构】
：
甘肃联合大学数学与信息学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2009年3期
其他文献
噪声系数是衡量一个小信号处理系统噪声性能的重要参数,噪声系数测量对于设计控制系统噪声具有重要的指导作用。该文首先介绍了噪声系数的相关基本概念,接着重点详细描述了噪
本文讨论了MOGA目前存在的缺陷，并提出利用共享小生境技术为基础更新子群体，并针对遗传迭代过程提出相应的改进遗传策略。策略包括采用了期望、精英保留混合策略以及改进快速自
目的:建立一种检测重组抗CD20单克隆抗体的新的ELISA方法,以便快捷、简便、灵敏地检测生物体液中的重组抗CD20单抗。方法:采用双抗夹心ELISA法对重组抗CD20单克隆抗体进行定