/

ISO/IEC 11411:1995 情報技術—ソフトウェアの状態遷移の人間によるコミュニケーションの表現 | ページ 2

※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。

序文

ISO (国際標準化機構) と IEC (国際電気標準会議) は、世界標準化のための専門システムを形成しています。 ISO または IEC のメンバーである国家機関は、技術活動の特定の分野を扱うために、それぞれの組織によって設立された技術委員会を通じて、国際規格の開発に参加しています。 ISO と IEC の技術委員会は、相互に関心のある分野で協力しています。 ISO および IEC と連携して、政府および非政府の他の国際機関もこの作業に参加しています。

情報技術の分野では、ISO と IEC は合同技術委員会 ISO/IEC JTC 1 を設立しました。合同技術委員会によって採択された国際規格の草案は、投票のために各国の機関に回覧されます。国際規格として発行するには、投票を行う国の機関の少なくとも 75% による承認が必要です。

国際規格 ISO/IEC 11411 は、合同技術委員会 ISO/IEC JTC 1, 情報技術、小委員会 SC 7, ソフトウェア エンジニアリングによって作成されました。

この規格の附属書 A から D は情報提供のみを目的としています。

序章

一部の分野のソフトウェアは、状態遷移図と表で表すことができます。ソフトウェアは遷移によって状態を変更します。特定の条件が発生すると、対応する状態から状態への遷移が実行されます。条件は、データの入力によってもたらされます。データは、次のようなさまざまな形式を取る場合があります。

  • 信号、
  • コマンド、
  • メッセージ、
  • トークン、フラグ、
  • 文字、言葉、
  • 記録等

この国際規格は、ソフトウェアの状態遷移に関する人間のコミュニケーションのための概念と記号の最小限のセットを記述しています。

この国際規格

  • a)ソフトウェアの状態遷移の性質を定義する。
  • b)状態遷移要素の表記法を定義します。
  • c)状態遷移要素のセットを指定します。

1 スコープ

この国際規格の根底にある概念は、この規格で定義されている図と記号が、ソフトウェアの機能と遷移を表し、人間のコミュニケーションを改善するのに役立つということです。この国際規格がカバーする分野は、ソフトウェア要件の分析と設計の開発、伝達、およびレビューです。

この国際規格は、ソフトウェアの次の分野で有効です。

インタラクティブなソフトウェア

  • 画面上の機能や遷移の表現について説明します。

データ通信ソフト

  • 通信プロトコルと対応するアクションについて説明します。

言語/コマンド

  • 構文を説明します。

2 つの定義

この国際規格の目的のために、次の定義が適用されます。

2.1

州

状態は、実行中のソフトウェアの進行状況を表す一意の値です。州は、州名と呼ばれる識別子として一意の名前を持つものとします。

2.2

遷移

遷移とは、ある状態から別の状態または同じ状態への変化です。条件が満たされると遷移が発生します。遷移に伴ってアクションが発生する場合があります。正式には、トランジションは次の 3 つの部分で構成されます。
  • 方向部分;
  • 状態部分;
  • アクション部分。
方向部分は、次の 2 つの状態識別子で構成されます。
  • 前の状態を指す前の状態識別子。
  • 次の状態を指す次の状態識別子。

条件部分は、アクションが発生するために満たさなければならない条件と、ある状態から別の状態への変化を表します。ある状態から別の状態または同じ状態に変化するようにさらに多くの遷移が定義されている場合、それらは相互に排他的でなければなりません。

アクション部分は、条件に応じてソフトウェアが実行するアクションを表します。アクションは、任意の処理である場合もあれば、nil である場合もあります。

附属書C

（参考）

参考文献

1Zohar Manna, 計算の数学的理論、 1974 年、McGraw-Hill Inc.
2Paul Τ Ward, Stephen J Mellor, リアルタイム システムの構造化開発、 1985 年、Prentice Hal
3Edward Yourdon, 最新の構造化分析、 1989 年、Yourdon Pres
4Wilfried Brauer, Net theory and application, Proceedings on the advanced course on general net theory of processes and systems, ハンブルグ、1979 年 10 月、Springe
  • CCITT Rec. Ζ。 100 と Ζ。 120 CCITT 仕様および記述言語 (SDL)
    (SDL-GR と呼ばれるグラフィック表現を含む)
  • ISO 9074:1989 Information processing systems — Open Systems Interconnection — Estelle: 拡張状態遷移モデルに基づく正式な記述手法。
    （通称エステル）

  • 注 — SDL-GR は主に電気通信分野で使用され、その分野に固有の豊富な機能を備えています。この標準はより一般的であり、SDL-GR のベースになる可能性があります。

Foreword

ISO (the International Organization for Standardization) and IEC (the International Electrotechnical Commission) form the specialized system for worldwide standardization. National bodies that are members of ISO or IEC participate in the development of International Standards through technical committees established by the respective organization to deal with particular fields of technical activity. ISO and IEC technical committees collaborate in fields of mutual interest. Other international organizations, governmental and non-governmental, in liaison with ISO and IEC, also take part in the work.

In the field of information technology, ISO and IEC have established a joint technical committee, ISO/IEC JTC 1. Draft International Standards adopted by the joint technical committee are circulated to national bodies for voting. Publication as an International Standard requires approval by at least 75 % of the national bodies casting a vote.

International Standard ISO/IEC 11411 was prepared by Joint Technical Committee ISO/IEC JTC 1, Information technology, Subcommittee SC 7, Software engineering.

Annexes A to D of this International Standard are for information only.

Introduction

Software in some fields can be represented by state transition diagrams and tables. The software changes its states through transitions. When a certain condition arises, the corresponding transition from state to state is performed. Conditions are brought about by input of data. The data may take various forms, e.g.:

  • signals,
  • commands,
  • messages,
  • tokens, flags,
  • characters, words,
  • records, etc.

This International Standard describes minimum set of concepts and symbols for human communication of state transition of software.

This International Standard

  • a) defines the nature of state transitions of software;
  • b) defines the notation of state transition elements;
  • c) specifies a set of state transition elements.

1 Scope

The underlying concept of this International Standard is that diagrams and symbols defined herein can be helpful in representing software functions and transitions and in improving human communication. The areas covered by this International Standard are development, communication and review of software requirement analysis and design.

This International Standard is effective in the following fields of software.

Interactive software

  • To describe the representation of functions and transitions on screens.

Data communication software

  • To describe communication protocols and corresponding actions.

Language/command

  • To describe the syntax.

2 Definitions

For the purposes of this I nternational Standard, the following definitions apply.

2.1

state

A state is the unique value that represents the stage of progress of software in its execution. The state shall have a unique name as its identifier which is called state name.

2.2

transition

A transition is a change from one state to another state or the same state. A transition takes place when a condition is satisfied. An action may take place along with the transition. Formally, a transition consists of three parts:
  • direction part;
  • condition part;
  • action part.
The direction part in turn consists of two state identifiers:
  • previous state identifier, pointing to the previous state;
  • next state identifier, pointing to the next state.

The condition part expresses the condition that must be satisfied for the action to take place and the change from one state to another. If more transitions are defined to change from one state to another state or the same state, they shall be mutually exclusive.

The action part represents the action which is performed by the software according to the condition. The action may be any processing or may be nil.

Annex C

(informative)

Bibliography

1Zohar Manna, Mathematical theory of computation, 1974, McGraw-Hill Inc.
2Paul Τ Ward, Stephen J Mellor, Structured development for real-time systems, 1985,Prentice Hall.
3Edward Yourdon, Modern structured analysis, 1989, Yourdon Press.
4Wilfried Brauer, Net theory and application, Proceedings of the advanced course on general net theory of processes and systems, Hamburg, October 1979, Springer.
  • CCITT Rec. Ζ. 100 and Ζ. 120 CCITT Specification and Description Language (SDL).
    (contains a graphical representation called SDL-GR)
  • ISO 9074:1989Information processing systems — Open Systems Interconnection — Estelle:A formal description technique based on extended state transition model.
    (commonly referred to as ESTELLE)

  • NOTE — SDL-GR is mainly used in the telecommunications field and includes rich facilities specific to that field. This standard is more general and may become the base of SDL-GR.

ISO PDF プレビュー