ネットワークインタフェースは,次の二つの構成要素を持ちます。
状態遷移の規則は,状態遷移図を使って説明します。状態遷移図では,状態情報とイベントの処理に基づいてライブラリコールの有効なシーケンスを定義します。