xmldtp https://blog.hatena.ne.jp/xmldtp/ ウィリアムのいたずらの、まちあるき、たべあるきーPART2 https://xmldtp.hatenadiary.org/ そのほか 前に、ツールの話は書いたので、今回は、書き方について。 Event-Bは、Bとちがって、２つの部分に分かれる。 MachineとContext（別々のファイルになる） Contextは、おもにSet（集合）の内容を記述する。記述項目は、こんなかんじ CONTEXT EXTENDS SETS CONSTANTS AXIOMS 一方、MACHINEは、Contextを取り込んで、実際にいろんな記述をしていく。項目内容はこんな感じ MACHINE (REFINES) SEES VARIABLES INVARIENTS THEOREMS EVENT (VARIANT) END このうち、REFINES… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxmldtp.hatenadiary.org%2Fentry%2F1322219a545eff75af38f8064104c5ae" title="EventBの書き方について - ウィリアムのいたずらの、まちあるき、たべあるきーPART2" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2010-11-19 15:00:22 rich https://xmldtp.hatenadiary.org/entry/1322219a545eff75af38f8064104c5ae 1.0 100%