【摘 要】
：
对于图形化的建模语言，为定义其表示法一般需要解决3个问题：如何定义每个建模元素的图形符号，如何定义图形符号之间的位置关系以及如何将表示法映射到抽象语法．为了方便进行模型
【机 构】
：
北京大学信息科学技术学院,北京大学高可信软件技术教育部重点实验
【基金项目】
：
国家自然科学基金No．60773152;国家重点基础研究发展计划(973)No．2005CB321805;国家科技支撑计划No．2006BAH02A02;国家高技术研究发展计划(863)Nos．2007AA01Z127，2007AA010301~~
论文部分内容阅读
对于图形化的建模语言，为定义其表示法一般需要解决3个问题：如何定义每个建模元素的图形符号，如何定义图形符号之间的位置关系以及如何将表示法映射到抽象语法．为了方便进行模型转换和代码生成．还需要使用模型化的方式描述建模语言的表示法．通过对UML及其语言家族中的表示法进行总结、分析和归纳．提出了一种表示法定义元模型（notation definition metamodel，简称NDM）．针对定义表示法所面临的3个问题，NDM被分成基本图元及其布局、基本位置关系和抽象语法桥三部分．使用NDM定义好的表示法模型还
其他文献
目前，成都市柑桔生产面积已达4万hm^2余．年产量43万t余，已形成一定基地规模。但是，柑桔产业市场体系建设严重滞后，标准化生产程度很低，这些因素都在一定程度上影响了成都市柑桔业做
序言中所讲的是,在接触新事物时,我们要去仔细地学习它。学习到新知识后,我们要去温习、复习新学到的知识。而要熟练地掌握和理解知识,我们需经过刻苦反复地练习,才能巧妙地
本文在正确认识电力企业品牌建设重要性的基础上,明确服务对企业品牌建设的推动作用。
相机可以把无限风光塞进自己的房间里，而房车却可以让人完全淹没在美景中。为什么外国人的必需品到了国内却成了奢侈品？或许中国用户还有着一些与世界不一样的需求。
“十五”时期,是建材业在结构调整中保持发展的重要时期,也是建材流通业在加入WTO新形势下调整应变、保持繁荣的重要时期。在此期间,建材专业市场业者应认清形势,积极调整,应
目的研究均匀各向异性介质中电磁源的辐射特性及其规律。方法基于电磁场的方向多长度标准理论,建立各向异性介质中标量势的达朗伯方程,求解微分方程得到推迟形式的标量势和矢
《亚洲新秩序》是新加坡国立大学东亚研究所所长郑永年的新著,旨在探讨中国如何走出“大国争霸”的传统思想,建立一种新型的大国关系。作为一部学术著作,郑永年从历史范畴着
冲破＂中等收入陷阱＂的魔咒,是众多发展中国家或地区要面对的共同课题。上个世纪五六十年代以来,台湾地区通过转变经济发展方式,支持培育和发展中产阶级,注意平衡居民的收入分配
高审计质量是审计部门所追求的目标 ,高审计质量是审计工作成果的标志和生命线。如何提高审计质量 ?我认为 ,科学的审计计划、切实可行的审计方案和周密的审前准备是实现高审
在吸收借鉴国内外公共关系理论研究和最新实践的基础上,建设性地将公共关系危机理论应用于电信行业,分析探讨了电信企业公共关系的内容、公关危机的特征以及如何做好电信企业