summaryrefslogtreecommitdiff
path: root/cesar/cp/sta/action/doc
diff options
context:
space:
mode:
authorschodet2008-11-10 13:52:47 +0000
committerschodet2008-11-10 13:52:47 +0000
commit16476e2adce149552860da67e74b874d982d673c (patch)
tree7c0f0108358f09fa3906835c7e214f1604ff43ac /cesar/cp/sta/action/doc
parent2676f964c602787d02eb1b004fa5a563a555bd6d (diff)
* cp/fsm, cp/sta/action:
- handle AVLN failure in the assoc FSM, closes #155. git-svn-id: svn+ssh://pessac/svn/cesar/trunk@3448 017c9cb6-072f-447c-8318-d5b54f68fe89
Diffstat (limited to 'cesar/cp/sta/action/doc')
-rw-r--r--cesar/cp/sta/action/doc/assoc.sdl8
-rw-r--r--cesar/cp/sta/action/doc/poweron.sdl6
2 files changed, 8 insertions, 6 deletions
diff --git a/cesar/cp/sta/action/doc/assoc.sdl b/cesar/cp/sta/action/doc/assoc.sdl
index 044d23c3e0..9e86fc1476 100644
--- a/cesar/cp/sta/action/doc/assoc.sdl
+++ b/cesar/cp/sta/action/doc/assoc.sdl
@@ -17,7 +17,11 @@
(authenticated) -to leave(5)-> (leaving)
(authenticated) -CC_LEAVE.IND(6)-> (leave wait)
-(leaving) -CC_LEAVE.CNF(7)-> (unassociated)
+(authenticated) -beacon(7)-> (authenticated)
+(authenticated) -beacon not received-> <:avln failure?> -y(8)-> (unassociated)
+ <:avln failure?> -n-> (authenticated)
+
+(leaving) -CC_LEAVE.CNF(8)-> (unassociated)
(leaving) -timeout(5) (3bp)-> (leave wait)
-(leave wait) -timeout(7)-> (unassociated)
+(leave wait) -timeout(8)-> (unassociated)
diff --git a/cesar/cp/sta/action/doc/poweron.sdl b/cesar/cp/sta/action/doc/poweron.sdl
index a1e06b352e..01bcbcea16 100644
--- a/cesar/cp/sta/action/doc/poweron.sdl
+++ b/cesar/cp/sta/action/doc/poweron.sdl
@@ -28,12 +28,10 @@ ucco:
sta:
(sta) -left-> (usta)
-(sta) -beacon(3)-> (sta)
-(sta) -beacon not received-> <:avln failure?> -y-> (poweron)
- <:avln failure?> -n-> (sta)
+(sta) -avln failure-> (poweron)
cco:
(cco) -join timeout-> <:sta joined> -y-> (cco)
<:sta joined> -n-> <:avln?> -y-> (usta)
<:avln?> -n-> (ucco)
-(cco) -all sta leaved(4)-> (cco)
+(cco) -all sta leaved(3)-> (cco)