要求仕様記述ツール

SLPの紹介～いわゆる『仕様書問題』～株式会社 ジェーエフピー
2014年2月26日(水) (last)
2011年10月4日（火） (first)

目次
1. SLPとはどういうものか
2. 一般論「開発において何が問題か」
3.ツール化へ・・・そもそも文とは
3.1.4. 『主語述語論理モデル』
4. ツールSLPの原理
4.3.4.SLPの限界
5. SLP文法
会社概要
6. SLP導入の効果
CG紹介
庭師 植木 景観
7. SLPの活用領域
地上 天空 ｺﾝﾃﾝﾂ
8. まとめと今後の課題
8.2.今後の特別な課題『知財の蓄積・再生産』

All Rights Reserved, Copyright © JFP, Inc. 2011-2014

2

会社概要
社名
所在地

株式会社ジェーエフピー（本社）盛岡市材木町2-26 近三ビル2F（東京会議室）六本木ヒルズ４９F(Phone 090-4882-2395)

代表者
資本金
設立
事業内容

代表取締役 漆原 憲博
1,000万円
1994年3月
ソフトウェア開発
開発ツール開発・販売
3DCGソフトウェア開発・販売
組込み系ソフト・ドライバ開発
All Rights Reserved, Copyright © JFP, Inc. 2011-20143

1. SLPとはどういうものか• SPEC L-PERFECT（“SLP” と略。L=“logical”）
要求仕様書を正確に書くツール「正確」とは、要求仕様書の文全体に論理整合性と用語統一性があること

要求仕様書完成度アップツール

SPEC L-PERFECTTM
スペック L-パーフェクト

All Rights Reserved, Copyright © JFP, Inc. 2011-20144

用語の補足• 要求仕様：プログラムとして実現したい事柄の個々を「要求」(requirement)という。
以下では単に「要求」を省き、単に「仕様」ともいう。
• 要求仕様「書」：
要求を指す文の全体を指す。
All Rights Reserved, Copyright © JFP, Inc. 2011-20145

1.1.要求仕様書の構成• 要求仕様書は、プログラムが実現すべき内容からなる。
• 実現すべき内容は、「～ならば、～せよ、
そうでないならば、～せよ」という条件付
き命令文と、単に「～せよ」という無条件
命令文からなる。
• 要求仕様書には内容の説明も含まれるが、これは実現すべき内容ではない。内容を理解させるための補足である。
All Rights Reserved, Copyright © JFP, Inc. 2011-20146

1.1.1.内容と文• 内容は文で表される。
• SLPにおいては、文とは、主部ｓと述部ｐから構成される語の結合をいう。
• SLPの記法では、文Sはｓｐと書く。
• SLPでは文の否定は、否定記号¬を用いてｓ¬ｐと書く。
All Rights Reserved, Copyright © JFP, Inc. 2011-20147

1.2.論理整合性とは• 要求仕様書が論理整合的であるとは、• 要求仕様書全体の文{S1,S2,,,Sn}の中に、• 形式的矛盾が存在しないことであり、かつ、• 意味的に成り立たない内容が存在しないことをいう。

All Rights Reserved, Copyright © JFP, Inc. 2011-20148

1.2.1.形式的矛盾が存在しないとは• 形式的矛盾が存在しないとは、• 文{S1,S2,,,Sn}の中に• 任意の文Siとその否定¬ Siが連言状態（かつ“∧”）で存在しないことである。
• すなわち、仕様書文書中に文{、、Si 、、∧、、、¬Si}が存在しないことである。
• “、、、”は文書中の文が連言（∧）で結ばれていることを示す。
All Rights Reserved, Copyright © JFP, Inc. 2011-201491.2.1.形式的矛盾が存在しないとは(2)• 文書中にどんなiに関しても、文{Si∧¬Si}が存在しないとは、• 或るiに関して、その否定¬{Si∧¬Si}＝{¬Si∨Si}が存在しうることをいう。（ “∨”は“あるいは”。）• {¬Si∨Si}は、例えば、“その制御は危険でな
いか、あるいは、その制御は危険である”というような文である。これはどんな場合も真である。
All Rights Reserved, Copyright © JFP, Inc. 2011-201410

1.2.1.形式的矛盾が存在しないとは(3)• SLPにおいては、S∧¬Sは• ｓｐ∧ｓ¬ｐと表現される。
• すなわち、同じ主部が異なる述部を同時に持つ状態をいう。
• SLPではこれを形式的矛盾という。
• 文の形式のみから判断するので、そう呼ぶ。

All Rights Reserved, Copyright © JFP, Inc. 2011-201411

1.2.2.意味的に成り立たない内容とは• 意味的に成り立たない内容とは、主部ｓが述部ｐを持っているとき、• 主部ｓが、物理的に、あるいは時間的に成り立たないｐという状態（現象）を持っているか、あるいは主部ｓが、規則として両立しない内容ｐを持
つこと、をいう。
• これらは形式的矛盾{ｓｐ∧ｓ¬ｐ}ではないが、例えば、「太陽が西から昇る」などの事実違反の場合や、「赤信号で進め」などの規則違反の場合などがあてはまる。
All Rights Reserved, Copyright © JFP, Inc. 2011-201412

1.2.2.1.信号の例は形式矛盾ではないが• 例「信号が赤の時進めと止まれが同時に成り立つ規則」を次のように形式化する。
• 信号が赤(ｒ)は進め(ｇ)、かつ、信号が赤(ｒ)は止まれ(ｓ)を記号で置き換えれば、「ｒｇ∧ｒｓ」となり、これは形式矛盾ではない。
• 矛盾はしないが、両立しない内容である。
• 「進め」と「止まれ」は意味が相反するからである。

• SLPはこれらを成立しない内容として、発生の都度登録することで、その後自動的にはじく。
• 「止まれ」を「進むな」と解釈すれば「¬ｇ」となり、「ｒｇ∧ｒ¬ｇ」
で形式矛盾とすることができる。
All Rights Reserved, Copyright © JFP, Inc. 2011-201413

1.3.用語統一性とは• SLPにおいて、用語が統一されているとはｓの指す対象（主部）やｐの指す状態（述部）が、常に同じコトバで表現されていることをいう。
• 同じコトバとは、SLPにおいては、複数のｓやｐがいずれも同じ文字列を持っていること、あるいは、例えば「日本の首都」と「東京」のように、同義語辞書で同じと見なされることをいう。この辞書はSLPユー
ザーが自由に登録できる（開発中）。
All Rights Reserved, Copyright © JFP, Inc. 2011-201414

2.一般論「開発において何が問題か」《問題》
要求仕様が正確に書けていない《それによってどういうことが起きているか》・ソフトウェアの品質の低下
・開発コストの増大
・製品及び会社の信用喪失
ＩＰＡによればこのようなことは
米国でも起き、ＮＩＳＴで報告されている(*)ＮＩＳＴ(National Institute of Standards and Technology,国立標準技術研究所)
15
All Rights Reserved, Copyright © JFP, Inc. 2011-2014

2.1.問題はどこで起きているか
従来の状況
品質低下
川下組込み企業
（委託側）
手戻り

仕様作成

手戻り

・大規模化に伴う、仕様の不完全な共有・反復開発に
支障
設計

国際競争
力低下

顧客・マー
ケット
妥当性確認
品質説明
力の不足

【課題】
組込みソフトウェア開発の大規模化に伴い、川上SW開発会社
・委託・受注者間での仕様評価（テスト）（受託側）の共有が困難に。
・事前の仕様確定が困難になり、仕様変更が頻繁。
手戻りの多発
・手戻りが多発し、品質管理、納期管理が困難に。
・市場で不具合問題が発生
実装しても、十分な説明ができ
16ない。
All Rights Reserved, Copyright © JFP, Inc. 2011-2014

2.2.開発工程を詳しく見てみる（JIS X 0161：2008 (ISO/IEC 14764：2006)より）

All Rights Reserved, Copyright © JFP, Inc. 2011-201417

2.2.1.
工程全体
への影響

全工程表
（3+6×2+2,and 5）

から見ても要求仕様書の不備は、工程全体への影響が大きいAll Rights Reserved, Copyright © JFP, Inc. 2011-2012
All Rights Reserved, Copyright © JFP, Inc. 2011-201418

2.3.問題発生と環境変化デジタルインフラの高度化（ＣPUやメモリの高性能化、低価格化、通信網拡大）

製品仕様の規模と複雑さの増大◆環境変化への不適応
・少人数型の開発法では対応できない・ 「動かしながら」作る特殊性は否定できない
・しかし要求仕様分析も不足していないか
・大規模システムのチームプレー（管理）不徹底
All Rights Reserved, Copyright © JFP, Inc. 2011-201419

2.4.前提、変化、不適用、競争、結果●前提：一般に組込み系は事前に仕様のすべてを確定することは困難とされてきた。それは否定できない。
■変化：そこに要求項目が増大した。
◆不適用１：仕様の未定事項も多発。
◆不適用２：委託・受注者間での仕様共有が困難に。
■競争：納期優先の強引な開発。
◆結果１：手戻りが多発、品質や納期が管理できず。
◆結果２：市場で不具合問題が発生しても、市場に対する（＝社会に対する）十分な説明ができない。
All Rights Reserved, Copyright © JFP, Inc. 2011-201420

2.4.1.変化： 規模増大

（ET2008 「組込みソフトウェア産業の課題と政策展開」 METI八尋氏資料より抜粋）
All Rights Reserved, Copyright © JFP, Inc. 2011-2014

21

2.4.2.不適用： 仕様共有、品質、納期（METI 組込みソフトウェア産業実態調査2009より上位を抜粋）
委託の課題（委託先：国内中小企業）
1番目

2番目

品質管理が難しい

3番目

18.7%

13.1%

技術の蓄積が難しい

14.0%

7.5%

委託先の人材の継続的な確保が難しい

13.1%

9.3%

納期・開発工程の管理が難しい

13.1%

委託先の技術レベルの把握が難しい

10.3%

要求仕様や設計仕様の共有が難しい

9.3%

委託前の仕様や計画の確定が難しい

6.5%

12.1%
5.6%

5.6%

8.4%

11.2%

4.7%

6.5%

4.7%

6.5% 1.9%

受託の課題（発注元：国内大企業）
1番目
仕様や計画の変更が多い
品質管理が難しい要求仕様や設計仕様の共有が難しい
納期・開発工程の管理が難しい
取引金額が安い
開発工数管理が難しい
人材の継続的な確保が難しい

6.5%

2番目

3番目

30.0%

15.0%

社内の部門
間でも同様
16.3%

17.5%
7.5% 6.3%
16.3%
8.8% 3.8%
10.0%
15.0%
12.5%
5.0% 8.8%
10.0%
5.0% 6.3% 3.8%
5.0% 5.0% 7.5%

All Rights Reserved, Copyright © JFP, Inc. 2011-201422

2.5.問題の課題化
問題

課題

仕様の未定事項が多発不可避な未定は認めた上で、仕様確定が迅速で正確であること

委託・受注者間での 開発要員に正確な仕様を確実仕様の共有が困難 に伝えること
手戻りが多発正確な仕様で開発すること
品質や納期が管理できない
品質等の説明責任

正確な仕様、迅速な変更対応で下位工程を圧迫しないこと
正確な仕様の更新をすること

All Rights Reserved, Copyright © JFP, Inc. 2011-201423

2.5.1.課題解決の方法
課題

解決方法（持つべき機能）要求仕様を正確にすること「正確ではない」とは、用語が不統一であったり、内容が矛盾していたり、条件が漏れていることをいう。それ故、これらを指摘し是正する方法が必要である。

未定事項の仕様 未定事項は直接指摘できないの
内容を迅速に確 で、既存の要求仕様を正確に迅定すること
速に要求分析することで（上記の方法で）、早期の確定を促す。
All Rights Reserved, Copyright © JFP, Inc. 2011-201424

3.ツール化へ・・・そもそも文とは• 要求仕様書は文で書かれている。文とは？
• 文の構造について、宮澤賢治『雨ニモマケズ』より。
• 雨ニモマケズ、風ニモマケズ、雪ニモ夏ノ暑サニモマケヌ丈夫ナカラダヲ
モチ、慾ハナク、決シテ瞋（おこ）ラズ、イツモシヅカニワラッテヰル、一日ニ玄米四合ト、味噌ト少シノ野菜ヲタベ、アラユルコトヲ、ジブンヲカンジョ
ウニ入レズニ、ヨクミキキシワカリ、ソシテワスレズ、野原ノ松ノ林ノ ノ、小サナ萓ブキノ小屋ニヰテ、東ニ病気ノコドモアレバ、行ッテ看病シテヤリ、
西ニツカレタ母アレバ、行ッテソノ稲ノ朿ヲ負ヒ、南ニ死ニサウナ人アレバ、行ッテコハガラナクテモイヽトイヒ、北ニケンクヮヤソショウガアレバ、ツマラナイカラヤメロトイヒ、ヒドリノトキハナミダヲナガシ、サムサノナツハオ
ロオロアルキ、ミンナニデクノボートヨバレ、ホメラレモセズ、クニモサレズ、サウイフモノニ、ワタシハナリタイ
All Rights Reserved, Copyright © JFP, Inc. 2011-201425

3.1.文の構造
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•

雨ニモマケズ（Ｓ1)、
風ニモマケズ（Ｓ2)、論理記号
雪ニモ夏ノ暑サニモマケヌ丈夫ナカラダヲモチ（Ｓ３）、
慾ハナク（Ｓ４）、Ｓi・・・文決シテ瞋（おこ）ラズ（Ｓ５）、イツモシヅカニワラッテヰル（Ｓ６）、⊃・・・ならば
一日ニ玄米四合ト、味噌ト少シノ野菜ヲタベ（Ｓ７）、
アラユルコトヲ、ジブンヲカンジョウニ入レズニ、ヨクミキキシワカリ（Ｓ８）、
ソシテワスレズ（Ｓ９）、
野原ノ松ノ林ノ ノ、小サナ萓ブキノ小屋ニヰテ（Ｓ1０）、
東ニ病気ノコドモアレバ、行ッテ看病シテヤリ（Ｓ11⊃Ｓ12）、
西ニツカレタ母アレバ、行ッテソノ稲ノ朿ヲ負ヒ（Ｓ1３⊃Ｓ1４）、
南ニ死ニサウナ人アレバ、行ッテコハガラナクテモイヽトイヒ（Ｓ1５⊃Ｓ1６）、
北ニケンクヮヤソショウガアレバ、ツマラナイカラヤメロトイヒ（Ｓ1７⊃Ｓ1８）、
ヒドリノトキハナミダヲナガシ（Ｓ1９）、
サムサノナツハオロオロアルキ（Ｓ2０）、
ミンナニデクノボートヨバレ（Ｓ21）、
ホメラレモセズ（Ｓ22）、
クニモサレズ（Ｓ2３）、
サウイフモノニ、ワタシハナリタイ（Ｓ2４）

All Rights Reserved, Copyright © JFP, Inc. 2011-201426

3.1.1.文の記号化• Ｓ１∧Ｓ２∧Ｓ３∧Ｓ４∧Ｓ５∧Ｓ６∧Ｓ７∧Ｓ８∧Ｓ９∧Ｓ１０∧（Ｓ１１⊃Ｓ１２）∧（Ｓ１３⊃Ｓ１４）∧（Ｓ１５⊃Ｓ１６）∧（Ｓ１７⊃Ｓ１８）∧Ｓ１９∧Ｓ２０∧Ｓ２1∧
Ｓ２２∧Ｓ２３∧Ｓ２４
論理記号↓
Ｓi・・・文⊃・・・ならば
主語と述語を分けた文とする∧・・・かつ↓「ワタシ」は様々な述語（属性、状態、、）を持っている
ことがはっきりとする
All Rights Reserved, Copyright © JFP, Inc. 2011-201427

3.1.2.要求仕様書の文とは• 要求仕様書の文とは、最終的には、条件と要求（コンピュータに対する命令）からなる文の集まりである。単独の命令文であったり、条件により命令が行われる文だったりする。それ以外は仕様の説明文（仕様の理由も含む）である。
• 例：「この信号が赤の時には、自動車は停止し、歩行者は歩道を渡りなさい。
この信号が黄色の時には、、、、、、。この信号が青の時には、、、、。、、、、。
ただし、この信号が赤の時には、自動車は停止せず、歩行者は歩道を渡らないようにしなさい。」• （ｓR⊃ｃS∧ｐW）∧（ｓY⊃、、、）∧（ｓB⊃、、、）、、、∧（ｓR⊃ｃ¬S∧ｐ¬W）• 同じ文脈の中で、条件が同じで異なることを行え、というのはおかしい。
All Rights Reserved, Copyright © JFP, Inc. 2011-201428

3.1.3.要求仕様書、設計書、表現手段
要求仕様書

設計書

記述すべき
こと

実現したい内容（要求）及び付帯的事項。すなわち、機能、性能、稼働
環境、制約、、。

実現方法（要求仕様書は設計ができる粒度で書かなければ
ならない）

記述する上
での注意

過不足なく（機能の網羅）要求仕様書の要求項目を満た
矛盾なく（形式矛盾、意味矛盾無し） していること（要求のトレー
誤解を招かないように（用語統一） サビリティの実現）

様々の記述
手段

・自然言語（科学用語含む）
・人工言語（形式手法）

図（シーケンス図、フローチャート、状態遷移表、各種
ダイヤグラム）・制限された言語による論理式ツール（『主語述語論理モデル』）
記述手段の
問題

自然言語は最も書きやすいが、曖昧さの原因となりやすい。
形式手法は正確であるが、皆に伝えるのは困難。

図はコトバよりも直感的に表現しやすく分かり易いが、論理整合性を明らかにはしてくれない。

All Rights Reserved, Copyright © JFP, Inc. 2011-201429

3.1.4. 『主語述語論理モデル』• 要求仕様書の課題を解決するための方法は様々ある。しかし、要求者と設計者の間を取り持つ上で、要求者にも分かり易く、設計者にとっても曖昧さを排除した方法はないか。
• 文を主部（主語）と述部（述語）に分けて記述する方法で、文の判明性、論理矛盾の検査性が高まるのではないか。
• これを『主語述語論理モデル』と命名し、ツール化する。
All Rights Reserved, Copyright © JFP, Inc. 2011-201430

3.2.ツールの目差すところ
提案実施後
活用後

品質向上
川下組込み企業
（委託側）

顧客・
マーケット
妥当性確認

仕様作成

ツール支援により、・誤解のない合意形成
・正確かつ迅速な反復開発
設計

川上SW開発会社（受託側）

評価（テスト）

手戻りなし

実装

国際競争力
向上

品質説明力
向上

【研究開発の目標・目的】【ツールの目標・目的】
・正確かつ迅速な反復開発を・正確かつ迅速な反復開支援する仕様記述ツールを開発する発を支援する仕様記述
・手戻りをなくし、品質と品質ツール
説明力を向上させ、市場での不具合問題を解消する
・手戻りをなくし、品質と品・これにより、我が国の組込質説明力を向上させ、市
み製品の国際競争力を向上
場での不具合を解消する
させる

All Rights Reserved, Copyright © JFP, Inc. 2011-201431

3.2.1.ツールは仕様書の「検証」ができる• 検証①仕様書全体にわたり論理矛盾を検出する。
相互に矛盾する文がないか自動検出する。

②用語の統一をはかる。
文中の用語の異同を明確にする。（ただし、これは手動。
目視しやすいように用語の一覧等を出力する。）• レビュー等の効率化
ツールは問題を端的に絞り込むため（要求実現の条件を明確にするため）、無駄な議論を省き、レビューの効率を上げる。
All Rights Reserved, Copyright © JFP, Inc. 2011-2014

32

3.3.ツールの条件 (1)ツールは容易であること• 容易でなければ皆に使われない。よって迅速に仕様分析に用いられず、確実に相手にも伝わらない。
• 形式手法であるが記述法は容易である。
• 読み手にも予備的知識が不要である。
• 自然言語で書かれた通常の要求仕様書と共存する– 通常の要求仕様書をSLPで検証する。
– 検証後に通常の要求仕様書を手直しする。
• 慣れたなら、SLPのみで仕様を書くこともできる。

All Rights Reserved, Copyright © JFP, Inc. 2011-201433

3.3.ツールの条件 (2)要求仕様書の重み• 開発の全ライフサイクルの中で、要求仕様書に起因する問題が40%を占める。
（日科技連 ソフトウェア品質管理研究会）• 手戻り多発、品質低下、納期延長などで、テストの工数が設計・実装の2倍に達している。
（Jean-Raymond Abrial, Modeling in Event-B）• 要求仕様書の欠陥が設計と実装に影響し、さらには市場に出た製品で問題が発生する。
All Rights Reserved, Copyright © JFP, Inc. 2011-201434

3.3.ツールの条件 (3)組込み系に適合した方法• 変更の頻発は、組込み製品で顕著である。
– メカやハードとの相互作用など、作ってみなければ分からない部分がある。
– 競合他社の新製品に迅速に対抗する必要がある。
– カスタマイズ案件が多い。

• 要求仕様書の管理が追いつかない。
– 仕様変更に対する文書の品質管理技法が貧弱。
– また、製品知識やシステム開発経験の乏しい者
が仕様を記述しているのも散見される。

• これらをカバーするツールが期待される。
All Rights Reserved, Copyright © JFP, Inc. 2011-201435

4.ツールSLPの原理• SLPは通常は自然言語で書かれる要求仕様書を『
主語述語論理モデル』という自然言語ライクな文記述の形式手法で書き、要求仕様書の文書品質の精度を向上させるためのツールである。
• SLPは文の意味を検証でき、文書の品質を向上させることができる。
形式手法とは、文や語を構文規則でもって記述し、文や語の関係の不整合を論理学的に検証（証明）する方法をいう。このような構文規則を「形式」と呼ぶ。文や語の不備をまずは構文の規則にかなっているかを検査し、次に構文が規則に反していないか（形式矛盾が無いか）を検査する。
こうすることによって膨大な文の意味を、事前に機械的に検証できることになる。
All Rights Reserved, Copyright © JFP, Inc. 2011-201436

4.1.SLPの記法《「主語述語論理モデル」であるので》• 主語と述語を分けて文を書く。
– 文とは意味である。
– 文を[1主語＋1述語]で記述し明瞭化する。

• 文と文を論理学的規則で結合する。
– 論理学的規則で結ばれている文どうしの主語と述語を比較し、主語や述語が矛盾していないかなどを自動計算する（自動検証）。

All Rights Reserved, Copyright © JFP, Inc. 2011-201437

4.2.SLP 《その他の特長》《その他の特長》• 文は[1主語＋1述語]であるので、文の意味の単位化（＝数量化）がはかれ、仕様書の規模を意味数でカウントできる。
• 文からなる要求項目の条件一覧表自動生成できる。 真理値表やテスト仕様が作成できる。
• ツールは要求項目のトレーサビリティ機能を持つ。
All Rights Reserved, Copyright © JFP, Inc. 2011-2014

38

4.3.仕様書の問題事例
録音終了後、「省電力設定」に従いスリープモードに移行する。
if <その機器>が｛録音を終了｝したとき
if <その機器>が｛省電力設定｝をしていたならば<その機器の電源供給状態>を｛スリープモード｝にせよ
else
・省電力設定をしていないときはどうするのだろう？
endifelse(録音が終了していないとき）・録音が継続しているときは、そのままだろうと思うが、放置とならないか？
endif
All Rights Reserved, Copyright © JFP, Inc. 2011-201439

4.3.1.事例の問題点• 条件の漏れ 省電力設定となっていないとき、どうすればいいのか、書かれていない。多くの仕様書にみられる。
• 用語の統一感がない 「省電力設定」は実は「スリープモード
設定」ということで類似のコトバを整理した方がいいのではないか？ 至る所で混用すると間違いの元になる。
• 少し細かな条件への疑問 「録音終了後」とあるが、終了後すぐなのか、そもそも終了をどう判定すればいいのか。詳細を詰める段階ではこのようなことも明確にして行く必要がある。
• 論理矛盾 この例では論理矛盾のケースはないが、どこかで｛省電力設定をしていながら、動作モードをスリープモード以外にしていたなら矛盾の可能性がある。ツールがこのようなケースを自動的に見つけてくれるといい。
All Rights Reserved, Copyright © JFP, Inc. 2011-201440

4.3.2.SLPでの記述法• マルチメディアコンポの省電力モード– 一定時間、操作や動作がないとき、省電力モードに移行する。
– ユーザーの操作や、タイマー作動による動作が起こった
ときは、省電力モードを解除する。

All Rights Reserved, Copyright © JFP, Inc. 2011-201441機能属性記述欄
機能内容記述欄（自然言語）

機能の階層的表現
論理記述欄
個々の機能を
主語と述語に分解
し文をつくり、文を論理的に再構成する。

4.3.3.SLPのwindows画面

All Rights Reserved, Copyright © JFP, Inc. 2011-2012

All Rights Reserved, Copyright © JFP, Inc. 2011-201442

4.3.4.SLPの限界• SLPはifを書いた後の網羅性はelseを強制することで網羅性を形式的に保証する。
• しかし、そのifと同レベルで並列する別のifを設定することを保証するものではない。これを「ifを立てる」と呼ぶとすれば、
SLPはifを新たに立てるツールではない。要求を網羅し整理するツールである。
• 新たなifの要求を全て立てることを支援し、ifが過不足無く立てられていることを保証するツールがあるとすれば、それはifの文（主語と述語）と１対１に対応する文のデータベース（「対応DB」と呼ぶ）が存在する場合である。このときツールは、対応DBにある、すべての文にifを立てることで、ifを過不足無く立てたといえる。（「オントロジー」に関わる今後の課題である。）
All Rights Reserved, Copyright © JFP, Inc. 2011-2014

43

4.3.4.1.SLPの限界の図示① if <その機器>が｛録音を終了｝したとき②
if <その機器>が｛省電力設定｝をしていたならば<その機器の電源供給状態>を｛スリープモード｝にせよ
else
・省電力設定をしていないときはどうするのだろう？
endifelse(録音が終了していないとき）・録音が継続しているときは、そのままだろうと思うが、放置とならないか？
endif①と並列する別のifを立てさせるのはSLPの役割ではない。
①の下や①のelseの下に入るifを別途立てさせるのもSLPの役割ではない。例では下に入るifは②がそれであるが、②と並列する別のifをSLPは立てさせるものではない。（①や②はendifまでも含む全体を指す。）
All Rights Reserved, Copyright © JFP, Inc. 2011-201444

5.SLP文法• SLP文書は単位機能の集まり• 単位機能は構文の並び「主語述語論理モデル」• 構文に相当– if <メンバー名> {状態名} … else … endif– Do <メンバー名> {状態名}
ただし、if、Do、Fn等の記号は自由に変更が可能– Fn [単位機能名]• 単語– <メンバー名>– {状態名}– [単位機能名]
All Rights Reserved, Copyright © JFP, Inc. 2011-201445

5.1.論理学的な推論• 矛盾を検出する
矛盾：ある条件とその否定が重なっている（連言となっている）
if 
{p}if 
{¬p}• 冗長を検出する
冗長：同一の条件が重なっている（連言となっている）
if 
{p}if 
{p}論理矛盾ではないが、elseを２度記述せざるを得ず、間違いの元となる。
All Rights Reserved, Copyright © JFP, Inc. 2011-201446

5.2.用語の統一• <メンバー名> と {状態名} で仕様書の用語を整理する
if <省電力設定> {する}
if <電源供給状態> {スリープモード}
if <電源供給状態> {スリープ状態}• 用語の混乱がよく分かる（簡単なものであれ
ば自然言語の仕様書でも分かるが）• 事例では「省電力」と「スリープ」、「スリープ状態」と「スリープモード」が混在している

All Rights Reserved, Copyright © JFP, Inc. 2011-201447

5.3.決定表の自動生成
●電源供給
状態

電源供給
状態

オート
オート
パワーオフ パワーオフ
移行条件
設定

タイマー
再生

省電力
モード
移行設定

タイマー
録音

パワーオフ状態に移行せよ

省電力モ
ード

成立した

されている

-

-

-

待機状態へ
移行せよ

省電力モ
ード

-

-

開始

-

-

待機状態へ
移行せよ

省電力モ
ード

-

-

-

-

開始

省電力モード
へ移行せよ

-

-

-

終了後

されている

-

省電力モード
へ移行せよ

-

-

-

-

されている

終了後

なお、表作成の詳しい例については、下記参照（弊社サイトに掲載）「簡易な形式仕様記述と状態遷移表を併用した要求仕様書のレビュー方法」（水口大知氏（独立行政法人産業技術総合研究所））
All Rights Reserved, Copyright © JFP, Inc. 2011-2014

48

5.3.1.決定表の説明
●電源供給
状態

電源供給
状態

オート
オート
パワーオフ パワーオフ
移行条件
設定

パワーオフ状態に移行せよ

省電力モ
ード

成立した

されている

待機状態へ移
行せよ

省電力モ
ード

-

-

待機状態へ移
行せよ

省電力モ
ード

省電力モードへ移行せよ
省電力モードへ移行せよ

結果《表の読み方》

タイマー
再生

省電力
モード
移行設定

タイマー
録音

-

-

-

開始

条件

-

-

述語（状態名）--開始

主語（メンバー名）

-

-

-

-

-

終了後

されている

-

-

-

-

-

されている

終了後

１．縦列ごとに、最上行の主語と各行の述語を結合させ、文とする。
２．右側は条件で、同じ行の個々の文は連言（“∧”）での条件となる。
３．左端の文は結果である。「条件ならば結果」と読む。
<電源供給状態>が{省電力モード}∧<オートパワーオフ移行条件>が{成立した}∧<オートパワーオフ設定>が{されている}ならば<電源供給状態>を{パワーオフ状態に移行せよ}

All Rights Reserved, Copyright © JFP, Inc. 2011-201449

5.4.他のツールとの比較
技術

支援
内容

SLP
ＵＭＬ
モデル検査
形式的仕様記述
トレーサビリティ
ツール

要求仕様品質向上 品質説明力向上
記述
支援

仕様検証
支援

○

○

トレー
サビリ
ティ
○

△
△
△

×
○
○

×
×
×

×
×
×
×

×

×

○

×

All Rights Reserved, Copyright © JFP, Inc. 2011-2014

ツール
認定

50

5.4.1.他の方法との併用
主な要求以外の記述項目（sysML）

システムの入出力• システムの性能
派生的要求

SLPは要求の内容を明確にする表現分析
ツールであり、実際の仕様書の中には「入出力表」などの文書類と併用される。

必要な要求･制約･他の要素との関係要求を詳細化法令等に関する共通事項に関する要求、、、、
All Rights Reserved, Copyright © JFP, Inc. 2011-201451

5.4.2.ISO、例えば品質要求への対応
ソフトウェア品質に関する国際標準規格ISO 9126
機能性（functionality)５

合目的性（suitability）
正確性（accuracy）
相互運用性（interoperability）

機密性（security）
標準適合性（compliance）
信頼性（reliability）

４

使用性（usability）

５

効率性（efficiency）

３

保守性（maintainability） ５

移植性（portability）

５

数字は当該項目の下位の項目数を表す。国際規格は汎用性を高くするためか、項目間の差違に悩まされる。

SLPはこれらのコンテンツ（項目内容）をガイドするものではない。
ただしこれらの標準規格を共通の要求として、SLPによる共通の形式で要求分析し、差違の違いを明確にし、共有化してゆく可能性を持つ。

33(=6+27）の視点

All Rights Reserved, Copyright © JFP, Inc. 2011-201452

6.SLP導入の効果
SLPによる導入の効果は実測値がないので明示できないが、計測自体も難しい。次項で推測値を出してみるが、目安とお考えいただきたい。
現状の課題を列挙しつつ、推測を試みる。
•要求が定まらないので何度もレビューを行う。
•一応定まった要求仕様も十分に条件等の要求分析をしていないため、関連する他の要求を検討した際に、再度変更することになる。
•同じことを何度も確認することになる。
•用語も安定せずバラバラであったりすると、新たに参加するメンバーが理解するのに余計な時間がとられる。既存のメンバーも誤った理解をする危険がある。
•メモ的な要求も未分析のまま既存システムに盛り込まれ、後で大きな問題を起こす場合も多い。
•システムの規模が大きすぎて、文書化自体に多大な時間を要することになった。経験がないので文書化の時間を軽視しがちである。混乱の元となっている。
•要求作成を外部委託しているので、製品（システム）をよく知らない人が単に書き写しているだけになっている。
All Rights Reserved, Copyright © JFP, Inc. 2011-2014

53

6.１．導入の効果《文献と当社の経験から推定》•開発部門（工数ベースでの効率）要求仕様の正確さと明確な伝達性、及び修正の迅速性等から、経験的に推定される効率向上。設計工程以降等に他のツール等を導入していたとしても。
開発部門小計 12～13%•評価部門を含む全工程（工数ベースでの効率）
SLP正確な仕様書からSLPが自動的にテスト仕様（表）を作成する等の評価工程の効率向上。開発工程の1.5倍の効果。 全工程合計
30～33％•派生開発も加味したうえで、評価部門も含む全工程（工数ベースでの効率）開発の80%が派生開発とも言われる。派生開発では既存のシステムをSLPで再度分析する負担は増えるが、その後の効果は同じと考えられる。
派生開発
20～23%。
・新規開発と派生開発を合わせた全工程の効率
上記議論を参考に、新規開発20%、派生開発80%として計算すると、全工程合計 11%（30%×20%+20%×80%)÷2=(6%+16%)/2=11%
All Rights Reserved, Copyright © JFP, Inc. 2011-2014

54

６.2.導入の経済効果（当社試算）• 全工程１１％の導入効果• 人月1００万円→１１万円/人月• 経済効果１32万円/人年（総費用 １２００万円/人年）• 1００名のプロジェクト• 経済効果１.32億円/P年（総費用 １２億円/P年）
All Rights Reserved, Copyright © JFP, Inc. 2011-201455

7.SLPの活用領域（JIS X 0160：2012 (ISO/IEC 12207：2008)より）
All Rights Reserved, Copyright © JFP, Inc. 2011-201456

7.1.そしてテスト工程にもAll Rights Reserved, Copyright © JFP, Inc. 2011-2012

All Rights Reserved, Copyright © JFP, Inc. 2011-201457

7.2.活用領域の規模
業務
企画・要求分析・仕様設計
システム設計ソフトウェア設計
テスト
運用・保守・サポート
管理
専門技術
合計

比率
人数
利用法 利用率
15.6% 27,300
記述100%
14.5% 25,375 記述/読み60%
38.4% 67,200 記述/読み60%
14.5% 25,375
読み50%
7.9% 13,825
読み
50%
4.9%
8,575
読み
10%
4.1%
7,175 記述/読み30%
99.9% 175,000

対象者
27,30015,22540,32012,688
6,913
858
2,153
105,455

95,533

組込みソフトウェア技術者の主要な業務別人数比率（出典：2005年版 組込みソフトウェア産業実態調査報告書）

組込み系

対象者数
1０万人 （→1320億円/年の効率アップ）（組込みソフト開発費2.4兆円/年×11％＝2640億円/年）

エンタプライズ系 ５０万人（→6600億円/年）
All Rights Reserved, Copyright © JFP, Inc. 2011-2014

58

7.2.1.活用対象産業と支援体制【研究アドバイザー】
形式手法・
数理論理学研究者

活用
対象産業
自動車産業
電機・重電機産業

精密機器産業
航空機産業【販売支援企業等】【創案研究開発】
ジェーエフピー

All Rights Reserved, Copyright © JFP, Inc. 2011-201459

7.３.オフショア開発支援
ツールは
他言語にも通用する『主語述語論理モデル』
どんな言語も、意味を文<メンバー名>と{状態名}で指示し、論理関係をif-else-endifで網羅するだけで要求事項を過不足なく記述できる。
All Rights Reserved, Copyright © JFP, Inc. 2011-2014

60

8.まとめと今後の課題
川下ニーズ

背景の整理

対応すべき項目

高度化のための本研究開発対象
今後の課題（サブテーマ詳細）
1.1 見える化支援

コスト削減
要求仕様
品質 向上

仕様記述
支援
仕様検証
支援

品質向上

1.2 属性管理機能
1.3 記述ｶﾞｲﾄﾞﾗｲﾝ
2.1 論理自動検証
2.2 振舞い検証

国際規格
対応

品質説明力
向上

トレーサビリティ支援

3.1 標準ﾌﾟﾗｯﾄﾌｫｰﾑ（TERAS）対応

ツール認定

3.2 標準ﾌｫｰﾏｯﾄ
（ReqIF）対応
4 IEC 61508適合
エビデンス

All Rights Reserved, Copyright © JFP, Inc. 2011-2014

61

8.1.SLPとは（まとめ）ＳＬＰは『主語述語論理モデル』による
要求仕様記述ツールであり、・大規模組込み系要求仕様書の品質と品質説明力の向上、 及び・開発コストの削減をもたらす支援ツールである
All Rights Reserved, Copyright © JFP, Inc. 2011-2014

62

8.2.今後の特別な課題『知財の蓄積・再生産』• SLP形式の仕様書をデータベース化することで、知財（仕様書）の再生産が進む。
• SLPデータは “普遍”的である。
SLPデータは文を単位化（主語-述語）している
文の論理学的関係で結合している。
• よって、データベース化しても、その後の要求仕様
書作成において有効な参照データとなる。
• データを死蔵させず、知的再生産を促す。

All Rights Reserved, Copyright © JFP, Inc. 2011-201463

ご静聴ありがとうございました
ぜひご用命賜りたく…
SLPダウンロード http://www.jfp.co.jp/slp/
メール slp-support@jfp.co.jp
株式会社ジェーエフピー
http://www.jfp.co.jp/〒020-0063 盛岡市材木町2-26
Tel 019-623-3613 Fax 019-623-4028
All Rights Reserved, Copyright © JFP, Inc. 2011-2014

64

JFP:こんな会社 庭師です

All Rights Reserved, Copyright © JFP, Inc. 2011-2014

65

JFP:こんな会社 植木屋です
日本の樹
自然な枝振りや紅葉、葉脈等の微細表現機能を持つ
樹木の３次元形状データベース
1０2種の樹木を販売しています

All Rights Reserved, Copyright © JFP, Inc. 2011-2014

66

JFP:こんな会社 景観をつくります

All Rights Reserved, Copyright © JFP, Inc. 2011-2014

67

JFP:こんな会社 地上を走ります

All Rights Reserved, Copyright © JFP, Inc. 2011-2014

68JFP:こんな会社 天空を駆けます

All Rights Reserved, Copyright © JFP, Inc. 2011-2014

69

JFP:こんな会社 コンテンツをつくります

All Rights Reserved, Copyright © JFP, Inc. 2011-201470