２．Ｓｕｉｃａガードシステムのsmallプロジェクト１本smallプロジェクト１では、これから紹介する簡単化されたＪＲ Suicaカードシステムの記述に基づく以下のタスクを完成せよ。（１）ＳＯＦＬ非形式要求仕様の作成。 Suica システム概要「センタサーバ」、「駅サーバ」「端末」、「カード」の４階層からなる自律分散システム ↓ サブシステム間のデータフィールドを介して自律的に処理 ↑ 一部機器故障にも最低限のシステム稼働を保証カード情報を端末での処理改札機での運賃計算の高速処理 Suicaカードシステムの記述（１）カスタマにＳｕｉｃａカードを発売する。その時、そのカードに一つの唯一なＩＤ番号を与える。そして、カスタマの名前、住所、生年月日など情報をカードに登録する。（２）Ｓｕｉｃａカードには、bufferというメモリがあって、その中にこのカードで使える金額が置かれている。（３）Ｓｕｉｃａカードには、chargeできる。charge方法としては、現金又は自分の一つの選定した銀行口座からの振り込みという二つの方法を選択できる。ただし、銀行口座から直接に振り込みの場合、カスタマの口座番号とパースワールドが求められる。（３）Ｓｕｉｃａカードのbufferにある金額は、最大５万円である。（４）Ｓｕｉｃａカードのbufferにある金額の一部又は全額を銀行口座に取り入れることができるが、現金に取り戻すにはできない。（５）Ｓｕｉｃａカードは、定期券としても使えられる。定期券は、１か月、３か月、６か月に分けている。定期券とは、二つの駅の間に使える券である。（６）カスタマは駅に入るときに、改札機に最小金額１３０円が取られる。もしカードのbufferに１３０円より小さい金額があれば、カスタマガ駅に入ることができない。カスタマは駅から出るときに、改札機に必要な金額が取られる。ただし、カードのbufferに残っている金額が足りなければ、駅から出ることが許さない。そのとき、精算機でカードのbufferに十分な金額を入れることが必要である。（７）Ｓｕｉｃａカードで乗車券を買うことができる。そのとき、 bufferの金額を優先的に使い、足りない部分があれば、現金で補助する。（８）Ｓｕｉｃａカードで駅に入ったり、出たりするとき、このカードの有効性をチェックすることが行われる。使えないガードであれば、カスタマが駅に入るまたは出ることが許可しない。（９）以上の（１）から（８）まで述べた機能または制約は、全てソフトウェアで実現する。端末、駅サーバなどの装置と関係ない。