diff --git a/src/main/java/avatartranslator/tosysmlv2/static/AvatarBlockTypes.sysml b/src/main/java/avatartranslator/tosysmlv2/static/AvatarBlockTypes.sysml index 8c169958eb78fe6fc03ddca97781ff13eae734b3..052be1866d04902adf129ca4dd03d6bae4ae0a54 100644 --- a/src/main/java/avatartranslator/tosysmlv2/static/AvatarBlockTypes.sysml +++ b/src/main/java/avatartranslator/tosysmlv2/static/AvatarBlockTypes.sysml @@ -81,10 +81,7 @@ package AvatarBlockTypes { // states, requests and messages specializations for timers - part def '#Timer_Rel' :> '#Sync_Rel' { - '@private' redefines '@private' = true; - doc /* #Timer_Rel contains the channels between a timer and its containing block */ - } + state def '#AvatarSetTimerState' :> '#AvatarSendState'; state def '#AvatarResetTimerState' :> '#AvatarSendState'; state def '#AvatarExpireTimerState' :> '#AvatarReceiveState'; diff --git a/src/main/java/avatartranslator/tosysmlv2/static/AvatarCommunication.sysml b/src/main/java/avatartranslator/tosysmlv2/static/AvatarCommunication.sysml index b03f4ae94f8a837abfdcc1c3e56d6f0bddcaed2a..e722fc16348eff8a7b4af4d3f068de436f781d8f 100644 --- a/src/main/java/avatartranslator/tosysmlv2/static/AvatarCommunication.sysml +++ b/src/main/java/avatartranslator/tosysmlv2/static/AvatarCommunication.sysml @@ -3,6 +3,7 @@ package AvatarCommunication { import AvatarGeneral::*; import AvatarBlockTypes::*; + import Links::SelfLink; // AVATAR COMMUNICATION RELATIONS ====================================== @@ -136,4 +137,12 @@ package AvatarCommunication { /* #Bfifo, #NBfifo, #Sync is a partition of #Channel. Disjointness is ensured by #Fifo_Rel and #Channel partitions */ -} + connection def '#InSignalBinding' :> SelfLink { + end part sameThing : '#Channel' redefines sameThing; + end part thisThing : '#Channel' redefines thisThing; + } + connection def '#OutSignalBinding' :> SelfLink { + end part sameThing : '#Channel' redefines sameThing; + end part thisThing : '#Channel' redefines thisThing; + } +} \ No newline at end of file