loading
Papers Papers/2020

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Marinos G. Georgiades and Andreas S. Andreou

Affiliation: Cyprus University of Technology, Cyprus

ISBN: 978-989-8565-11-2

ISSN: 2184-4992

Keyword(s): Use Cases, Formalization, Software Requirements, Semantics.

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Information Systems Analysis and Specification ; Requirements Analysis And Management ; Software Engineering ; Tools, Techniques and Methodologies for System Development

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 na med Natural Language Syntax and Semantics Requirements Engineering. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.229.142.104

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
G. Georgiades, M. and S. Andreou, A. (2012). A Semantic Formalization for Use Case Modeling. In Proceedings of the 14th International Conference on Enterprise Information Systems - Volume 1: ICEIS, ISBN 978-989-8565-11-2; ISSN 2184-4992, pages 172-175. DOI: 10.5220/0004001301720175

@conference{iceis12,
author={Marinos {G. Georgiades}. and Andreas {S. Andreou}.},
title={A Semantic Formalization for Use Case Modeling},
booktitle={Proceedings of the 14th International Conference on Enterprise Information Systems - Volume 1: ICEIS,},
year={2012},
pages={172-175},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004001301720175},
isbn={978-989-8565-11-2},
issn={2184-4992},
}

TY - CONF

JO - Proceedings of the 14th International Conference on Enterprise Information Systems - Volume 1: ICEIS,
TI - A Semantic Formalization for Use Case Modeling
SN - 978-989-8565-11-2
IS - 2184-4992
AU - G. Georgiades, M.
AU - S. Andreou, A.
PY - 2012
SP - 172
EP - 175
DO - 10.5220/0004001301720175

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.
0123movie.net