kanaria007

------------------------- MODULE DecisionProtocolClosed -------------------------
EXTENDS Naturals, FiniteSets, Sequences

(*
  Closed finite model of the decision protocol layer.

  Coverage:
  - normalization / version pinning / explicit rebind
  - authority resolution
  - receipt completeness / consistency

kanaria007

--------------------------- MODULE DecisionProtocolCoreTLC ---------------------------
EXTENDS Naturals, FiniteSets, Sequences

(*
  TLC-practical intermediate model.

  Scope:
  - two decisions
  - normalize / version pin / conflict / explicit rebind
  - authority resolution

kanaria007

--------------------------- MODULE DecisionProtocolSmoke ---------------------------
EXTENDS Naturals, FiniteSets, Sequences

(*
  TLC-friendly smoke model.

  Scope:
  - single decision only
  - normalize / version pin / conflict / explicit rebind
  - authority resolution

kanaria007

// Strategyのインターフェイス
public interface Strategy{
  void doSomething();
}
// Strategyの実装1
public class StrategyImpl1 implements implements Strategy {
  public void doSomething(){
    System.out.println("Strategy1固有の処理をいっぱい");
  }
}