Talk:Dev:Semantic Constraints: Difference between revisions
Jump to navigation
Jump to search
(Translated with www.DeepL.com/Translator (free version)) |
|||
Line 8: | Line 8: | ||
**What is obviously not 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 is potentially dangerous to put the dead weight under {{Tag|RS|vehicle|@=nettoWeight}} and the load capacity under {{Tag|RS|vehicle|@=tareWeight}}). | ***Element semantics and attribute semantics - otherwise every element semantics and attribute semantics would be a semcon (although it is potentially dangerous to put the dead weight under {{Tag|RS|vehicle|@=nettoWeight}} and the load capacity under {{Tag|RS|vehicle|@=tareWeight}}). | ||
***Recommendations | |||
***Conclusions from syntactic constraints and/or element/attribute semantics | |||
**Cf. [https://stackoverflow.com/questions/10231919/what-does-semantic-constraints-mean-regarding-software-testing]→[http://ix.cs.uoregon.edu/~michal/book/free.php] | **Cf. [https://stackoverflow.com/questions/10231919/what-does-semantic-constraints-mean-regarding-software-testing]→[http://ix.cs.uoregon.edu/~michal/book/free.php] | ||
*Goals | *Goals | ||
Line 19: | Line 21: | ||
;Design guidelines | ;Design guidelines | ||
*Use the template with all mandatory parameters | *Use the template with all mandatory parameters | ||
*Implement a seperate semcon for every rule | |||
*Record on [[Dev:Semantic_Constraints/table]] | *Record on [[Dev:Semantic_Constraints/table]] | ||
*numbering according to [[Dev:Semantic_Constraints/table]] | *numbering according to [[Dev:Semantic_Constraints/table]] |
Revision as of 12:11, 30 March 2020
Discussion March 2020
Initial question: what are semcons and what are no semcons?
- Questions
- Definition
- Suggestion:
A semantic constraint is a constraint that has to be satified (by whom?) without being implemented within the 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 is potentially dangerous to put the dead weight under <vehicle>@nettoWeight and the load capacity under <vehicle>@tareWeight).
- Recommendations
- Conclusions from syntactic constraints and/or element/attribute semantics
- Cf. [1]→[2]
- Suggestion:
- Goals
- Security?
- Interoperability?
- Do they apply to the developer or the user?
- Who can control/guarantee compliance?
- Design
- Allow/deny the recycling of discarded numbers?
- Design guidelines
- Use the template with all mandatory parameters
- Implement a seperate semcon for every rule
- Record on Dev:Semantic_Constraints/table
- numbering according to Dev:Semantic_Constraints/table