UML类结构的形式化

为面向对象建模概念建立坚实的语义基础,越来越受到人们的重视。通过提供精确的概念特征定义,可建立精确的面向对象的行为模型和结构模型,便于对模型进行严格的分析。ＵＭＬ是一种被推荐的面向对象建模语言,ＲＡＩＳＥ是欧洲流行的一种形式方法,该文使用ＲＡＩＳＥ来表达ＵＭＬ类结构的含义。     

基于元模型的软件开发与管理集成研究

当今软件开发呈现一些新特点：团队并行开发,基于模型的软件开发,迭代增量开发等。开发过程是如此复杂,融合软件开发与管理支持的环境成为必要。文章认为开发与管理集成的关键是：环境提供对元模型的支持,以UML为基础的软件产品标准化,多种开发工具的数据集成和良好的数据管理机制。文章介绍了将开发与管理融为一体的集成化环境UML＿IDME,集中讨论环境如何提供和协调过程模型,产品模型,组织模型和开发工具集合来达到开发与管理集成的目的。此外,还讨论了过程模型如何组织,指导和监控软件开发。     

UML在TMN故障管理模块信息建模中的应用

统一建模语言UML是一种面向对象的建模语言,支持面向对象的软件工程,以其强有力的表达能力而倍受人们关注。文章分析了UML的建模机制及其特点,并运用UML作为OOSE的工具,对电信管理网系统进行面向对象建模,给出了TMN故障管理模块的应用实例。     

一种基于信标控制的安全通信机制及其应用

提出了一种以信标控制为基础、基于 ＴＣＰ／ＩＰ协议的、用于 Ｉｎｔｅｒｎｅｔ上证券交易的安全通信机制,可以实现保密与认证,具有防伪造、防重放、防抵赖功能。     

易损数字水印若干问题的研究

易损数学水印算法可用于多媒体内容真实性的保护。为更有效地设计和使用易损水印,首先通过研究其算法应具有的特点及易损水印与鲁棒水印的差别;然后在可信赖的数码相机这个应用背景的基础上,提出了一个简单的易损水印应用框架;最后,讨论了变换域易损图象数学水印算法的误差问题和逆变换后象素值溢出的问题,同时给出了两种解决方法,并利用此方法对一种基于小波变换的易损水印算法做了改进。     

身份认证技术

本文简要描述了身份认证的概念和身份认证机制,主要介绍了身份认证的密码技术,电子钥匙和生物辨别技术,最后提出了异地漫游问题的解决方案。     

使用Rational Rose实现对基于Web的应用的OO设计

本文深讨了利用OO的开发工具以及基于OO的开发流程完成基于WEB的应用的流程,并提出了开发基于WEB的应用的一种新的开发过程。最后给出了一个具体的实现。     

基于.net的安全性验证

采用自定义主体Principal和身份Identity实现基于窗体的安全验证,构建了一个灵活方便的安全权限管理系统,综合使用了数据库技术、面向对象设计技术、操作系统权限管理、NET框架中基于代码访问安全性和基于角色访问安全性等多方面技术。该方案可以用于多数WEB系统中,作为通用的安全权限管理模块。     

Clock constraint specification language: specifying clock constraints with UML/MARTE

The Object Management Group (OMG) unified modeling language (UML) profile for modeling and analysis of real-time and embedded systems (MARTE) aims at using the general-purpose modeling language UML in the domain of real-time and embedded (RTE) systems. To achieve this goal, it is absolutely required to introduce inside the mainly untimed UML an unambiguous time structure which MARTE model elements can rely on to build precise models amenable to formal analysis. The MARTE Time model has defined such a structure. We have also defined a non-normative concrete syntax called the clock constraint specification language (CCSL) to demonstrate what can be done based on this structure. This paper gives a brief overview of this syntax and its formal semantics, and shows how existing UML model elements can be used to apply this syntax in a graphical way and benefit from the semantics.     

一个数字认证签名系统的设计与实现

介绍了一种数字认证签名算法,用该算法设计实现的系统可用于对抗信息的冒充、篡改、重发等攻击。