Please use this identifier to cite or link to this item: http://ktisis.cut.ac.cy/handle/10488/3749
Title: A semantic formalization for use case modeling
Authors: Georgiades, Marinos G.
Andreou, Andreas S. 
Keywords: Error prones
Formal Semantics
Formalization
Natural language syntax and semantics
Natural languages
Novel methodology
Problematic issues
Semantic classification
Software requirements
Specific semantics
Specific sequences
Tool support
Understandability
Use case model
Use case modeling
Use case specifications
Use Cases
Information systems
Requirements engineering
Specifications
Semantics
Issue Date: 2012
Source: 14th International Conference on Enterprise Information Systems, Wroclaw, Poland, 28 June-1 July, 2012
Abstract: It has been recognized that a certain level of formalization is needed to produce precise and well-defined use case models, thus tackling problematic issues such as the lack of a specific, semantic classification of use cases, the vagueness of the use case specifications written in free natural language (NL), and the limited tool support that makes use case driven analysis a time-consuming and error-prone activity. This paper presents a formal semantics for the basic use case model elements, including specific semantic types of use cases, specific types of basic and alternative flow actions, and specific functional roles actors can play. To maintain a high-degree of readability and understandability and to minimize ambiguity, the proposed approach provides a semi-formal, NL-based specification syntax, tailored to each semantic use case type, with a specific sequence of basic and alternative flow actions. The formalization is facilitated by utilizing elements of a novel methodology named Natural Language Syntax and Semantics Requirements Engineering.
URI: http://ktisis.cut.ac.cy/jspui/handle/10488/3749
Appears in Collections:Δημοσιεύσεις σε συνέδρια/Conference papers

Show full item record

Page view(s)

1
checked on Jan 23, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.