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.

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

GSN: show text of referenced goal in away goal #40

Closed
mfgpcm opened this issue Aug 17, 2020 · 2 comments
Closed

GSN: show text of referenced goal in away goal #40

mfgpcm opened this issue Aug 17, 2020 · 2 comments
Assignees

Comments

@mfgpcm
Copy link

mfgpcm commented Aug 17, 2020

When creating a GSN and adding an away goal, it would be beneficial to see the description of the referenced goal in the away goal directly.
@norro as discussed, please take over from here.

@norro norro self-assigned this Aug 17, 2020
@danielratiu
Copy link
Member

The Away Goals per se are deprecated. The reason for this is that we have specialized goals (e.g. requirements verification) that can be away as well. Now, each goal can be made "away" in inspector.

The best way of working is to use the intention "Make Away Goal" - that extracts automatically a new goal structure with a root goal that is pointed from the original goal. The type, text, properties remain the same.

image

norro added a commit to boschresearch/mbeddr.formal that referenced this issue Aug 17, 2020
mbeddr#40

Signed-off-by: Arne Nordmann (CR/AEA2) <arne.nordmann@de.bosch.com>
@bkolb
Copy link

bkolb commented Aug 19, 2020 via email

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

4 participants