Home // COMPUTATION TOOLS 2017, The Eighth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking // View article

A Logic-based Service for Verifying Use Case Models

Authors:
Fernando Bautista
Carlos Cares

Keywords: Rule-based quality; UseCase verification; Logic-based services; XMI; Prolog

Abstract:
Use cases are a modeling means to specify the required use of software systems. As part of UML (Unified Modeling Language), it has become the de facto standard for functional specifications, mainly in object-oriented design and development. In order to check these models, we propose a theoretical solution by adapting a general quality of models framework (SEQUAL), and, following our approach, a rule-based solution that includes both expert-based and definition-based rules. In order to promote a distributed set of quality assessment services, a Web service has been developed. It works on XMI (XML Metadata Interchange) files which are parsed and verified by Prolog clauses.

Pages: 5 to 10

Copyright: Copyright (c) IARIA, 2017

Publication date: February 19, 2017

Published in: conference

ISSN: 2308-4170

ISBN: 978-1-61208-535-7

Location: Athens, Greece

Dates: from February 19, 2017 to February 23, 2017