Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Create 2024-07-12.md #744

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Create 2024-07-12.md #744

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
36 changes: 36 additions & 0 deletions hardware/2024-07-12.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,36 @@
# SPDX Hardware Team Meeting 2024-07-12

## Attendees
* Alfred Strauch
* Steven Carbno
* Amit Kumar
* Isaac Asay
* Kate Stewart
* Tito Dakshinamoon
* A.J. Stein (NIST)

## Agenda
* AJ to present on Constraints
* Michael Gielda to show model

## Notes
* OSCAL - Ianguage that is information model encoded in XML.
* Metaschema modeling framework, so not doing it by hand, understanding equivalence and relationship between each other. What does this have to do with Structured constraints? Schema enforcement limits are possible. So, how build information that is conditional. XML & JSON schema can enforce only up to a limit.
https://pages.nist.gov/metaschema/
https://pages.nist.gov/metaschema/tutorials/
https://pages.nist.gov/metaschema/tutorials/3-constraints-expect/
* Metapath is modern implmentations of xpath. Subset of xpath behaviour, to help with searching the target. ie. if I'm in memory, show me all the results that, .... Able to do relative search in heirachical as well as global.
* Resolution of idiomatic XML to JSON translation.
* Powerful, as it has tool that can automatically generate code in JAVA for instance.
* Useful for cross reference parallel items.
* Complexitity between state management
* Metapath looking at adding another data processing layer. Supports a default; as well as telling if right or how it's done it wrong. Can build software to filter it.
* https://pages.nist.gov/metaschema/tutorials/3-constraints-expect/Uses HUGO with markdown for the tutorial generation.
* May be possible to generate in SHACL/TURTL - but temperature points may require going to formal. Correctness mechanisms. Intra and Inter documents to analyzed. Understand.
* At a certain level of complexity for constraints, may need to go to something like the constraints.
* https://docs.google.com/document/d/1OdUDRcLFxXz3bskuvCOmji710dS6b6HMLuWMYBoF1Cc/edit
* Michael gave a demonstration of https://designer.antmicro.com/ - this is the "new" thing that replaces renopedia.

## Decisions

## Action Items