Please use this identifier to cite or link to this item:
http://hdl.handle.net/10609/109794
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Cabot, Jordi | - |
dc.contributor.author | Clarisó, Robert | - |
dc.contributor.author | Riera Terrén, Daniel | - |
dc.contributor.other | Universitat Oberta de Catalunya (UOC) | - |
dc.date.accessioned | 2020-02-18T08:23:42Z | - |
dc.date.available | 2020-02-18T08:23:42Z | - |
dc.date.issued | 2009-01-02 | - |
dc.identifier.citation | Cabot, J., Clarisó, R. & Riera-Terrén, D. (2009). Verifying UML/OCL operation contracts. Lecture Notes in Computer Science, 5423(), 40-55. doi: 10.1007/978-3-642-00255-7_4 | es |
dc.identifier.issn | 0302-9743MIAR | - |
dc.identifier.uri | http://hdl.handle.net/10609/109794 | - |
dc.description.abstract | In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to ensure the quality of the final application. Research on model consistency has focused mostly on the models' static aspects. Instead, this paper addresses the verification of their dynamic aspects, expressed as a set of operations defined by means of pre/postcondition contracts. This paper presents an automatic method based on Constraint Programming to verify UML models extended with OCL constraints and operation contracts. In our approach, both static and dynamic aspects are translated into a Constraint Satisfaction Problem. Then, compliance of the operations with respect to several correctness properties such as operation executability or determinism are formally verified. | en |
dc.format | AR/0000001806 | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | - |
dc.publisher | Lecture Notes in Computer Science | - |
dc.relation.uri | https://doi.org/10.1007/978-3-642-00255-7_4 | - |
dc.rights | CC BY-NC-ND | - |
dc.subject | OCL | en |
dc.subject | UML | en |
dc.title | Verifying UML/OCL operation contracts | - |
dc.type | info:eu-repo/semantics/conferenceObject | - |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | - |
dc.identifier.doi | 10.1007/978-3-642-00255-7_4 | - |
dc.gir.id | AR/0000001806 | - |
dc.type.version | info:eu-repo/semantics/acceptedVersion | - |
Appears in Collections: | Articles cientÍfics Articles |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Cabot_Clariso_Riera_LNCS_Verifying.pdf | 756,94 kB | Adobe PDF | View/Open |
Share:
Items in repository are protected by copyright, with all rights reserved, unless otherwise indicated.