论文部分内容阅读
面向对象模型的形式化是形式化研究的重点,UML是一种得到承认的标准建模语言,CHAM是一种广泛用于异步并行计算和系统体系结构建模的语言,它适合对系统的状态变化进行动态的描述。利用和改进原有的CHAM建模语言,使其能够对UML状态图进行形式化描述。
UML状态图的形式化描述
【摘 要】
：
面向对象模型的形式化是形式化研究的重点,UML是一种得到承认的标准建模语言,CHAM是一种广泛用于异步并行计算和系统体系结构建模的语言,它适合对系统的状态变化进行动态的描
【机 构】
：
太原理工大学计算机科学与技术学院
【出 处】
：
电脑开发与应用
【发表日期】
：
2011年5期
其他文献
作为小学体育老师，在进行课程教学期间，需要利用多种教学方法激发学生的学习积极性，促使学生主动参与教学活动。简要论述了小学体育教学的方法。目的在于进一步提高教学质量，帮助
研究了计算机练习系统的发展状况,通过对SCOKET技术的理解,建立了服务器与多客户端的连接,利用多线程处理多个客户端之间的信息。详细研究了系统的体系结构,软件功能模块等,
目的：探讨小儿腹痛相关因素，为治疗提供相应的依据。方法：选择112例儿科住院腹痛患儿进行回顾性分析。结果：引起小儿腹痛因素复杂，儿内科疾病98例，占87．5％；儿外科疾病14例，占12．5％。结论：
稀有类的分类问题在商业、金融、电信、科学研究等诸多的领域都有着广泛的应用,但是由于其难区分性、多态性、稀有性等主要的特征,使其传统的分类方法对于稀有类的分类来说,
网络入侵方法和网络环境的不断变化，入侵越来越难以防范和检测。针对当前入侵检测过程中检测器生成问题，提出了一种基于生物免疫机制和模糊理论的检测器生成算法。该算法利用改
为了更好地对食品比热容进行曲线拟合，提出采用人工神经网络的方法。传统的BP网络存在收敛过慢，易陷入局部最优等缺陷；为了解决上述缺陷，采用Scaled Conjugate Gradient算法对网
随着经济社会的加速发展，矿产资源紧缺逐渐成为困扰发展的瓶颈问题，而如何立足国内资源、为各项建设提供资源保障也成为国土资源部门的新课题。以经济社会发展大局为重，增强地质
庄子是中国浪漫主义艺术的始祖,他的审美精神源自老子的＂道＂,其核心思想为＂自然＂与＂自由＂。庄子主张的自由是一种审美的生存方式,主张的自然是一种审美的生活态度,他认为＂自由＂与＂自然
介绍了全国机械原理与机械设计教学门户网站建设的意义,给出了其服务功能与组织模型。分析了门户系统的三层体系结构,介绍了系统的主要开发技术。给出了系统实现的部分关键要