Skip navigation
User training | Reference and search service

Library catalog

Retrievo
EDS
b-on
More
resources
Content aggregators
Please use this identifier to cite or link to this item:

acessibilidade

http://hdl.handle.net/10071/10893
Full metadata record
acessibilidade
DC FieldValueLanguage
dc.contributor.authorFarinha, José-
dc.date.accessioned2016-02-18T10:12:24Z-
dc.date.available2016-02-18T10:12:24Z-
dc.date.issued2016-02-18-
dc.identifier.urihttp://hdl.handle.net/10071/10893-
dc.descriptionExtended version of the paper: J. M. Farinha, "A Demonstration of Compilability for UML Template Instances", in Proc. of the 4th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD 2016), Slimane Hammoudi, Luis Ferreira Pires, Bran Selic, Philippe Desfray, Ed., Roma, Itália, SCITEPRESS – Science and Technology Publications, 2016, pp. 397-404.por
dc.description.abstractBecause of the thin set of well-formedness rules associated to Templates in UML, ill-formed elements may result from well-formed bindings to templates. Although such ill-formedness is generally detected by some UML validation rule, the problem is poorly reported if the violated rule does not pertain to the Template construct. Typically, erroneous substitutions of template parameters will be misleadingly reported as compilation problems in the code of operations of the template’s instance. This paper demonstrates that a set of well-formedness rules, additional to those of the standard UML, prevents this problem from occurring. Such set of constraints was proposed in a previous paper and named Functional Conformance (FC), but a demonstration of its effectiveness was not provided. Such a demonstration is carried out in the current paper adopting UML Activities as the formalism to represent the dynamics of systems and their well-formedness rules as compilability criteria. Carrying out the demonstration revealed further rules than those previously proposed for FC.por
dc.language.isoengpor
dc.rightsopenAccesspor
dc.subjectUMLpor
dc.subjectTemplatespor
dc.subjectVerificationpor
dc.subjectCompilabilitypor
dc.subjectActivitiespor
dc.subjectGeneric programmingpor
dc.subjectSoftware patternspor
dc.titleA Demonstration of compilability for UML template instancespor
dc.typeworkingPaperpor
dc.peerreviewedSimpor
Appears in Collections:ADETTI-WP - Working paper

Files in This Item:
acessibilidade
File Description SizeFormat 
A Demonstration of Compilability for UML Templates - Modelsward, extended version.pdf856.26 kBAdobe PDFView/Open


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Currículo DeGóis 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.