Mostra el registre d'ítem simple
Fixing up non-executable operations in UML/OCL conceptual schemas
dc.contributor.author | Oriol Hilari, Xavier |
dc.contributor.author | Teniente López, Ernest |
dc.contributor.author | Tort, Albert |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
dc.date.accessioned | 2014-11-28T12:34:44Z |
dc.date.created | 2014 |
dc.date.issued | 2014 |
dc.identifier.citation | Oriol, X.; Teniente, E.; Tort, A. Fixing up non-executable operations in UML/OCL conceptual schemas. A: International Conference on Conceptual Modeling. "Conceptual Modeling : 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014 : Proceedings". Atlanta: Springer, 2014, p. 232-245. |
dc.identifier.isbn | 978-3-319-12206-9 |
dc.identifier.uri | http://hdl.handle.net/2117/24883 |
dc.description.abstract | An operation is executable if there is at least one information base in which its preconditions hold and such that the new information base obtained from applying its postconditions satisfies all the integrity constraints. A non-executable operation is useless since it may never be applied. Therefore, identifying non-executable operations and fixing up their definition is a relevant task that should be performed as early as possible in software development. We address this problem in the paper by proposing an algorithm to automatically compute the missing effects in postconditions that would ensure the executability of the operation. |
dc.format.extent | 14 p. |
dc.language.iso | eng |
dc.publisher | Springer |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Enginyeria del software |
dc.subject.lcsh | Conceptual modeling |
dc.subject.other | Conceptual schema |
dc.subject.other | UML |
dc.title | Fixing up non-executable operations in UML/OCL conceptual schemas |
dc.type | Conference report |
dc.contributor.group | Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació |
dc.identifier.doi | 10.1007/978-3-319-12206-9_19 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | http://link.springer.com/chapter/10.1007/978-3-319-12206-9_19 |
dc.rights.access | Restricted access - publisher's policy |
local.identifier.drac | 15183993 |
dc.description.version | Postprint (published version) |
dc.date.lift | 10000-01-01 |
local.citation.author | Oriol, X.; Teniente, E.; Tort, A. |
local.citation.contributor | International Conference on Conceptual Modeling |
local.citation.pubplace | Atlanta |
local.citation.publicationName | Conceptual Modeling : 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014 : Proceedings |
local.citation.startingPage | 232 |
local.citation.endingPage | 245 |