loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Jamal Abd-Ali ; Karim El Guemhioui and Luigi Logrippo

Affiliation: Université du Québec en Outaouais, Canada

ISBN: 978-989-758-083-3

ISSN: 2184-4348

Keyword(s): Metamodelling, Access Control.

Related Ontology Subjects/Areas/Topics: Domain-Specific Modeling and Domain-Specific Languages ; Languages, Tools and Architectures ; MetaModeling ; Model-Driven Software Development ; Models ; Paradigm Trends ; Reasoning about Models ; Software Engineering ; Syntax and Semantics of Modeling Languages

Abstract: The visual aspect of metamodelling languages is an efficient lever to deal with the complexity of specifying systems. In many application domains, these systems are generally characterized by the sensitivity and criticality of their contents, hence precision and formalism are essential goals. This paper considers the domain of access control specification languages and proposes a metamodelling paradigm with capabilities for specifying both semantics and structuring elements. We describe how to specify semantics of domain specific systems at the metamodel and model levels. The paradigm defines reusable rules allowing mapping the models, including their semantics, to first order logic programs. It represents a methodical approach to elaborate domain specific languages endowed with visual aspects and means of reasoning on formal specifications. The paradigm is applicable to a wide range of systems. We show in this paper its application in the area of decision systems.

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

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:
Abd-Ali, J.; El Guemhioui, K. and Logrippo, L. (2015). Metamodelling with Formal Semantics with Application to Access Control Specification.In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-083-3, ISSN 2184-4348, pages 354-362. DOI: 10.5220/0005272903540362

@conference{modelsward15,
author={Jamal Abd{-}Ali. and Karim El Guemhioui. and Luigi Logrippo.},
title={Metamodelling with Formal Semantics with Application to Access Control Specification},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2015},
pages={354-362},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005272903540362},
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 - Metamodelling with Formal Semantics with Application to Access Control Specification
SN - 978-989-758-083-3
AU - Abd-Ali, J.
AU - El Guemhioui, K.
AU - Logrippo, L.
PY - 2015
SP - 354
EP - 362
DO - 10.5220/0005272903540362

Login or register to post comments.

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