仕様及び記述言語

ウィキペディア

仕様及び記述言語

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/07/31 16:32 UTC 版)

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "仕様及び記述言語" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2015年6月）

仕様及び記述言語（しようおよびきじゅつげんご、SDL: Specification and Description Language）は、システムの仕様を記述するための言語であり、曖昧さのない仕様記述を実現するために作られた。主な対象は受動的な分散システムである。スウェーデンの計算機科学者イヴァー・ヤコブソンは、ソフトウェア開発を行うために青写真 (blueprints) が必要であると考え、仕様記述言語、 SDL(Specification and Description Language) の最初の版の開発者の一人となり、SDLは電話業界での標準となった(ITU-T勧告)。

概要

ITU-T (Recommendations Z.100 to Z.106) に定義されている。 元々は通信システムのプロトコル仕様の記述法であったが、現在はそれに加えてプロセス制御やリアルタイム・アプリケーションにも使用されている。グラフィカル表記とテキスト表記があるが、どちらでも同じ内容を記述できる。有限状態機械と階層的なブロック分割を、基本としている。 形式仕様記述の一種として使用でき、構成と状態遷移を網羅することで、漏れのない完全な設計に用いることができる。

脚注

外部リンク

• ITU Languages and general software aspects for telecommunication systems
• SDL forum

関連項目

• イヴァー・ヤコブソン
• 仕様

この項目は、ソフトウェアに関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:コンピュータ/P:コンピュータ）。

表 話 編 歴 ソフトウェア工学
分野	要求分析 システム解析 ソフトウェア設計 コンピュータプログラミング 形式手法 ソフトウェアテスト ソフトウェアデプロイメント ソフトウェア保守
コンセプト	データモデリング エンタープライズアーキテクチャ プログラム仕様 モデリング言語 プログラミングパラダイム ソフトウェア ソフトウェアアーキテクチャ ソフトウェア開発方法論 ソフトウェア開発工程 ソフトウェア品質 ソフトウェア品質保証 ソフトウェア考古学（英語版） 構造化分析（英語版）
指向	アジャイル アスペクト指向 オブジェクト指向 オントロジー サービス指向 SDLC
モデル	開発モデル アジャイル 反復型 RUP スクラム スパイラルモデル ウォーターフォール・モデル XP Vモデル インクリメントモデル（英語版） プロトタイピングモデル 他のモデル オートモーティブスパイス CMMI データモデル 実体関連モデル 機能モデル 情報モデル メタモデル オブジェクトモデル（英語版） システムモデル（英語版） ビュー・モデル モデリング言語 IDEF UML
主な人物	ケント・ベック グラディ・ブーチ フレデリック・ブルックス バリー・ベーム（英語版） ピーター・チェン ウォード・カニンガム オーレ＝ヨハン・ダール トム・デマルコ マーティン・ファウラー アントニー・ホーア ワッツ・ハンフリー（英語版） マイケル・A・ジャクソン（英語版） イヴァー・ヤコブソン クレイグ・ラーマン（英語版） ジェームス・マーティン（英語版） バートランド・メイヤー デイビッド・パーナス ウィンストン・W・ロイス（英語版） コレット・ロラン（英語版） ジェームズ・ランボー ニクラウス・ヴィルト エドワード・ヨードン ビクター・バシリ（英語版）
関連項目	計算機科学 計算機工学 エンタープライズエンジニアリング 歴史（英語版） 経営管理論 プロジェクトマネジメント 品質マネジメント ソフトウェア人間工学 システム工学
カテゴリ コモンズ

典拠管理: 国立図書館	イスラエル アメリカ