文章基本信息

标题：Formal Specification of UML Use Case Diagram - A CASL based approach
本地全文：下载
作者：Bhaswati Mondal ; Barun Das ; Prasenjit Banerjee 等
期刊名称：International Journal of Computer Science and Information Technologies
电子版ISSN：0975-9646
出版年度：2014
卷号：5
期号：3
页码：2713-2717
出版社：TechScience Publications
摘要：Unified Modelling Language (UML) gives a modelling approach to design a system. Use Case diagram is one of the behavioural approach of UML which describe the behavioural pattern of the system. It has been observed that UML diagrams are not formally specified. Formal specification gives a specific way to design a system as a whole using mathematical notation. This paper proposed formal specification of UML use case diagram using the Common Algebraic Specification Language (CASL) in object oriented paradigm.
关键词：Unified Modelling Language (UML); Use Case;diagram; formal specification; non-formal models; Common;Algebraic Specification Language (CASL); Object oriented;Software.