loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Author: José Farinha

Affiliation: ISCTE-IUL, Portugal

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}.

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 44.200.194.255

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 - MODELSWARD; ISBN 978-989-758-168-7; ISSN 2184-4348, SciTePress, 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 - MODELSWARD},
year={2016},
pages={397-404},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005808503970404},
isbn={978-989-758-168-7},
issn={2184-4348},
}

TY - CONF

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