【摘 要】
：
在UML2.0规范中顺序图的语义仍然是以自然语言的形式描述的,为实现对顺序图的自动化分析和验证,必须为顺序图定义一种形式化的语义模型。为此首先给出了UML顺序图的一种符合B
【机 构】
：
北方工业大学信息工程学院,中国科学院研究生院
论文部分内容阅读
在UML2.0规范中顺序图的语义仍然是以自然语言的形式描述的,为实现对顺序图的自动化分析和验证,必须为顺序图定义一种形式化的语义模型。为此首先给出了UML顺序图的一种符合BNF范式的形式化语法,然后为该语法中的非终止符定义转换规则,将UML顺序图中的基本动作转换为加标Petri网组件,最后定义了各种合成操作,利用这些合成操作可以将UML顺序图的加标Petri网组件转换为加标Petri网。
其他文献
以生态文明体制改革为切入点,提出制约老工业基地振兴的关键因素、障碍成因及其改革方案。
自治是大学最有效的治理方式,然而,大学自治需坚持公共价值,主动回应时代的变革,并建立恰切有效的内部治理结构。董事会是一种有效的制度设计,在适当扩大以校长为代表的行政
在分析了以往P2P系统信息检索基础上，针对结构化P2P检索存在的问题，提出了一种有效的结构化P2P信息检索。结合利用向量空间模型（VSM）技术和位置敏感散列（LSH）技术，使得语义内容相似
构件聚类时,提出了一种计算基于XML描述的构件间相似度的递归算法,能有效度量构件XML描述文档包含的结构和语义信息。构造文档相似矩阵,利用遗传算法将高维样本映射到二维平
数学好玩，数列有趣，在学习数列的过程中若能品尝、欣赏到它的精彩、绚丽和魅力，我们就会有一种心旷神怡之感，那么数学学习就不再是一种苦不堪言的差事，而是一种充满乐趣的高雅享受
高校＂民粹本位＂的教学质量评价,也就是人们通常所说的＂学生评教＂,因其以学生的＂满意度＂为核心判断标准,以提升学生＂满意度＂为主要目的,蕴含着尊重与满足＂民意＂的价值倾向,故称之为＂民粹
发布／订阅作为分布式系统中一种松耦合、多对多的异步通信机制，有着广泛的应用前景。目前，人们主要对匹配算法、路由算法的性能、可表达性进行了深入的研究，其安全方面研究不足。
《教师教育课程标准(试行)》(简称《标准》)是国家对教师教育机构设置教师教育课程的基本要求。《标准》体现了"课程即发展资源"的理念,力求课程设置与课程目标适切。创新课