search

CARiSMA-Tool / carisma-tool

Implementation of the CARiSMA Tool
https://github.com/CARiSMA-Tool/carisma-tool
Eclipse Public License 1.0
3 stars 5 forks source link

Make <<fairexchange>> applicable to Activity (not only enclosing Model) #47

Open nuthub opened 6 months ago

nuthub commented 6 months ago

Requires:

  1. Modification of UMLsec profile (carisma.profile.umlsec/profile)
  2. Generation of new code from model + genmodel
  3. Modification of FairExchangeAnalysis(...)
APHDKO commented 5 months ago

Addressed and fixed in 6c6afa9, needs to be merged

nuthub commented 5 months ago

Do we need to update some documentation? A small hint should be sufficient, to not have an undocumented feature.

nuthub commented 4 months ago

We need to unignore ignored tests again. Investigate reasons for failure.