Issue 16304: Can Enumerations be used on parametric diagrams for typing constraint parameters (sysml-rtf) Source: PTC (Mr. Andreas Korff, akorff(at)ptc.com) Nature: Uncategorized Issue Severity: Summary: when participating in the discussions on the draft ballot 3 on the SysML 1.3 spec, we observed that there is a need for clarification. The question was about whether Enumerations can be used on parametric diagrams for typing constraint parameters. The spec defines: From 8.3.2.10 SysML defines ValueType as a stereotype of UML DataType to establish a more neutral term for system values that may never be given a concrete data representation. … A SysML ValueType may define its own properties and/or operations, just as for a UML DataType. See Section 8.3.2.2, “Block” for property classifications that SysML defines for either a Block or ValueType. ValueTypes can be used to type constraint parameters. Since ValueTypes extend UML DataTypes, and Enumerations are a subtype of DataType, Enumerations might be used. Since Blocks could be used as types of constraint parameters as well, the implication that any subtype of a UML datatype might lead to the implication that any subtype of UML classifier could be used here as well (e.g. activity or StateMachine), which is of course not meant. We need to constrain this definition better Resolution: Defer Postponed to the next RTF Revised Text: Actions taken: June 1, 2011: received issue January 3, 2017: Deferred April 6, 2017: closed issue Discussion: End of Annotations:===== m: Andreas Korff To: "juergen@omg.org" CC: Matthew Hause , Phil Astle Subject: Issue on SysML Spec Thread-Topic: Issue on SysML Spec Thread-Index: Acwgk3E7mYdZT6E8RSuC2+RmAw9ktg== Date: Wed, 1 Jun 2011 20:48:27 +0000 Accept-Language: en-GB, en-US X-MS-Has-Attach: yes X-MS-TNEF-Correlator: x-originating-ip: [93.247.114.101] x-esetresult: clean, is OK x-esetid: 92AEA02078B41F33C5ED Hi Jürgen, when participating in the discussions on the draft ballot 3 on the SysML 1.3 spec, we observed that there is a need for clarification. The question was about whether Enumerations can be used on parametric diagrams for typing constraint parameters. The spec defines: From 8.3.2.10 SysML defines ValueType as a stereotype of UML DataType to establish a more neutral term for system values that may never be given a concrete data representation. . A SysML ValueType may define its own properties and/or operations, just as for a UML DataType. See Section 8.3.2.2, .Block. for property classifications that SysML defines for either a Block or ValueType. ValueTypes can be used to type constraint parameters. Since ValueTypes extend UML DataTypes, and Enumerations are a subtype of DataType, Enumerations might be used. Since Blocks could be used as types of constraint parameters as well, the implication that any subtype of a UML datatype might lead to the implication that any subtype of UML classifier could be used here as well (e.g. activity or StateMachine), which is of course not meant. We need to constrain this definition better. Kind regards, Andreas Andreas Korff Product Manager Alte Landstr. 23, 1. OG Büro 5, D-85521 Ottobrunn, Munich T: +49 (0)8341 960 960 F: +49 (0)5361 897 6001 M: +49 (0)170 422 844 3 Andreas.Korff@Aego.com www.Atego.com Atego System GmbH, Sitz: München, eingetragen beim Amtsgericht München unter HRB 202211, UST-ID-Nr.: DE 210 900 491, Geschäftsführer: James B. Gambrell. VERTRAULICH: Die Informationen in dieser Nachricht können vertrauliche oder rechtlich geschützte Informationen enthalten. Diese sind ausschliesslich für den Adressaten bestimmt. Der Zugang zu dieser Nachricht durch andere Personen ist nicht erlaubt. Wenn Sie nicht der beabsichtigte Empfänger sind oder diese E-Mail irrtümlich erhalten haben, informieren Sie bitte sofort den Absender und vernichten diese E-Mail. Vervielfältigung, Weitergabe der Nachricht oder Verbreiten von Inhalten dieser E-Mail ist nicht gestattet und unter Umständen strafbar.