【摘 要】
：
作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证.状态图作为U
【基金项目】
：
航空科学基金资助项目(01F51052)
论文部分内容阅读
作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证.状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题,而Petri网作为一种建模工具,有着严格的形式化语义,而且有很多成熟的分析方法.本文针对UML2.0状态图模型,对状态图至Petri网转化方法进行了研究,并提出了将状态图转换为Petri网的算法.
其他文献
乡村产品开发就是乡村经济实体为适应外部环境的变化,适时并经常推出新产品和更新老产品.它是增强乡村经济实体生存、发展能力的前提和条件,是力求在竞争中立于不败之地的重
When the damage to a natural heritage is unavoidable, recording the natural heritage before damage may be the only way we can achieve to preserve the heritage i
离婚陪偿制度的确立,不仅完善了婚姻法的立法体例,而且也赋予了当事人可寻求救济的法律依据.但是,"中国特有的婚姻文化,影响着立法者不仅不愿法律对婚姻家庭领域的过多介入,
人类天空是一片大同天，中国天空有一片大同蓝。大同蓝是纯净的蓝，大同蓝是美丽的蓝。蓝蓝的天空爽爽的风，秀美山川映眼帘：桑干河畔飞天鹅，
文章认为,以毛泽东为代表的第一代领导集体创立了"实事求是"、"理论联系实际"的马克思主义学风,夺取了中国革命的伟大胜利;以邓小平为代表的第二代领导集体,丰富了"解放思想"
采用ABM(Agent-based modeling)建模方法,通过构建Agent个体和群体行为模型,构建危机事件中模拟第三方国家的MAS系统。它立足于对第三方国家战略决策历史行为数据进行分析,试图得到一些关于国家决策行为的规律性结论。该模型的原型系统已经应用于某大型战略综合模拟系统中。
【正】 学校体育课成绩的评定,是学校体育教学不可缺少的基本环节,它不仅反映学校体育教学具体实施的情况,而且反映学生的实际体育水平。因此,能否合理地评定学生体育课的成
四川是人口大省，劳动力资源十分丰富。在改革开放和社会主义市场经济的推动下，四川的劳动就业出现了新的局面，其构成和配置方面具有新的特征。但由于劳动力供求矛盾突出，调整就业
【正】 陶行知是中国现代史上卓越的教育家,杰出的民主主义战士。他始终将教育与人民的幸福、民族的前途、国家的命运紧紧地联系在一起。在不断的实践活动中,创立并发展了他
【正】 在《二十四诗品》中,司空图对艺术与客观世界的关系,形似与神似,色彩的浓淡,典型化的方法等一系列有关诗歌美学的重要问题,作了深入的研究,提出了不少精辟的意见。这