Show simple item record

dc.contributor.authorQueralt Calafat, Anna
dc.contributor.authorTeniente López, Ernest
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.date.accessioned2016-05-10T07:53:45Z
dc.date.available2016-05-10T07:53:45Z
dc.date.issued2008-07
dc.identifier.citationQueralt, A., Teniente, E. "Validating UML schemas with OCL constraints and operations". 2008.
dc.identifier.urihttp://hdl.handle.net/2117/86816
dc.description.abstractA conceptual schema specifies the relevant information about the domain, and how this information changes as a result of the execution of operations. The purpose of validating a conceptual schema is to check whether it specifies what the designer intended. This task is not fully formalizable, so it is desirable to provide the designer with a set of tools that assist him or her in the validation process. To this end, we present a method to translate a complete schema into logic, and then propose a set of validation tests that can be performed on the schema. These tests are formulated in such a way that any reasoning method can be used to check them. To show the feasibility of our approach, we use an implementation of an existing reasoning method.
dc.format.extent14 p.
dc.language.isoeng
dc.relation.ispartofseriesLSI-08-22-R
dc.subjectÀrees temàtiques de la UPC::Informàtica::Sistemes d'informació
dc.subject.otherConceptual schemas
dc.subject.otherReasoning methods
dc.titleValidating UML schemas with OCL constraints and operations
dc.typeExternal research report
dc.rights.accessOpen Access
local.identifier.drac583342
dc.description.versionPostprint (published version)
local.citation.authorQueralt, A.; Teniente, E.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record