[1634] Invalid of export of redefining Attribute with shortName

Bug: #1634
Signed-off-by: Arthur Daussy <arthur.daussy@obeo.fr>

Author: adaussy

CHANGELOG.adoc

@@ -57,6 +57,7 @@ Also introduces new `ServiceMethod` helper class to build AQL service call expre
 - https://github.com/eclipse-syson/syson/issues/1618[#1618] [rest-apis] Fix an issue where the _eAnnotations_ reference coming from the Ecore metamodel was taking into account by REST APIs serialization.
 - https://github.com/eclipse-syson/syson/issues/1621[#1621] [diagrams] Fix an issue where the creation of a _Package_ inside another _Package_ created the _Package_ at the root of the diagram in addition to the inside of the target _Package_.
 - https://github.com/eclipse-syson/syson/issues/1617[#1617] [import] Fix incorrect resolution of _redefined feature_ on `Redefinitions` during textual import.
+- https://github.com/eclipse-syson/syson/issues/1634[#1634] [export] Redefining an `AttributeUsage` with a _shortName_ does not properly export to the textual format.
 
 === Improvements
 

backend/application/syson-application/src/test/java/org/eclipse/syson/application/export/ImportExportTests.java

@@ -863,6 +863,29 @@ public void checkFeatureReferenceExpressionWithQualifiedNameDeresolution() throw
         this.checker.check(input, input);
     }
 
+    @Test
+    @DisplayName("GIVEN a model with an attribute redefining an attribute with a short name, WHEN importing and exporting the model, THEN the redefined attribute should not redefine the shortName")
+    public void checkRedefineAttributeWithShortName() throws IOException {
+        var input = """
+                part p {
+                    attribute <a> anAttribute;
+                }
+                
+                part p1 :> p {
+                    attribute :>> a;
+                }""";
+        var expected = """
+                part p {
+                    attribute <a> anAttribute;
+                }
+                part p1 :> p {
+                    attribute :>> anAttribute;
+                }""";
+
+        this.checker.check(input, expected);
+    }
+
+
     @Test
     @DisplayName("GIVEN a model with an AttributeUsage containing a LiteralString, WHEN importing and exporting the model, THEN the exported text file should be the same as the imported one.")
     public void checkLiteralString() throws IOException {

backend/metamodel/syson-sysml-metamodel/src/main/java/org/eclipse/syson/sysml/textual/SysMLElementSerializer.java

@@ -1753,7 +1753,7 @@ private String buildImportContextRelativeQualifiedName(Element element, Element
     }
 
     private String appendNameWithShortName(Appender builder, Element element) {
-        String shortName = element.getShortName();
+        String shortName = element.getDeclaredShortName();
         if (!this.isNullOrEmpty(shortName)) {
             builder.appendSpaceIfNeeded().append("<").appendPrintableName(shortName).append(">");
         }

doc/content/modules/user-manual/pages/release-notes/2025.12.0.adoc

@@ -62,6 +62,41 @@ metadata def MP :> SemanticMetadata {
 }
 ```
 
+- Fix an issue where a model with a redefining `AttributeUsage` incorrectly redefined a _short name_ during a textual export.
+For example with the following model:
+
+```
+part p {
+    attribute <a> anAttribute;
+}
+
+part p1 :> p {
+    attribute :>> anAttribute;
+}
+```
+
+The export gave :
+
+```
+part p {
+	attribute <a> anAttribute;
+}
+part p1 :> p {
+	attribute <a> :>> anAttribute;
+}
+```
+
+Instead of:
+
+```
+part p {
+	attribute <a> anAttribute;
+}
+part p1 :> p {
+	attribute :>> anAttribute;
+}
+```
+
 == Improvements
 
 - In diagrams, when using direct edit on graphical elements, it's now possible to use _short names_ in the qualified names.