2012-02-24から1日間の記事一覧
付録A.4 のメタモデル続き。 A.4.2 状態機械の模倣関係 状態機械の遷移にラベルをつけて、遷移経路をラベルの配列の「トレース」で表現する sig Label { trans: State-> State } { one trans } sig State {} sig StateMachine { states: some State, first: …
付録A.4 のメタモデル続き。 A.4.2 状態機械の模倣関係 状態機械の遷移にラベルをつけて、遷移経路をラベルの配列の「トレース」で表現する sig Label { trans: State-> State } { one trans } sig State {} sig StateMachine { states: some State, first: …