形式化建模论文

论文摘要随着仿真系统复杂程度的不断增加,VV&A过程也越来越复杂,人工完成需要花费大量的时间和精力。而工作流技术将工作分解成定义良好的任务。角色,按照一定规则来执行这些任务,可...

论文摘要面向对象技术的发展,出现了众多的面向对象的建模语言,其中统一建模语言UML作为一种定义良好、功能强大的图形化建模语言得到广泛的运用。UML溶入了软件工程领域的新思想和新...

论文摘要随着计算机技术与互联网络的发展,任务关键网络系统作为一类特殊的网络信息系统在影响人民生活和社会发展的诸多领域得到了广泛应用。然而,不断恶化的网络环境使得该类系统面临的安...

论文摘要本论文以研究和建立满足下一代网络发展需求的新一代网络体系结构为研究出发点,重点展开了关于面向服务的新一代网络体系结构及其形式化建模的相关研究。论文首先对网络体系结构这一...