Changes for page Textual SCCharts Language SCT

Last modified by Richard Kreissig on 2023/09/14 11:05

From version < 15.1 >

edited by cmot
on 2014/06/28 13:16

To version < 13.1 >

edited by cmot
on 2014/06/28 13:05

Change comment: There is no comment for this version

Raw
Rendered

Summary

Page properties (1 modified, 0 added, 0 removed)
Objects (1 modified, 0 added, 0 removed)
- Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

@@ -65,10 +65,6 @@
  = Detailed Syntax of SCCharts Language Elements =
--
--
--{{toc/}}
--
  == SCCharts, Initial States, States, Transitions ==
  {{column width="50%"}}
@@ -90,338 +90,8 @@
--== Variable ==
--
--{{column width="50%"}}
--{{code linenumbers="true"}}
--scchart Variable {
--  int var1;
--  bool var2;
--  int var3 = 3;
--  bool var4 = false;
--  input int var5;
--  output float var6;
--  input output bool var7;
--  initial state A
--  --> B;
--  state B;
--}
--{{/code}}
--{{/column}}
--
--{{column width="50%"}}
-- [[image:attach:02variable.png]]
--{{/column}}
--
--== Transition: Trigger & Effect ==
--
--{{column width="50%"}}
--{{code linenumbers="true"}}
--scchart TriggerEffect {
--  input int var1;
--  output bool var2;
--  initial state A
--  --> B with var1 == 3 / var2 = true;
--  state B;
--}
--{{/code}}
--{{/column}}
--
--{{column width="50%"}}
-- [[image:attach:03triggereffect.png]]
--{{/column}}
--
--== Super State ==
--
--{{column width="50%"}}
--{{code linenumbers="true"}}
--scchart SuperState {
--  initial state A
--  --> B;
--  state B {
--    initial state B1
--    --> B2;
--    state B2;
--  };
--}
--{{/code}}
--{{/column}}
--
--{{column width="50%"}}
-- [[image:attach:04superstate.png]]
--{{/column}}
--
--== Super State: Final States & Termination Transition ==
--
--{{column width="50%"}}
--{{code linenumbers="true"}}
--scchart FinalStateTermination {
--  initial state A
--  --> B;
--  state B {
--    initial state B1
--    --> B2;
--    final state B2;
--  }
--  >-> C;
--  state C;
--}
--{{/code}}
--{{/column}}
--
--{{column width="50%"}}
-- [[image:attach:05finalstatetermination.png]]
--{{/column}}
--
--== Super State: Weak Abort Transition ==
--
--{{column width="50%"}}
--{{code linenumbers="true"}}
--scchart WeakAbort {
--  input bool W;
--  initial state A
--  --> B;
--  state B {
--    initial state B1
--    --> B2;
--    state B2;
--  }
--  --> C with W;
--  state C;
--}
--{{/code}}
--{{/column}}
--
--{{column width="50%"}}
-- [[image:attach:06weakabort.png]]
--{{/column}}
--
--== Super State: Strong Abort Transition ==
--
--{{column width="50%"}}
--{{code linenumbers="true"}}
--scchart StrongAbort {
--  input bool S;
--  initial state A
--  --> B;
--  state B {
--    initial state B1
--    --> B2;
--    state B2;
--  }
--  o-> C with S;
--
--  state C;
--}
--{{/code}}
--{{/column}}
--
--{{column width="50%"}}
-- [[image:attach:07strongabort.png]]
--{{/column}}
--
--== Concurrent Regions (inside a Super State) ==
--
--{{column width="50%"}}
--{{code linenumbers="true"}}
--scchart Regions {
--  input bool S;
--  initial state A
--  --> B;
--  state B {
--    region Region1 :
--    initial state B1
--    --> B2;
--    state B2; region Region2 :
--    initial state B3;
--  };
--}
--{{/code}}
--{{/column}}
--
--{{column width="50%"}}
-- [[image:attach:08regions.png]]
--{{/column}}
--
--== Entry Action, During Action, Exit Action ==
--
--{{column width="50%"}}
--{{code linenumbers="true"}}
--scchart Actions {
--  input bool var1;
--  output bool var2;
--  initial state A
--  --> B;
--  state B {
--    entry var1 / var2 = true;
--    during var1 / var2 = true;
--    immediate during var1 / var2 = true;
--    exit var1 / var2 = true;
--    initial state B1
--    --> B2;
--    state B2;
--  };
--}
--{{/code}}
--{{/column}}
--
--{{column width="50%"}}
-- [[image:attach:09actions.png]]
--{{/column}}
--
--== Shallow History Transition ==
--
--{{column width="50%"}}
--{{code linenumbers="true"}}
--scchart HistoryShallow {
--  input bool var1;
--  output bool var2;
--  initial state A
--  --> B shallow history with var1;
--  state B {
--    initial state B1
--    --> B2;
--    state B2;
--  }
--  --> A with var1;
--}
--{{/code}}
--{{/column}}
--
--{{column width="50%"}}
-- [[image:attach:10historyshallow.png]]
--{{/column}}
--
--== Deep History Transition ==
--
--{{column width="50%"}}
--{{code linenumbers="true"}}
--scchart HistoryDeep {
--  input bool var1;
--  output bool var2;
--  initial state A
--  --> B history with var1;
--  state B {
--    initial state B1
--    --> B2;
--    state B2;
--  }
--  --> A with var1;
--}
--{{/code}}
--{{/column}}
--
--{{column width="50%"}}
-- [[image:attach:11historydeep.png]]
--{{/column}}
--
--== Deferred Transition ==
--
--{{column width="50%"}}
--{{code linenumbers="true"}}
--scchart Deferred {
--  input bool var1;
--  output bool var2;
--  initial state A
--  --> B deferred with var1;
--  state B {
--    entry var1 / var2 = true;
--  }
--  --> A with var1;
--}
--{{/code}}
--{{/column}}
--
--{{column width="50%"}}
-- [[image:attach:12deferred.png]]
--{{/column}}
--
--== Transition with Count Delay ==
--
--{{column width="50%"}}
--{{code linenumbers="true"}}
--scchart CountDelay {
--  input bool var1;
--  output bool var2;
--  initial state A
--  --> B with 4 var1;
--  state B
--  --> A with var1;
--}
--{{/code}}
--{{/column}}
--
--{{column width="50%"}}
-- [[image:attach:13countdelay.png]]
--{{/column}}
--
--== Array ==
--
--{{column width="50%"}}
--{{code linenumbers="true"}}
--scchart Array {
--  int myArray[10][2];
--    initial state init
--  --> done with myArray[1][0] == 1 / myArray[2][1] = 2;
--  final state done;
--}
--{{/code}}
--{{/column}}
--
--{{column width="50%"}}
-- [[image:attach:14array.png]]
--{{/column}}
--
--== Signal ==
--
--{{column width="50%"}}
--{{code linenumbers="true"}}
--scchart Signal {
--  input signal i;
--  output signal o
--    initial state init
--  --> done with i / o;
--  final state done;
--}
--{{/code}}
--{{/column}}
--
--{{column width="50%"}}
-- [[image:attach:15signal.png]]
--{{/column}}
--
--
--
--
--
--
--
--
--
--
--
--
--
--
--
--
--
--
--
--
--
--
--
--
--
--
--
--
--
--
--

Confluence.Code.ConfluencePageClass[0]

Id

@@ -1,1 +1,1 @@
--9471388
++9471385

URL

@@ -1,1 +1,1 @@
--https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9471388/Textual SCCharts Description Language (SCT)
++https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9471385/Textual SCCharts Description Language (SCT)

Changes for page Textual SCCharts Language SCT

Summary

Details

Navigation

Quick Links