Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Author: Gurvan Le Guernic

Affiliation: DGA Maîtrise de l’Information, France

Keyword(s): Modeling Language, Domain Specific, Modeling Requirements, Model Validation, Formal Definition.

Related Ontology Subjects/Areas/Topics: Domain-Specific Modeling and Domain-Specific Languages ; Frameworks for Model-Driven Development ; General-Purpose Modeling Languages and Standards ; Languages, Tools and Architectures ; Methodologies, Processes and Platforms ; Model-Driven Software Development ; Software Engineering ; Syntax and Semantics of Modeling Languages ; Systems Engineering

Abstract: This paper argues in favor of expressing modeling requirements in a modeling language agnostic way, at least whenever those requirements are part of a contracting relationship between some of the stakeholders. Contracting authorities may require from contractors specific design models in order to perform early design (functional, safety, security, etc.) analyses. However, in order to allow contractors to use the compatible modeling language of their choice with the compatible modeling guidelines of their choice, the formal definition of the model requirements must be independent from any concrete modeling language or guideline. This paper introduces, based on the example of Behavioral Decomposition Models, an approach to express such agnostic requirements. This is achieved by defining a semantic domain, some correctness constraints and, later, the necessary mappings between them and the desired concrete syntaxes.

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 3.141.201.129

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:
Le Guernic, G. (2016). Modeling Requirements Should be Language Agnostic! - Example of a Formal Definition of Simple Behavioral Decomposition Models. 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 555-562. DOI: 10.5220/0005795205550562

@conference{modelsward16,
author={Gurvan {Le Guernic}},
title={Modeling Requirements Should be Language Agnostic! - Example of a Formal Definition of Simple Behavioral Decomposition Models},
booktitle={Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - MODELSWARD},
year={2016},
pages={555-562},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005795205550562},
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 - Modeling Requirements Should be Language Agnostic! - Example of a Formal Definition of Simple Behavioral Decomposition Models
SN - 978-989-758-168-7
IS - 2184-4348
AU - Le Guernic, G.
PY - 2016
SP - 555
EP - 562
DO - 10.5220/0005795205550562
PB - SciTePress