From 85ec6dad9a43f7cbc11ec79bd0a2ae8e22fe3313 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kamil=20=C5=9Aliwak?= Date: Wed, 6 Jun 2018 17:27:55 +0200 Subject: [PATCH] State diagrams: Add short description of used elements to the detailed diagram --- .../diagrams/concent-states-detailed.graphml | 662 +++++++++++++++++- .../diagrams/concent-states-detailed.svg | 46 +- 2 files changed, 702 insertions(+), 6 deletions(-) diff --git a/docs/source/diagrams/concent-states-detailed.graphml b/docs/source/diagrams/concent-states-detailed.graphml index 08017eebd..d911f3329 100644 --- a/docs/source/diagrams/concent-states-detailed.graphml +++ b/docs/source/diagrams/concent-states-detailed.graphml @@ -1,6 +1,6 @@ - + @@ -209,6 +209,645 @@ VERIFICATION + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + passive state + + + + + + + + + + + + active state + + + + + + + + + + + + transition occurs when the provider sends this message + + + + + + + + + + + + transition occurs when the requestor sends this message + + + + + + + + + + + + other condition + + + + + + + + + + + + transition to a passive states indicating acceptance of provider's claim + + + + + + + + + + + + transition to a passive states indicating rejection of provider's claim + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + SubtaskResultsResponse + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + ForceReportComputedTask + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + timeout + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -866,7 +1505,6 @@ VERIFICATION - @@ -903,6 +1541,26 @@ VERIFICATION + + + + + + + + + + + + + + + + + + + + diff --git a/docs/source/diagrams/concent-states-detailed.svg b/docs/source/diagrams/concent-states-detailed.svg index f8a7e7870..69ab18efe 100644 --- a/docs/source/diagrams/concent-states-detailed.svg +++ b/docs/source/diagrams/concent-states-detailed.svg @@ -1,17 +1,20 @@ - + - + - + + + + - + @@ -289,5 +292,40 @@ timeout t = rejection + AVCT + SVT + + + + + passive state + active state + transition occurs when the provider sends this message + transition occurs when the requestor sends this message + other condition + transition to a passive states indicating acceptance of provider's claim + transition to a passive states indicating rejection of provider's claim + + + + + + + + + + + + + + + SubtaskResultsResponse + ForceReportComputedTask + timeout + + + + + + +