diff --git a/J1587 Transport Protocol Model Validation/Create a structured expression to validate.txt b/J1587 Transport Protocol Model Validation/Create a structured expression to validate.txt new file mode 100644 index 0000000..ee25916 --- /dev/null +++ b/J1587 Transport Protocol Model Validation/Create a structured expression to validate.txt @@ -0,0 +1,27 @@ +Binary validation rule + +Sometimes it is hard to specify the rule for some advanced concepts in OCL. For example, the string manipulation is rather weak in OCL2.0, hence the writing rule for string formats, parsing strings is very hard in OCL. In such cases the modeling tool offers possibility to write rules in other languages and invoke them when validating. + +Common steps for creating a structured expression validation rule: + +- Create a constraint +- Set the stereotype «UML Standard Profile::Validation Profile::validationRule» for the validation rule +- Set the severity level, error message, and abbreviation +- Specify constrained element(s) +- Specify the specification language "structured expression" +- On the left side of the dialog, click Create Operation +- Add/import the created validation rule to a validation suite [Navigate to "Analyze-Validate-Run selected validation suite"] +- Run validation from top tool bar or from diagram. + +Reset the necessary operations. And learn the built in operations from here: https://docs.nomagic.com/display/MD2024xR2/Built-in+operations + +Documentation: +- Purpose of Validation in Catia: https://docs.nomagic.com/display/MD190/Validation + +- Learn how to validate elements not used in diagrams: https://docs.nomagic.com/display/MD2022x/Case+5.+Validating+Elements+Not+Used+in+Diagram + +- Presentation notes + +- mdzip file + +- SAIC DE Profile: https://www.saic.com/digital-engineering-validation-tool diff --git a/J1587 Transport Protocol Model Validation/Fail recording.mp4 b/J1587 Transport Protocol Model Validation/Fail recording.mp4 new file mode 100644 index 0000000..0979014 Binary files /dev/null and b/J1587 Transport Protocol Model Validation/Fail recording.mp4 differ diff --git a/J1587 Transport Protocol Model Validation/Final Presentation.pptx b/J1587 Transport Protocol Model Validation/Final Presentation.pptx new file mode 100644 index 0000000..081f7ed Binary files /dev/null and b/J1587 Transport Protocol Model Validation/Final Presentation.pptx differ diff --git a/J1587 Transport Protocol Model Validation/J1587_201301.pdf b/J1587 Transport Protocol Model Validation/J1587_201301.pdf new file mode 100644 index 0000000..ad58ca6 Binary files /dev/null and b/J1587 Transport Protocol Model Validation/J1587_201301.pdf differ diff --git a/J1587 Transport Protocol Model Validation/Transport Protocol Model Validation.mdzip b/J1587 Transport Protocol Model Validation/Transport Protocol Model Validation.mdzip new file mode 100644 index 0000000..939577a Binary files /dev/null and b/J1587 Transport Protocol Model Validation/Transport Protocol Model Validation.mdzip differ diff --git a/J1708 Electronic Parameters Model Vaildation/Create an OCL validation rule.txt b/J1708 Electronic Parameters Model Vaildation/Create an OCL validation rule.txt new file mode 100644 index 0000000..568c851 --- /dev/null +++ b/J1708 Electronic Parameters Model Vaildation/Create an OCL validation rule.txt @@ -0,0 +1,25 @@ +To create the OCL2.0 validation rule + +- Create a constraint. +- Set the stereotype «UML Standard Profile::Validation Profile::validationRule» for the validation rule. +- Set the severity level, error message, and abbreviation. +- Specify constrained element(s). +- Specify the specification language OCL2.0 +- Enter the OCL2.0 expression as a body of the specification +- Add/import the created validation rule to a validation suite [Navigate to "Analyze-Validate-Run selected validation suite"] + +Documentation: +- Purpose of Validation in Catia: https://docs.nomagic.com/display/MD190/Validation + +- https://docs.nomagic.com/display/MD190/Create+OCL2.0+validation+rule + +- Video to understand OCL more: https://www.youtube.com/watch?v=Tzo5xHbv2CQ&list=PLySZeotMyOVJ-OlYYcrIghX2e9gS_Vok5&index=13 + +- Presentation notes + +- mdzip file + + + + + diff --git a/J1708 Electronic Parameters Model Vaildation/Electronic Parameters Model validations.mdzip b/J1708 Electronic Parameters Model Vaildation/Electronic Parameters Model validations.mdzip new file mode 100644 index 0000000..75e2252 Binary files /dev/null and b/J1708 Electronic Parameters Model Vaildation/Electronic Parameters Model validations.mdzip differ diff --git a/J1708 Electronic Parameters Model Vaildation/Final Project Progress Review Presentation.pptx b/J1708 Electronic Parameters Model Vaildation/Final Project Progress Review Presentation.pptx new file mode 100644 index 0000000..8786381 Binary files /dev/null and b/J1708 Electronic Parameters Model Vaildation/Final Project Progress Review Presentation.pptx differ diff --git a/J1708 Electronic Parameters Model Vaildation/J1708_201609.pdf b/J1708 Electronic Parameters Model Vaildation/J1708_201609.pdf new file mode 100644 index 0000000..488cc20 Binary files /dev/null and b/J1708 Electronic Parameters Model Vaildation/J1708_201609.pdf differ diff --git a/J1708 Electronic Parameters Model Vaildation/Object Constraint Language v2.4.pdf b/J1708 Electronic Parameters Model Vaildation/Object Constraint Language v2.4.pdf new file mode 100644 index 0000000..71265a1 Binary files /dev/null and b/J1708 Electronic Parameters Model Vaildation/Object Constraint Language v2.4.pdf differ diff --git a/J1708 Electronic Parameters Model Vaildation/Object_Constraint_Language_OCL_A_Definitive_Guide.pdf b/J1708 Electronic Parameters Model Vaildation/Object_Constraint_Language_OCL_A_Definitive_Guide.pdf new file mode 100644 index 0000000..ac41233 Binary files /dev/null and b/J1708 Electronic Parameters Model Vaildation/Object_Constraint_Language_OCL_A_Definitive_Guide.pdf differ diff --git a/J1708 Electronic Parameters Model Vaildation/Recording 2025-04-09 102509.mp4 b/J1708 Electronic Parameters Model Vaildation/Recording 2025-04-09 102509.mp4 new file mode 100644 index 0000000..cebd50e Binary files /dev/null and b/J1708 Electronic Parameters Model Vaildation/Recording 2025-04-09 102509.mp4 differ