Please use this identifier to cite or link to this item: https://ktisis.cut.ac.cy/handle/10488/3749
DC FieldValueLanguage
dc.contributor.authorGeorgiades, Marinos G.-
dc.contributor.authorAndreou, Andreas S.-
dc.contributor.otherΑνδρέου, Ανδρέας Σ.-
dc.date.accessioned2014-07-09T07:56:59Z-
dc.date.accessioned2015-12-09T12:01:46Z-
dc.date.available2014-07-09T07:56:59Z-
dc.date.available2015-12-09T12:01:46Z-
dc.date.issued2012-06-
dc.identifier.citation14th International Conference on Enterprise Information Systems, Wroclaw, Poland, 28 June-1 July, 2012en_US
dc.identifier.isbn978-989856510-5-
dc.identifier.urihttp://ktisis.cut.ac.cy/handle/10488/3749-
dc.description.abstractIt 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.en_US
dc.formatpdfen_US
dc.language.isoenen_US
dc.subjectError pronesen_US
dc.subjectFormal Semanticsen_US
dc.subjectFormalizationen_US
dc.subjectNatural language syntax and semanticsen_US
dc.subjectNatural languagesen_US
dc.subjectNovel methodologyen_US
dc.subjectProblematic issuesen_US
dc.subjectSemantic classificationen_US
dc.subjectSoftware requirementsen_US
dc.subjectSpecific semanticsen_US
dc.subjectSpecific sequencesen_US
dc.subjectTool supporten_US
dc.subjectUnderstandabilityen_US
dc.subjectUse case modelen_US
dc.subjectUse case modelingen_US
dc.subjectUse case specificationsen_US
dc.subjectUse Casesen_US
dc.subjectInformation systemsen_US
dc.subjectRequirements engineeringen_US
dc.subjectSpecificationsen_US
dc.subjectSemanticsen_US
dc.titleA semantic formalization for use case modelingen_US
dc.typeConference Papersen_US
dc.collaborationCyprus University of Technologyen_US
dc.subject.categoryElectrical Engineering - Electronic Engineering - Information Engineeringen_US
dc.countryCyprusen_US
dc.subject.fieldEngineering and Technologyen_US
dc.publicationPeer Revieweden_US
dc.relation.conferenceInternational Conference on Enterprise Information Systemsen_US
dc.dept.handle123456789/134en
cut.common.academicyear2011-2012en_US
item.fulltextNo Fulltext-
item.grantfulltextnone-
item.languageiso639-1other-
crisitem.author.deptDepartment of Electrical Engineering, Computer Engineering and Informatics-
crisitem.author.facultyFaculty of Engineering and Technology-
crisitem.author.orcid0000-0001-7104-2097-
crisitem.author.parentorgFaculty of Engineering and Technology-
Appears in Collections:Δημοσιεύσεις σε συνέδρια/Conference papers
Show simple item record

Page view(s) 50

68
Last Week
3
Last month
5
checked on Jul 20, 2019

Google ScholarTM

Check

Altmetric


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