Skip to content

Purpose limitations paper#340

Merged
Lostlias merged 38 commits intomainfrom
PurposeLimitationsPaper
Feb 4, 2026
Merged

Purpose limitations paper#340
Lostlias merged 38 commits intomainfrom
PurposeLimitationsPaper

Conversation

@Lostlias
Copy link
Copy Markdown
Contributor

DFDs and Info for Paper about Purpose Limitations in DFDs.

@Lostlias
Copy link
Copy Markdown
Contributor Author

Lostlias commented Nov 4, 2025

This should be ready to merge.

Included are almost all of Stefan's Scenarios. One is missing (IF PrivateTaxi with Violation) because of a problem with finding the correct vertices. I will add this as soon as able.

Also included are the DFDs from the Purpose Limitations Paper as well as the DFDs from the Patient Monitorins System Paper.

I would like to add a short description of the Scenarios; ideally a slightly modified version from Stefan's existing texts. This would be much shorter than what Manuel has been doing. @Nicolas-Boltz what do you think?

@Lostlias Lostlias mentioned this pull request Nov 4, 2025
@Lostlias Lostlias self-assigned this Nov 4, 2025
@Lostlias Lostlias added the testing Related to testing and test cases or models label Nov 4, 2025
@Nicolas-Boltz
Copy link
Copy Markdown
Member

I would like to add a short description of the Scenarios; ideally a slightly modified version from Stefan's existing texts. This would be much shorter than what Manuel has been doing. @Nicolas-Boltz what do you think?

Personally I like to have some form of description of the system. The structure Manuel has been using should be used, however you do not need to come up with highly elaborate new texts. Using what Stefan had and trying to put it into the new structure would be fine.

Copy link
Copy Markdown
Member

@Entenwilli Entenwilli left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Some smaller comments, mostly to do with constraints in models that should have none

@Entenwilli
Copy link
Copy Markdown
Member

@Lostlias Some syntax error occurred during your merge in the ExampleModelTests class

@Lostlias Lostlias force-pushed the PurposeLimitationsPaper branch from 5a8e4a3 to ccf1b9e Compare January 12, 2026 16:30
@Lostlias
Copy link
Copy Markdown
Contributor Author

Documentation is now finished for all scenarios except for Private Taxi with violation. This will be added in a separate Pull Request.

@Lostlias Lostlias requested a review from Entenwilli January 20, 2026 16:47
Copy link
Copy Markdown
Member

@Entenwilli Entenwilli left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Very nicely done!
Models are great, as noted on the least review, and the added documentation seems good as well!
Let's get this merged

@Lostlias Lostlias merged commit 845668d into main Feb 4, 2026
1 check passed
@Lostlias Lostlias deleted the PurposeLimitationsPaper branch February 4, 2026 10:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

testing Related to testing and test cases or models

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants