npm - @t12v/xbau-releases - Versions diffs - 2.0.0 → 2.1.2 - Mend

@t12v/xbau-releases 2.0.0 → 2.1.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (721) hide show

package/standards/2.2/docs/NDR-SOLL.invariants ADDED Viewed

@@ -0,0 +1,222 @@
+<?xml version='1.0' encoding='iso-8859-1'?>
+<!-- X�V-Profil 1.5.1 - X�V-Pr�fanweisungen (SOLL-Regeln) -->
+<!-- Dieses Werk ist lizensiert unter einer Creative Commons Namensnennung - Keine Bearbeitung 4.0 International Lizenz. -->
+<invariants xmlns="http://www.osci.de/xoev/invariants" level="shall">
+  <rule name='NDR-4: Erlaubte Einbindungsarten f�r Codelisten'>
+  <invariant context='Class' name='maximumLengthOfListVersionID'>
+    <body><![CDATA[
+      self.extension_xsdCode.isDefined and self.hlpIsPartOfXModel() and
+      self.getAttribute('listVersionID').default.isDefined implies
+        self.getAttribute('listVersionID').default.size < 16
+      ]]>
+    </body>
+    <documentation>
+      Codelisten-Versionen sollen aus nicht mehr als 16 Zeichen bestehen.
+    </documentation>
+  </invariant>
+  <invariant context='Enumeration' name='EnumerationsAreUsedInContextOfFirstXOEVCodeType'>
+    <body><![CDATA[
+      let codes:Set(Class) = Class.allInstances->
+          select(c|c.extension_xsdCode.isDefined() and
+          c.hlpTopMostSuperType().name = 'Code' and
+          c.hlpTopMostSuperType().hlpOwningPackage().name='XOEV-Basisdatentypen' and
+		  c.hlpIsPartOfXModel() and
+          c.ownedAttribute->
+            exists(a|(a.extension_xsdElement.isDefined() or a.extension_xsdAttribute.isDefined()) and a.type = self))
+        in
+      self.extension_xoevCodeliste.isDefined and
+      self.hlpIsPartOfXModel() implies
+        (codes->forAll(c1|(c1.ownedAttribute->exists
+		   (a1|a1.name = 'code' and
+            a1.extension_xsdElement.isDefined() and
+            a1.upper = 1 and
+            a1.lower = 1)) and
+         (c1.ownedAttribute->exists
+		  (a1|a1.name = 'listURI' and
+            a1.extension_xsdAttribute.isDefined() and
+            a1.upper = 1 and
+            a1.default.isDefined and a1.default <> '' and
+            a1.isReadOnly.isDefined and a1.isReadOnly = true)) and
+         (c1.ownedAttribute->exists
+		   (a1|a1.name = 'listVersionID' and
+            a1.extension_xsdAttribute.isDefined() and
+            a1.upper = 1 and
+            a1.default.isDefined and a1.default <> '' and
+            a1.isReadOnly.isDefined and a1.isReadOnly = true))))
+    ]]></body>
+    <documentation>
+      Eine Codeliste (UML-Enumeration mit dem Stereotyp �xoevCodeliste�) wird von einer UML-Klasse mit dem
+      Stereotyp �xsdCode� eingebunden. Die einbindende UML-Klasse entspricht mit den Namen,
+      Multiplizit�ten und Fix-Werten der Eigenschaften den Vorgaben zu der Einbindungsart 1 von
+      Codelisten.
+    </documentation>
+  </invariant>
+  <invariant context='Class' name='CodeTypesConformToXOEVCodes'>
+    <body><![CDATA[
+      let a:Sequence(Property) = self.ownedAttribute in
+      self.extension_xsdCode.isDefined and
+      self.hlpIsPartOfXModel() implies
+        ((a->exists(a1|a1.name = 'code' and
+          a1.extension_xsdElement.isDefined() and
+          a1.upper = 1 and
+          a1.lower = 1)) and
+        (a->exists(a3|a3.name = 'listURI' and
+          a3.extension_xsdAttribute.isDefined() and
+          a3.upper = 1 and
+          a3.default.isDefined and a3.default <> '' and
+          a3.isReadOnly.isDefined and a3.isReadOnly = true)) and
+        (a->exists(a4|a4.name = 'listVersionID' and
+          a4.extension_xsdAttribute.isDefined() and
+          a4.upper = 1 and
+          a4.default.isDefined and a4.default <> '' and
+          a4.isReadOnly.isDefined and a4.isReadOnly = true)))
+        or
+        ((a->exists(a1|a1.name = 'code' and
+          a1.extension_xsdElement.isDefined() and
+          a1.upper = 1 and
+          a1.lower = 1)) and
+        (a->exists(a3|a3.name = 'listURI' and
+          a3.extension_xsdAttribute.isDefined() and
+          a3.upper = 1 and
+          a3.default.isDefined and a3.default <> '' and
+          a3.isReadOnly.isDefined and a3.isReadOnly = true)) and
+        (a->exists(a4|a4.name = 'listVersionID' and
+          a4.extension_xsdAttribute.isDefined() and
+          a4.upper = 1 and
+          a4.lower = 1)))
+        or
+        ((a->exists(a1|a1.name = 'code' and
+          a1.extension_xsdElement.isDefined() and
+          a1.upper = 1 and
+          a1.lower = 1)) and
+        (a->exists(a3|a3.name = 'listURI' and
+          a3.extension_xsdAttribute.isDefined() and
+          a3.upper = 1 and
+          a3.lower = 1)) and
+        (a->exists(a4|a4.name = 'listVersionID' and
+          a4.extension_xsdAttribute.isDefined() and
+          a4.upper = 1 and
+          a4.lower = 1)))
+    ]]></body>
+    <documentation>
+      Ein Code-Datentyp (UML-Klasse mit dem Stereotyp �xsdCode�) entspricht mit den Namen,
+      Multiplizit�ten und Fix-Werten den Vorgaben zu der Einbindungsart 1, 2, 3 oder 4 von Codelisten.
+    </documentation>
+  </invariant>
+  </rule>
+  <rule name='NDR-11: Erlaubte Zeichen f�r Namen'>
+  <invariant context='Class' name='CharacterRestrictionForTypeAndGlobalElementNames'>
+    <body><![CDATA[
+      (self.extension_xsdNamedType.isDefined() or self.extension_xsdGlobalElement.isDefined())
+	    and self.hlpIsPartOfXModel() implies
+        self.hlpNameIsToken()
+    ]]></body>
+    <documentation>
+      Die Namen von mit �xsdNamedType� oder �xsdGlobalElement� markierten UML-Klassen d�rfen nur aus
+      lateinischen Buchstaben, Ziffern, Unterstrichen, Bindestrichen und Punkten bestehen.
+    </documentation>
+  </invariant>
+  <invariant context='Property' name='CharacterRestrictionForElementAndAttributeNames'>
+    <body><![CDATA[
+      (self.extension_xsdAttribute.isDefined() or
+        self.extension_xsdElement.isDefined()) and
+      self.hlpIsPartOfXModel() implies
+        self.hlpNameIsToken()
+    ]]></body>
+    <documentation>
+      Die Namen von mit �xsdElement� oder �xsdAttribute� markierten UML-Klasseneigenschaften d�rfen nur
+      aus lateinischen Buchstaben, Ziffern, Unterstrichen, Bindestrichen und Punkten bestehen.
+    </documentation>
+  </invariant>
+  <invariant context='Enumeration' name='CharacterRestrictionForCodeListNames'>
+    <body><![CDATA[
+      self.extension_xoevCodeliste.isDefined() and
+      self.extension_xsdNamedType.isDefined() and
+	  self.hlpIsPartOfXModel() implies
+        self.hlpNameIsToken()
+    ]]></body>
+    <documentation>
+      Die Namen von gleichzeitig mit �xoevCodeliste� und �xsdNamedType� markierten UML-Enumerationen d�rfen nur aus lateinischen Buchstaben, Ziffern, Unterstrichen, Bindestrichen und Punkten bestehen.
+    </documentation>
+  </invariant>
+  </rule>
+  <rule name='NDR-12: Erlaubte Zeichen f�r Klassifikationen in Namen'>
+  <invariant context='Class' name='PeriodsClassifyTypeAndGlobalElementNames'>
+    <body><![CDATA[
+      (self.extension_xsdNamedType.isDefined() or
+	    self.extension_xsdGlobalElement.isDefined()) and
+      self.hlpIsPartOfXModel() implies
+        self.hlpNameHasNoSequencedPeriods()
+    ]]></body>
+    <documentation>
+      Die Namen von mit �xsdNamedType� und �xsdGlobalElement� markierten UML-Klassen d�rfen keine zwei
+      aufeinander folgenden Punkte enthalten.
+    </documentation>
+  </invariant>
+  <invariant context='Property' name='PeriodsClassifyElementAndAttributesNames'>
+    <body><![CDATA[
+      (self.extension_xsdAttribute.isDefined() or
+        self.extension_xsdElement.isDefined()) and
+      self.hlpIsPartOfXModel() implies
+        self.hlpNameHasNoSequencedPeriods()
+    ]]></body>
+    <documentation>
+      Die Namen von mit �xsdElement� und �xsdAttribute� markierten UML-Klasseneigenschaften d�rfen keine
+      zwei aufeinander folgenden Punkte enthalten.
+    </documentation>
+  </invariant>
+  <invariant context='Enumeration' name='PeriodsClassifyCodeListNames'>
+    <body><![CDATA[
+      self.extension_xoevCodeliste.isDefined() and
+      self.hlpIsPartOfXModel() and
+      self.extension_xsdNamedType.isDefined() implies
+        self.hlpNameHasNoSequencedPeriods()
+    ]]></body>
+    <documentation>
+      Die Namen von gleichzeitig mit �xoevCodeliste� und �xsdNamedType� markierten UML-Enumerationen d�rfen keine zwei aufeinander folgenden Punkte enthalten.
+    </documentation>
+  </invariant>
+  </rule>
+  <!-- Erfordert Diskussion in Technikgruppe: -->
+  <!--<rule name='NDR-24: Wiederverwendung generischer Nachrichten-Eigenschaften'>
+  <invariant context='Model' name='MessageSuperTypeDefinedAndUsed'>
+    <body><![CDATA[
+      let n:Set(Class) = Class.allInstances->select(c|c.extension_xsdMessage.isDefined() and c.hlpIsPartOfXModel()) in
+      let n1:Class = n->asSequence()->first() in
+      let n1type:Classifier =
+        if (n1.hlpElements()->first.type.oclAsType(Class).hlpTopMostSuperType().isDefined()) then
+          n1.hlpElements()->first.type.oclAsType(Class).hlpTopMostSuperType()
+        else
+          n1.hlpElements()->first.type.oclAsType(Classifier)
+        endif
+      in
+      self = self.hlpXModel() implies
+        n->forAll(m|m.hlpTopMostSuperType().isDefined() and
+         n1.hlpTopMostSuperType().isDefined() and
+         m.hlpTopMostSuperType() = n1.hlpTopMostSuperType()) or
+          (n->forAll(m|
+            (m.hlpElements()->first.type.oclAsType(Class).hlpTopMostSuperType() = n1type) or
+			(m.hlpElements()->first.type.oclAsType(Classifier) = n1type)))
+    ]]></body>
+    <documentation>
+      Es gibt einen Supertyp f�r �xsdMessage�-UML-Klassen oder deren �xsdElement�-UML-Klasseneigenschaft
+      mit der Eigenschaft "position = 1".
+    </documentation>
+  </invariant>
+  </rule>  -->
+</invariants>

package/standards/2.2/docs/OSCI-Transport.invariants ADDED Viewed

@@ -0,0 +1,141 @@
+<?xml version='1.0' encoding='iso-8859-1'?>
+<invariants xmlns="http://www.osci.de/xoev/invariants">
+<!--  <invariant context='Class' name='wsdlVorlagedateiZugeordnet'>
+    <body><![CDATA[
+		self.extension_xsdMessage.isDefined() and self.extension_xsdMessage.wsdlVorlagedatei implies
+          Class.allInstances()->exists(c | c.extension_wsdlService.isDefined() and
+                                           c.clientDependency.supplier->includes(self))
+		]]>
+    </body>
+    <documentation>
+      Falls nicht explizit gekennzeichnet, m�ssen alle Nachrichten mindestens einem Dienst zugeordnet sein.
+    </documentation>
+  </invariant>-->
+  <invariant context='Class' name='passendesKommunikationsszenario'>
+    <body><![CDATA[
+        let options = Set{'one-way-active',
+                          'one-way-passive',
+                          'request-response',
+                          'request-response-noprotocol'} in
+		(self.extension_wsdlService.Kommunikationsszenario.isDefined implies
+          options->includes(self.extension_wsdlService.Kommunikationsszenario))
+        and
+        (self.extension_osciTransportScenario.Kommunikationsszenario.isDefined implies
+          options->includes(self.extension_osciTransportScenario.Kommunikationsszenario))
+		]]>
+    </body>
+    <documentation>
+      Erlaubte Kommunikationsszenarien sind one-way-active, one-way-passive, request-response und
+      request-response-noprotocol.
+    </documentation>
+  </invariant>
+  <invariant context='Class' name='passendeSignaturInhaltsdaten'>
+    <body><![CDATA[
+        let options = Set{'none',
+                          'advanced',
+                          'qualified'} in
+		(self.extension_wsdlService.SignaturInhaltsdaten.isDefined implies
+          options->includes(self.extension_wsdlService.SignaturInhaltsdaten))
+        and
+        (self.extension_osciTransportScenario.SignaturInhaltsdaten.isDefined implies
+          options->includes(self.extension_osciTransportScenario.SignaturInhaltsdaten))
+		]]>
+    </body>
+    <documentation>
+      Erlaubtes Signaturlevel f�r Inhaltsdaten ist none, advanced oder qualified.
+    </documentation>
+  </invariant>
+  <invariant context='Class' name='passendeSignaturNutzdaten'>
+    <body><![CDATA[
+        let options = Set{'none',
+                          'advanced',
+                          'qualified'} in
+		(self.extension_wsdlService.SignaturNutzdaten.isDefined implies
+          options->includes(self.extension_wsdlService.SignaturNutzdaten))
+        and
+        (self.extension_osciTransportScenario.SignaturNutzdaten.isDefined implies
+          options->includes(self.extension_osciTransportScenario.SignaturNutzdaten))
+		]]>
+    </body>
+    <documentation>
+      Erlaubtes Signaturlevel f�r Nutzdaten ist none, advanced oder qualified.
+    </documentation>
+  </invariant>
+  <invariant context='Class' name='optionalerContainerBestimmt'>
+    <body><![CDATA[
+        let options = Set{'true',
+                          'false'} in
+		(self.extension_wsdlService.OptionalerContainer.isDefined implies
+          options->includes(self.extension_wsdlService.OptionalerContainer))
+        and
+        (self.extension_osciTransportScenario.OptionalerContainer.isDefined implies
+          options->includes(self.extension_osciTransportScenario.OptionalerContainer))
+		]]>
+    </body>
+    <documentation>
+      Optionalit�t des Containers muss festgelegt sein ('true' oder 'false').
+    </documentation>
+  </invariant>
+  <invariant context='Class' name='oneWayActiveMessages'>
+    <body><![CDATA[
+        self.extension_wsdlService.isDefined and
+        (self.extension_wsdlService.Kommunikationsszenario = 'one-way-active' or
+         self.parents().any(true).oclAsType(Class).extension_osciTransportScenario.Kommunikationsszenario = 'one-way-active') implies
+          self.clientDependency->forAll(c|c.extension_wsdlServiceMessage.isDefined and
+                                          not c.extension_wsdlServiceInputMessage.isDefined and
+                                          not c.extension_wsdlServiceOutputMessage.isDefined and
+                                          not c.extension_wsdlServiceFaultMessage.isDefined)
+		]]>
+    </body>
+    <documentation>
+      One-way-active-Szenarios beziehen ausschlie�lich allgemeine Service-Messages ein.
+    </documentation>
+  </invariant>
+  <invariant context='Class' name='requestResponseMessages'>
+    <body><![CDATA[
+        self.extension_wsdlService.isDefined and
+        (self.extension_wsdlService.Kommunikationsszenario = 'request-response' or
+         self.parents().any(true).oclAsType(Class).extension_osciTransportScenario.Kommunikationsszenario = 'request-response') implies
+          self.clientDependency->forAll(c|
+             not c.extension_wsdlServiceMessage.isDefined and
+             (c.extension_wsdlServiceInputMessage.isDefined and
+             not c.extension_wsdlServiceOutputMessage.isDefined and
+             not c.extension_wsdlServiceFaultMessage.isDefined) or
+            (not c.extension_wsdlServiceInputMessage.isDefined and
+             c.extension_wsdlServiceOutputMessage.isDefined and
+             not c.extension_wsdlServiceFaultMessage.isDefined) or
+            (not c.extension_wsdlServiceInputMessage.isDefined and
+             not c.extension_wsdlServiceOutputMessage.isDefined and
+             c.extension_wsdlServiceFaultMessage.isDefined))
+		]]>
+    </body>
+    <documentation>
+      Request-response-Szenarios beziehen ausschlie�lich Input- ,
+	  Output- und Fault-Messages ein.
+    </documentation>
+  </invariant>
+  <invariant context='Class' name='unterst�tzteSzenarien'>
+    <body><![CDATA[
+        not (self.extension_wsdlService.Kommunikationsszenario = 'one-way-passive') and
+        not (self.extension_osciTransportScenario.Kommunikationsszenario = 'request-response-noprotocol')
+		]]>
+    </body>
+    <documentation>
+      One-way-passive und request-response-noprotocol noch nicht unterst�tzt.
+    </documentation>
+  </invariant>
+<!--  </rule>-->
+</invariants>