loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Author: José Farinha

Affiliation: ISCTE-IUL, Portugal

ISBN: 978-989-758-168-7

Keyword(s): UML, Templates, Verification, Compilability, Activities.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; General-Purpose Modeling Languages and Standards ; Generative Programming ; Languages, Tools and Architectures ; MetaModeling ; Model-Driven Software Development ; Models ; Paradigm Trends ; Software Engineering ; Syntax and Semantics of Modeling Languages

Abstract: Because of the thin set of well-formedness rules associated to Templates in UML, ill-formed elements may result from bindings to templates. Although such ill-formedness is generally detected by some UML validation rule, the problem is poorly reported because it is not normally imputed to the binding. Typically, such problems are detected as non-compilable code in the template instances. A set of well-formedness rules, additional to those of the standard UML, was proposed as a way to ensure the compilability of instances and prevent this problem from occurring. Such set of constraints was proposed in a previous paper and named \emph{Functional Conformance}, but a demonstration of its effectiveness was not yet provided. Such a demonstration is outlined in the current paper. Carrying out the demonstration revealed the need for two more rules than those previously envisioned for \emph{Functional Conformance}.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.210.22.132

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Farinha, J. (2016). A Demonstration of Compilability for UML Template Instances.In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-168-7, pages 397-404. DOI: 10.5220/0005808503970404

@conference{modelsward16,
author={José Farinha.},
title={A Demonstration of Compilability for UML Template Instances},
booktitle={Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2016},
pages={397-404},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005808503970404},
isbn={978-989-758-168-7},
}

TY - CONF

JO - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - A Demonstration of Compilability for UML Template Instances
SN - 978-989-758-168-7
AU - Farinha, J.
PY - 2016
SP - 397
EP - 404
DO - 10.5220/0005808503970404

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.