Please use this identifier to cite or link to this item:
https://hdl.handle.net/20.500.14279/4226
Title: | A semantic formalization for use case modeling | Authors: | Georgiades, Marinos G. Andreou, Andreas S. |
metadata.dc.contributor.other: | Ανδρέου, Ανδρέας Σ. | Major Field of Science: | Engineering and Technology | Field Category: | Electrical Engineering - Electronic Engineering - Information Engineering | 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: | Jun-2012 | Source: | 14th International Conference on Enterprise Information Systems, Wroclaw, Poland, 28 June-1 July, 2012 | Conference: | International Conference on Enterprise Information Systems | 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: | https://hdl.handle.net/20.500.14279/4226 | ISBN: | 978-989856510-5 | Type: | Conference Papers | Affiliation : | Cyprus University of Technology | Publication Type: | Peer Reviewed |
Appears in Collections: | Δημοσιεύσεις σε συνέδρια /Conference papers or poster or presentation |
CORE Recommender
Page view(s) 10
396
Last Week
3
3
Last month
6
6
checked on Nov 6, 2024
Google ScholarTM
Check
Altmetric
Items in KTISIS are protected by copyright, with all rights reserved, unless otherwise indicated.