Wiki

メッセージ

メッセージについての詳細は， OSEK/VDX仕様ではなく，他の仕様文書に記載されている．ここでは，単にメッセージの宣言だけに留める．

#!python

module MESSAGE
{
  signature
  {
    [ Message ]
  }
}

但し，メッセージを受けて何らかの遷移が行われる場合，以下のようにモジュールを定義しておく．

#!python

module RECEIVE
{
  imports {
    pr(COMPLEMENT)
    ex(TRANSITION)
    pr(MESSAGE)
  }
  signature {
    op receive : Message -> Transition
  }
}