摘要
统一建模语言UML已经成为面向对象建模语言的标准,用例图在面向对象的软件开发过程中起着重要的作用,但是它缺乏Z形式语言的精确性。为了对它的描述更加精确,本文使用Z语言给出UML中用例图的形式化描述,并将其应用在一个简单的图书馆管理系统中。
Unified Modeling Language has been a criterion of object-oriented modeling Language. Use case diagram is playing a more and more important role in object-oriented software development, but it lacks the precision of formal language such as Z. In order to make it more precise, this paper describes formally the use case diagram with Z Language, and uses it in a simple library management system.
出处
《计算机与现代化》
2006年第11期12-13,16,共3页
Computer and Modernization
