Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@Lostlias
Copy link

DFDs and Info for Paper about Purpose Limitations in DFDs.

@Lostlias
Copy link
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
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
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
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
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
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.

4 participants