论文部分内容阅读
在分析现有的技术背景后，提出了一种基于规则库的电信业务统一建模语言（UML）活动图验证机制．通过将模型验证规则与模型验证引擎相分离的方式，提高了验证机制的可扩展性和灵活性．模型验证软件通过在模型驱动架构（MDA）业务平台中的测试，证明了该验证机制的正确性和高效性．
基于规则库的电信业务UML活动图验证机制
【摘 要】
：
在分析现有的技术背景后，提出了一种基于规则库的电信业务统一建模语言（UML）活动图验证机制．通过将模型验证规则与模型验证引擎相分离的方式，提高了验证机制的可扩展性和灵活性．模
【机 构】
：
北京邮电大学网络与交换技术国家重点实验室
【出 处】
：
北京邮电大学学报
【发表日期】
：
2008年2期
【基金项目】
：
国家自然科学基金项目（60672122）,中兴通讯研究基金项目（WL220052N002）
其他文献
根据新《水土保持法》有关规定和水利部有关要求．为加强国家农业综合开发陕甘宁水土流失综合治理项目的监督管理，了解掌握项目建设管理情况，促进项目的顺利实施，近日，黄委水保局对
档案是珍贵的历史记忆和人类文化遗产，是社会财富的重要组成部分。档案从最初被视为统治阶级的所有物，到今天逐渐开放，可以让社会各部门和个人查阅利用，是档案利用工作的巨大进步
大数据的概念出现之前，档案管理主要是以纸质档案管理为主，电子档案和数字档案管理为辅，随着时间不断暴涨的纸质载体的信息存储方式造成了巨大的库存压力，仓储式管理也耗费了大量
作为宏观经济的最小单元,企业在经济发展的过程中起到的基础性作用是不可忽略的,在一定程度上,企业的发展好坏会从基础上影响或者预示着区域宏观经济发展的程度和好坏。企业
2009年6月23日-26日，国际水电协会（IHA）在冰岛的雷克雅未克召开了2009年世界代表大会，大会代表的政治、专业、金融、社会、环境等背景各不相同，其中还有来自工商业的代表们。
黄委党组自2001年7月正式提出建设“数字黄河”工程以来，经过“十五”期间的建设，“数字黄河”工程已取得了重大进展，现已成为全国水利信息化建设的一面旗帜，并在黄河治理开发中
提出了多种群遗传算法和蚂蚁算法融合的提升格式小波优化设计方法.首先,采用多种群遗传算法对构成小波的提升步进行优化;然后,提出局部适应度和全局适应度的概念,将其与蚂蚁
1项目的可行性背负式割草机在使用中耗材多、费用大、运行维护成本高，只适宜短期作业，不适宜水利工程线长面大、需要连续高强度作业方式。要想提高工程养护作业的工作效率，降低
为了研究网络编码在分布式存储系统中的性能,建立了无线传感器网络（WSN）中的分布式存储模型.针对分布式存储中的一个重要参数——信源节点的度,从图论中二分图模型出发推导出系