【摘 要】
：
UML是一种得到广泛应用的系统建模语言,但是由于它缺乏形式化语义和严格的推理机制,从而影响了系统建模的准确性和开发效率.TCOZ是一种将Object-Z和TCSP相结合的形式化语言,
论文部分内容阅读
UML是一种得到广泛应用的系统建模语言,但是由于它缺乏形式化语义和严格的推理机制,从而影响了系统建模的准确性和开发效率.TCOZ是一种将Object-Z和TCSP相结合的形式化语言,具有丰富的建模能力.基于TCOZ,本文建立了UML视图的一种形式化模型,对类图和协作图等提出了转换规则,使得TCOZ中的推理可用于分析UML视图.通过某学校信息系统的实例,阐述了UML视图的形式化建模方法和分析技术.
其他文献
随着网上商务的发展,安全已变得越来越重要.网景(Netscape)公司开发出的安全套接字协议(Secure Sockets Layer protocol, SSL)很好地实现了这一点,同时它也是电子商务中使用
提出了一种在焊缝图像中提取裂纹缺陷的方法.该算法首先对含有裂纹缺陷的图像采用基于偏移量的Laplacian算子进行检测处理,对处理后的图像建立有12个基本容许结构的字典模型,
采用一种新型负载型TiO2光催化剂进行光催化还原Cr6+的研究.实验结果表明光催化还原过程中生成了氧气,通过测定光催化反应过程溶液中溶氧量的变化验证了TiO2光催化还原Cr6+的
对集成芯片中一种常用单元电路——全加器，进行了结构和时延性能分析。通过运用布尔代数基本定律、定理，对全加器和函数进行全面处理，提取和函数最优化函数式。根据优化函数式，设
利用负载型纳米TiO2作为光催化剂对水中微量二氯乙烷进行紫外光催化降解处理.研究表明二氯乙烷光催化降解属表观一级反应动力学过程.不同的二氯乙烷初始浓度、光强和催化剂用
采用气体放电活化反应蒸发技术(GDARE),以玻璃为衬底,在较低的温度下沉积纳米ZnO薄膜,用二次蒸镀法克服薄膜生长饱和问题、有效增加膜厚及改善薄膜质量.讨论了GDARE法低温下
利用无血清培养基培养角质细胞,研究Mg2+对鼠角质细胞生长和分化的影响.实验结果表明,培养基中Mg2+浓度为5.0 mmol/L时,细胞贴壁率、克隆形成率明显增加,细胞分化比例和老化