论文部分内容阅读
在给出用例及其相关概念的形式化定义的基础上,构建了从用例到具有优先级策略的时间Petri网模型映射的实施方法;提出了一种基于用例和Petri网的建模方法.它先以用例来捕获需求,再用具有优先级策略的时间Petri网来图形化用例,以此来实现它们各自优势的互补。
一种基于用例及优先级策略时间Petri网的建模方法
【摘 要】
：
在给出用例及其相关概念的形式化定义的基础上,构建了从用例到具有优先级策略的时间Petri网模型映射的实施方法;提出了一种基于用例和Petri网的建模方法.它先以用例来捕获需
【机 构】
：
安徽农业大学信息与计算机学院,安徽省电力设计院信息部
【出 处】
：
红河学院学报
【发表日期】
：
2009年5期
【基金项目】
：
安徽农业大学2008年校长青年科学基金项目
其他文献
英国和国际联盟如何应对“九·一八”事变，对当时局势的演变具有重要的影响。“九·一八”事变之后，英国的远东外交政策发生了积极的变化，国际联盟也做了维护和平现状的
12864 液晶显示器在日常生活中经常见到,它能直接显示各类大小汉字、图形和曲线等,本文设计了一套基于单片机的 LCD12864 显示系统,是能通过一个函数能实现各类大小字符、数
短距篇章环境中，指称词语的选择多受指称词语可及性的影响。指称词语的可及性越高，使用率就越高，反之则越低。从汉语第三人称代词的形成、使用习惯及原指角色等方面看，“新文化运
随着SCORM标准各版本的相继推出，网络学习环境下的学习资源、软件的开发有了一个可共同参照的规格．但如何制作符合SCORM规格的学习资源，一直不被相关教学设计人员所掌握，文章以SC
合作式教学是新课改提出的一种新颖教学方法,旨在通过合作伙伴彼此共进,共同完成任务,并且培养学生良好的合作精神。 这一教学方法已经在许多课堂上得到了很好的运用,农村小
利用武汉和长阳基地的气候差异,结合花毛茛的生长特性,将播种法与球根催芽法相结合,采用武汉育球→高山催芽育大苗→武汉催花的栽培方法,生长过程无需加热、补光即可在元旦、
现阶段随着素质教育的深入和发展,社会上越来越多的人们认识到教育的重要性,教育技术的发展应用成为当今社会主要发展 趋势。初中教育的也引起人们的高度重视,把初中生带到学