Talk:Dev:Semantic Constraints: Difference between revisions

From railML 2 Wiki
Jump to navigation Jump to search
(Created page with "==Diskussion März 2020== Ausgangsfrage: Was ist eine Semcon und was nicht. ;Fragen: *Definition **Vorschlag:<br>Eine Semantic Constraint ist eine Restriktion, die (von wem?)...")
 
 
(8 intermediate revisions by 2 users not shown)
Line 1: Line 1:
==Diskussion März 2020==
==Discussion March 2020==
Ausgangsfrage: Was ist eine Semcon und was nicht.
Initial question: what are semcons and what are no semcons?


;Fragen:
;Questions:
*Definition
*Definition
**Vorschlag:<br>Eine Semantic Constraint ist eine Restriktion, die (von wem?) eingehalten werden muss, die jedoch nicht im XSD implementiert ist.
**Suggestion: <br>A semantic constraint is a constraint that cannot be implemented in an XSD.
**Was fällt sicher darunter?
**What is obviously a semcon?
**Was fällt sicher ''nicht'' darunter?
**What is obviously not a semcon?
***Elementsemantik und Attributsemantik – sonst wäre jede Elementsemantik und Attributsemantik eine Semcon (obwohl es potentiell gefährlich ist, unter {{Tag|RS|vehicle|@=nettoWeight}} das Eigengewicht unterzubringen und unter {{Tag|RS|vehicle|@=tareWeight}} die Ladekapazität).
***Element semantics and attribute semantics - otherwise every element semantics and attribute semantics would be a semcon (although it may be annoying to put the dead weight under {{Tag|RS|vehicle|@=nettoWeight}} and the load capacity under {{Tag|RS|vehicle|@=tareWeight}}).
**Vgl. [https://stackoverflow.com/questions/10231919/what-does-semantic-constraints-mean-regarding-software-testing]→[http://ix.cs.uoregon.edu/~michal/book/free.php]
***Intentions (about the function of a certain Element/Attribute)
*Ziele
***Recommendations
**Sicherheit?
***Best Practices
**Interoperabilität?
***Conclusions from syntactic constraints and/or element/attribute semantics
*Gelten sie für den Entwickler oder für den User?
***Explanations of semantic constraints
*Wer kann die Einhaltung kontrollieren/gewährleisten?
**Cf. [https://stackoverflow.com/questions/10231919/what-does-semantic-constraints-mean-regarding-software-testing]→[http://ix.cs.uoregon.edu/~michal/book/free.php]
*Gestaltung
*Goals
**Recycling verworfener Nummern erlauben/verbieten?
**Interoperability?
**Do they apply to the developer or the user?
**Who can control/guarantee compliance?
*Design
**Allow/deny the recycling of discarded numbers?


;Gestaltungsrichtlinien
;Creating semantic constraints
*Verwendung der Vorlage mit allen Pflichtparametern
*Suggestion and Discussion
*Hinterlegung auf [[Dev:Semantic_Constraints/table]]
**either in the {{rml}} Forum
*Nummerierung entsprechend [[Dev:Semantic_Constraints/table]]
**or in a {{rml}} working group<br>→in this case the working group must present their discussion result in the forum and grant a term for discussion there
*Enter the semcon with status ''proposed'' into the wiki
*If there are no objections, the semcon becomes accepted after a certain term (6 weeks)
*In case of objections the working group decides
 
;Design guidelines
*Use the template with all mandatory arguments<br>The template must be extended with an argument to link to the discussion as to grant that the proposal is preceded by a discussion
*Implement a seperate semcon for every rule
*Record on [[Dev:Semantic_Constraints/table]]
*numbering according to [[Dev:Semantic_Constraints/table]]
 
==Distinctions within element documentation / Structure and usage of an Wiki page==
*'''Position of ''XYZ'' in the XML-Tree:
**Shall contain the position of the element in the XML tree
** {{rml}} 2: generated manual by the coordinator straightforward from the schema; no manual additions
** {{rml}} 3: generated automatically by ''GWPS''; no manual additions
** ''Criteria to be fulfilled for successful certification''
*'''Multiplicity:''' straightforward from the schema – '''relevant for certification'''
*'''Semantics:''' Only the intention. No rules or explanations. Concise remarks like “not to be confused with” are allowed, if they explain the intention – '''not relevant for certification'''
*'''Attributes:''' No rules or explanations. Concise remarks like “not to be confused with” are allowed, if they explain the intention – '''not relevant for certification'''
*'''Syntactic constraints:''' straightforward from the schema – '''relevant for certification'''
*'''Semantic constraints:''' compare above – '''relevant for certification'''
*'''Best Practice Examples:''' for instance national rules and peculiarities; Code examples – '''not relevant for certification'''
*'''Open Issues:''' open discussions and unsolved problems – '''not relevant for certification'''
*'''Notes:''' Anything that does not fit into other paragraphs – '''not relevant for certification'''
 
;&nbsp;
;Where can you comment on the semantics in wiki3?
;''GWPS'' = Gruschwitz' Wonderful Phython Script

Latest revision as of 19:39, 3 April 2020

Discussion March 2020

Initial question: what are semcons and what are no semcons?

Questions
  • Definition
    • Suggestion:
      A semantic constraint is a constraint that cannot be implemented in an XSD.
    • What is obviously a semcon?
    • What is obviously not a semcon?
      • Element semantics and attribute semantics - otherwise every element semantics and attribute semantics would be a semcon (although it may be annoying to put the dead weight under <vehicle>@nettoWeight and the load capacity under <vehicle>@tareWeight).
      • Intentions (about the function of a certain Element/Attribute)
      • Recommendations
      • Best Practices
      • Conclusions from syntactic constraints and/or element/attribute semantics
      • Explanations of semantic constraints
    • Cf. [1][2]
  • Goals
    • Interoperability?
    • Do they apply to the developer or the user?
    • Who can control/guarantee compliance?
  • Design
    • Allow/deny the recycling of discarded numbers?
Creating semantic constraints
  • Suggestion and Discussion
    • either in the railML® Forum
    • or in a railML® working group
      →in this case the working group must present their discussion result in the forum and grant a term for discussion there
  • Enter the semcon with status proposed into the wiki
  • If there are no objections, the semcon becomes accepted after a certain term (6 weeks)
  • In case of objections the working group decides
Design guidelines
  • Use the template with all mandatory arguments
    The template must be extended with an argument to link to the discussion as to grant that the proposal is preceded by a discussion
  • Implement a seperate semcon for every rule
  • Record on Dev:Semantic_Constraints/table
  • numbering according to Dev:Semantic_Constraints/table

Distinctions within element documentation / Structure and usage of an Wiki page

  • Position of XYZ in the XML-Tree:
    • Shall contain the position of the element in the XML tree
    • railML® 2: generated manual by the coordinator straightforward from the schema; no manual additions
    • railML® 3: generated automatically by GWPS; no manual additions
    • Criteria to be fulfilled for successful certification
  • Multiplicity: straightforward from the schema – relevant for certification
  • Semantics: Only the intention. No rules or explanations. Concise remarks like “not to be confused with” are allowed, if they explain the intention – not relevant for certification
  • Attributes: No rules or explanations. Concise remarks like “not to be confused with” are allowed, if they explain the intention – not relevant for certification
  • Syntactic constraints: straightforward from the schema – relevant for certification
  • Semantic constraints: compare above – relevant for certification
  • Best Practice Examples: for instance national rules and peculiarities; Code examples – not relevant for certification
  • Open Issues: open discussions and unsolved problems – not relevant for certification
  • Notes: Anything that does not fit into other paragraphs – not relevant for certification
 
Where can you comment on the semantics in wiki3?
GWPS = Gruschwitz' Wonderful Phython Script