Show simple item record

dc.contributorGómez Seoane, Cristina
dc.contributorCabot Sagrera, Jordi
dc.contributor.authorPlanas Hortal, Elena
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.date.accessioned2008-09-25T11:10:44Z
dc.date.available2008-09-25T11:10:44Z
dc.date.issued2008-06-25
dc.identifier.urihttp://hdl.handle.net/2099.1/5454
dc.descriptionThe specification of an information system must include all relevant static and dynamic aspects of the domain. The static aspects are collected in structural diagrams that are represented in UML by means of class diagrams. Dynamic aspects are usually specified by means of a behavioral schema consisting of a set of system operations (composed by actions) that the user may execute to query and/or modify the information modeled in the class diagram. Behavioral schemas must be consistent with regard to structural schemas. Consistency between both schemas means that the set of system operations provided by designers must be syntactically consistent (i.e, the operation specifications conform to a particular syntax), executable (i.e, for each operation there must exist a system state over which the operation can be successfully applied), complete (i.e, through these operations, users should be able to modify the population of all modifiable elements in the class diagram) and non-redundant (i.e, there are not (partly) superfluous operations). The goal of this thesis is to give a method to determine the consistency between structural and behavioral schemas of an information system. Moreover, in case of inconsistent schemas the method must provide feedback information to allow designers modify their behavioral schemas in order to repair the inconsistency.
dc.language.isoeng
dc.publisherUniversitat Politècnica de Catalunya
dc.rightsAttribution-NonCommercial-NoDerivs 2.5 Spain
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/2.5/es/
dc.subjectÀrees temàtiques de la UPC::Informàtica::Llenguatges de programació::Altres llenguatges de programació
dc.subject.lcshUML (Computer science)
dc.subject.lcshComputer software -- Verification
dc.subject.otherVerification
dc.subject.otherUML
dc.subject.otherStructural schema
dc.titleVerifying consistency between structural and behavioral schemas in UML
dc.typeMaster thesis
dc.subject.lemacUML (Informàtica)
dc.subject.lemacProgramari -- Verificació
dc.rights.accessOpen Access
dc.audience.educationlevelMàster
dc.audience.mediatorFacultat d'Informàtica de Barcelona
dc.audience.degreeMÀSTER UNIVERSITARI EN COMPUTACIÓ (Pla 2006)


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 2.5 Spain
Except where otherwise noted, content on this work is licensed under a Creative Commons license : Attribution-NonCommercial-NoDerivs 2.5 Spain