Issue 14893: Align the NFP profile and domain model with the QUVD meta-model (marte-rtf)
Source: THALES (Mr. Sebastien Demathieu, sebastien.demathieu(at)thalesgroup.com)
Nature: Revision
Severity: Significant
Summary: Previous discussions between the SysML and MARTE communities have allowed relationships between both languages. An important convergence area relates to the notions of quantities, unit and dimensions. The SysML 1.2 RTF and the MARTE FTF work resulted in the definition of the QUVD meta-model (SysML Annex C.5). The MARTE NFP profile has not been yet entirely aligned on the QUVD meta-model. It would need aligned stereotyped when applicable (e.g. dimension vs. quantity type)
Resolution: 
Revised Text: 
Actions taken:
December 31, 2009: received issue
Discussion: 
This issue needs further discussion with the SysML group in order to converge
on the profile design of the QUVD meta-model. For timing reason, we decide to
defer the resolution of this issue in order to get this time and propose a common
resolution with the SysML group.
Disposition: Deferred
End of Annotations:=====

m: webmaster@omg.org
Date: 31 Dec 2009 07:28:52 -0500
To: <issues@omg.org>
Subject: Issue/Bug Report


*******************************************************************************
Name:          Séstien Demathieu
Company:       Thales
mailFrom:      sebastien.demathieu@thalesgroup.com
Notification:  Yes
Specification: MARTE
Section:       NFP
FormalNumber:  09-11-02
Version:       1.0
RevisionDate:  11/2009
Page:          38
Title:         Align the NFP profile and domain model with the QUVD meta-model
Nature:        Revision
Severity:      Significant
test:          3qw8
B1:            Report Issue


Description:

<Down>
<Down>
Subject: [MARTE] NFPs, VSL, and Library
Date: Mon, 8 Mar 2010 11:31:33 +0100
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
Thread-Topic: [MARTE] NFPs, VSL, and Library
thread-index: Acq7obJc8sOhcYTRQ3yET2mPlSsptQAACNagAMD5YCAAAKubwA==
From: "Huascar Espinoza" <Huascar.Espinoza@esi.es>
To: <marte-rtf@omg.org>
Cc: Séstien Demathieu <sebastien.demathieu@thalesgroup.com>,
        "GERARD Sebastien 166342" <sebastien.gerard@cea.fr>,
        "CUCCURU Arnaud" <arnaud.cuccuru@cea.fr>
X-ESI-MailScanner-Information: Please contact the ISP for more information
X-ESI-MailScanner: Found to be clean
X-ESI-MailScanner-SpamCheck: not spam (whitelisted),
        SpamAssassin (score=-2.879, required 3, autolearn=not spam, AWL 0.12,
        BAYES_00 -3.00, HTML_MESSAGE 0.00)
X-MailScanner-From: huascar.espinoza@esi.es


Hi,
 
In addition to Arnaud's issues, I'd like to let you know that there were some short emails to try to clarify some issues related to NFP, VSL, and MARTE Library:
 
--> 14919. NFP_CommonType shall define comparison operators (eg. =, >, <, *, +, -)
 
The RTF solved this issue by adding an inheritance between MARTE primitive types and MARTE NFP data types. This is not sufficient, according to Sebastien D., to implement in VSL parsers. So far, I don't have another solution, but maybe we should look at Issue 15100 (recently commented by Arnaud) to have a flexible solution to add new function/operations (math, logical functions, etc.) without changing the MARTE library every time.
 
--> 14893: Align the NFP profile and domain model with the QUVD meta-model
 
We agreed with Sebastien D. (source of the issue) that we should look at the work of the QUVD SysML sub-group (there is a mailing list for that) and wait to have an stable version before proposing any change in MARTE. QUVD is working in aligning SysML QUVD with other Onologies and Time groups at OMG.
 
--> The other issues are easy to solve (mistakes or trivial modifications), and I plan to provide some resolutions on the upcoming days.
 
All feedback is welcome.
 
Regards,
 
Huascar

************************************  DISCLAIMER *****************************************

This message may contain confidential, proprietary or legally privileged information. 
If you are not the intended recipient of this message, please notify it to the sender and delete without resending or backing it, as it is legally prohibited.
 
 
*************************************  AVISO LEGAL ****************************************
 
Este mensaje puede contener informacióonfidencial, en propiedad o legalmente protegida.
Si usted no es el destinatario, le rogamos lo comunique al remitente y proceda a borrarlo, sin reenviarlo ni conservarlo, ya que su uso no autorizado estárohibido legalmente.
 
*****************************************************************************************

<Down>
<Down>
Date: Mon, 08 Mar 2010 11:51:33 +0100
From: =?ISO-8859-4?Q?S=E9bastien_Demathieu?=
 <sebastien.demathieu@thalesgroup.com>
Organization: Thales Research & Technology
User-Agent: Thunderbird 2.0.0.23 (Windows/20090812)
To: Huascar Espinoza <Huascar.Espinoza@esi.es>
CC: marte-rtf@omg.org, GERARD Sebastien 166342 <sebastien.gerard@cea.fr>,
        CUCCURU Arnaud <arnaud.cuccuru@cea.fr>
Subject: Re: [MARTE] NFPs, VSL, and Library


Huascar,

Regarding 14910, we should consider duplicating/specialising operators for each NFP type.
It may not be an optimal solution but it would make some very useful VSL expressions
implementable in a tool.

Regarding 14893, we indeed agreed to sync with the QUVD working group. We could
however provide a resolution that cover part of the issue by renaming the Dimension
stereotype into QuantityKind (like in the SysML 1.2 spec).

Thanks,

Séstien




Huascar Espinoza a éit : 
Sorry it was not 14919... it is 14910



--------------------------------------------------------------------------------
From: Huascar Espinoza 
Sent: lunes, 08 de marzo de 2010 11:32
To: marte-rtf@omg.org
Cc: Séstien Demathieu; GERARD Sebastien 166342; 'CUCCURU Arnaud'
Subject: [MARTE] NFPs, VSL, and Library


Hi,
 
In addition to Arnaud's issues, I'd like to let you know that there were some short emails to try to clarify some issues related to NFP, VSL, and MARTE Library:
 
--> 14910. NFP_CommonType shall define comparison operators (eg. =, >, <, *, +, -)
 
The RTF solved this issue by adding an inheritance between MARTE primitive types and MARTE NFP data types. This is not sufficient, according to Sebastien D., to implement in VSL parsers. So far, I don't have another solution, but maybe we should look at Issue 15100 (recently commented by Arnaud) to have a flexible solution to add new function/operations (math, logical functions, etc.) without changing the MARTE library every time.
 
--> 14893: Align the NFP profile and domain model with the QUVD meta-model
 
We agreed with Sebastien D. (source of the issue) that we should look at the work of the QUVD SysML sub-group (there is a mailing list for that) and wait to have an stable version before proposing any change in MARTE. QUVD is working in aligning SysML QUVD with other Onologies and Time groups at OMG.
 
--> The other issues are easy to solve (mistakes or trivial modifications), and I plan to provide some resolutions on the upcoming days.
 
All feedback is welcome.
 
Regards,
 
Huascar

************************************  DISCLAIMER *****************************************

This message may contain confidential, proprietary or legally privileged information. 
If you are not the intended recipient of this message, please notify it to the sender and delete without resending or backing it, as it is legally prohibited.
 
 
*************************************  AVISO LEGAL ****************************************
 
Este mensaje puede contener informacióonfidencial, en propiedad o legalmente protegida.
Si usted no es el destinatario, le rogamos lo comunique al remitente y proceda a borrarlo, sin reenviarlo ni conservarlo, ya que su uso no autorizado estárohibido legalmente.
 
*****************************************************************************************



Subject: MARTE Issue 14893: Align the NFP profile and domain model with the QUVD meta-model
Date: Wed, 7 Apr 2010 09:41:58 +0200
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
Thread-Topic: MARTE Issue 14893: Align the NFP profile and domain model with the QUVD meta-model
Thread-Index: AcrWJc2KeuYyAmPZThK9BIgZ/wpzwQ==
From: "GERARD Sebastien 166342" <Sebastien.GERARD@cea.fr>
To: <marte-rtf@omg.org>
X-OriginalArrivalTime: 07 Apr 2010 07:41:58.0251 (UTC) FILETIME=[CD7373B0:01CAD625]


Hi all,

 

the issue http://www.omg.org/issues/marte-rtf.html#Issue14893 is about aligning MARTE NFP with QUVD MM of SysML. I propose to defer this issue for the next RTF because I think that according to the current bandwith of people incolve in proposing resolution for MARTE, we will not be able to do it on time for this RTF. Do you agree? If not, please make a proposal.

 

Thanks,

Best. Séstien.

 

 

Dr. Séstien Gérd

Head of MDD for DRES research project

CEA LIST, Laboratoire d.Ingéerie dirigépar les modès pour les Systès Embarqué(LISE)

Boî courrier 94, GIF SUR YVETTE

CEDEX, F-91191 France

Phone/fax : +33 1 69 08 58 24 / 83 95

Leader of the Eclipse Component Papyrus (The UML2 Graphical Modeler): www.papyrusuml.org

http://www.eclipse.org/modeling/mdt/?project=papyrus

 

Before printing, think about the environment 

 
Previous discussions between the SysML and MARTE communities have allowed relationships between both languages. An important convergence area relates to the notions of quantities, unit and dimensions. The SysML 1.2 RTF and the MARTE FTF work resulted in the definition of the QUVD meta-model (SysML Annex C.5). The MARTE NFP profile has not been yet entirely aligned on the QUVD meta-model. It would need aligned stereotyped when applicable (e.g. dimension vs. quantity type)