Show simple item record

dc.rights.licenseAtribución-NoComercial 4.0 Internacional
dc.contributor.advisorArango, Fernando (Thesis advisor)
dc.contributor.authorSerna, Sergio
dc.date.accessioned2019-06-24T16:39:16Z
dc.date.available2019-06-24T16:39:16Z
dc.date.issued2011-07-05
dc.identifier.urihttps://repositorio.unal.edu.co/handle/unal/7537
dc.description.abstractLa especificación de requisitos no funcionales en sistemas de software, ha presentado múltiples retos a académicos investigadores interesados en el tema. Las crecientes exigencias de los sistemas en características relacionadas con requisitos no funcionales – NFRs, como desempeño, seguridad, escalabilidad, entre otros, ha permitido diversos enfoques a la hora de construir los planos del software del sistema deseado por el cliente. Esta tesis, se enmarca dentro de la especificación formal de requisitos temporales no funcionales,utilizando el lenguaje de modelado unificado – UML para la construcción de los planos del software. La tesis no trata con requisitos funcionales – RFs, ni NFRs que no tengan que ver con tiempo. La especificación se hace sobre diagramas de clase UML, no trabaja con otros diagramas ni otros lenguajes de modelado. Se apoya en métodos existentes durante las primeras etapas de desarrollo,lo que le permite elicitar los requisitos e ir llevándolos de manera consistente a través de todos los diagramas del modelo, hasta llegar a un nuevo diagrama de clases. Este nuevo diagrama de clases relaciona elementos que originalmente no está permitido en los diagramas de clase tradicionales y exige la especificación textual del NFR para darle formalidad, logrando con esto una mayor expresividad y permitiendo tomar decisiones de implementación que antes no era posible en esta etapa del desarrollo. Para lograr representar y formalizar los NFRs, es necesario realizar una variante a la semántica del diagrama de clases de UML y al diagrama de expresiones del lenguaje de especificación de valores – VSL, permitiendo relacionar metaclases que antes no lo estaban, por ejemplo Property y Operation, y definir contextos sobre propiedades de operaciones para las nuevas expresiones. Igualmente, se introduce una nueva simbología para esta nueva representación. Este es el trabajo de final de carrera de la maestría en ingeniería de sistemas con énfasis en ingeniería de software, de la Facultad de Minas de la Universidad Nacional de Colombia./Abstract: Specifying non-functional requirements in software systems, has presented many challenges to academic researchers interested in the subject. The growing demands on system characteristics related to non-functional requirements – NFRs, like performance, security, scalability, among others, allowed different approaches in building the software plans of the system desired by the customer. This thesis, is part of the formal specification of non-functional timing requirements using the unified modeling language – UML for building software plans. The thesis does not deal with functional requirements –RFs and NFRs that have nothing to do with time. The specification is made on UML class diagrams, does not work with other diagrams or othermodeling languages. It builds on existing methods in the early stages of development, allowing you to elicit requirements and be taking them consistently throughout all the diagrams of the model, until a new class diagram. This new class diagram related items not originally permitted in traditional class diagrams and textual specification requires NFR to give formality, thus achieving greater expressivity and allowing take decisions that previously was not possible in this stage of development. To ensure and formalize represent NFRs necessary to perform a variant of the semantics of UML class diagram and the expressions diagram of the value specification language – VSL, allowing metaclasses link before were not, e.g. Property and Operation, and define context on operations and property for the new expressions. Also introduces a new symbols for this representation. This is the thesis in systems engineering with emphasis on software engineering in the School of Minas, Universidad Nacional of Colombia.
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.relation.ispartofUniversidad Nacional de Colombia Sede Medellín Facultad de Minas Escuela de Sistemas
dc.relation.ispartofEscuela de Sistemas
dc.rightsDerechos reservados - Universidad Nacional de Colombia
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0/
dc.subject.ddc03 Obras enciclopédicas generales / Encyclopedias and books of facts
dc.titleEspecificación Formal de Requisitos Temporales No Funcionales
dc.typeTrabajo de grado - Maestría
dc.type.driverinfo:eu-repo/semantics/masterThesis
dc.type.versioninfo:eu-repo/semantics/acceptedVersion
dc.identifier.eprintshttp://bdigital.unal.edu.co/3928/
dc.description.degreelevelMaestría
dc.relation.referencesSerna, Sergio (2011) Especificación Formal de Requisitos Temporales No Funcionales. Maestría thesis, Universidad Nacional de Colombia, Sede Medellín.
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.subject.proposalRequisitos no funcionales
dc.subject.proposalMARTE
dc.subject.proposalSistemas embebidos
dc.subject.proposalEspecificación formal, UML
dc.subject.proposalLenguaje de modelo unificado
dc.type.coarhttp://purl.org/coar/resource_type/c_bdcc
dc.type.coarversionhttp://purl.org/coar/version/c_ab4af688f83e57aa
dc.type.contentText
dc.type.redcolhttp://purl.org/redcol/resource_type/TM
oaire.accessrightshttp://purl.org/coar/access_right/c_abf2


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

Atribución-NoComercial 4.0 InternacionalThis work is licensed under a Creative Commons Reconocimiento-NoComercial 4.0.This document has been deposited by the author (s) under the following certificate of deposit