loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: José Farinha and Pedro Ramos

Affiliation: ISCTE-IUL, Portugal

ISBN: 978-989-758-083-3

Keyword(s): UML, Templates, Verification, Computability.

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: UML templates allow the specification of generic model elements that can be reproduced in domain models by means of the Bind relationship. Binding to a template encompasses the substitution of that template’s parameters by compatible domain elements. The requirement of compatibility, however, is checked over by UML in a very permissive way. As a consequence, binding to a template can result in badly-formed models and non-computable expressions. Such option in the design of UML was certainly intentional and meant to allow for richer semantics for the Bind relationship, as the specialization of the concept is advised at several points of the standard. This paper proposes one such specialization. One that guarantees well-formedness and computability for elements bound to a template. This is achieved by introducing the concept of Functional Conformance, which is imposed between every template’s parameter and its application domain substitute. Functional conformance is defined in terms of well-formedness rules, expressed as OCL constraints on top of OMG’s UML metamodel. (More)

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 34.204.173.45

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. and Ramos, P. (2015). Extending UML Templates towards Computability.In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-083-3, pages 122-133. DOI: 10.5220/0005257101220133

@conference{modelsward15,
author={José Farinha. and Pedro Ramos.},
title={Extending UML Templates towards Computability},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2015},
pages={122-133},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005257101220133},
isbn={978-989-758-083-3},
}

TY - CONF

JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Extending UML Templates towards Computability
SN - 978-989-758-083-3
AU - Farinha, J.
AU - Ramos, P.
PY - 2015
SP - 122
EP - 133
DO - 10.5220/0005257101220133

Login or register to post comments.

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