Modeling Requirements Should be Language Agnostic! - Example of a Formal Definition of Simple Behavioral Decomposition Models

Gurvan Le Guernic

2016

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.

Paper Citation

in Harvard Style

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 - Volume 1: MODELSWARD, ISBN 978-989-758-168-7, pages 555-562. DOI: 10.5220/0005795205550562

in Bibtex Style

@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 - Volume 1: MODELSWARD,},
year={2016},
pages={555-562},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005795205550562},
isbn={978-989-758-168-7},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Modeling Requirements Should be Language Agnostic! - Example of a Formal Definition of Simple Behavioral Decomposition Models
SN - 978-989-758-168-7
AU - Le Guernic G.
PY - 2016
SP - 555
EP - 562
DO - 10.5220/0005795205550562