WEKO3
アイテム
INにおけるサービスロジックが伝達網を制御する部分に着目した検証方法の提案と実装
https://ipsj.ixsq.nii.ac.jp/records/22136
https://ipsj.ixsq.nii.ac.jp/records/221368af93e86-17e8-4494-9aa2-ab54957ecc89
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE92089021.pdf (703.4 kB)
|
Copyright (c) 1992 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1992-12-14 | |||||||
| タイトル | ||||||||
| タイトル | INにおけるサービスロジックが伝達網を制御する部分に着目した検証方法の提案と実装 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | A VERIFICATION METHOD FOR SERVICE SCRIPT OF THE INTELLIGENT NETWORK | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 日本電信電話株式会社ソフトウェア研究所 | ||||||||
| 著者所属 | ||||||||
| 日本電信電話株式会社ソフトウェア研究所 | ||||||||
| 著者所属 | ||||||||
| 日本電信電話株式会社ソフトウェア研究所 | ||||||||
| 著者所属 | ||||||||
| 日本電信電話株式会社ソフトウェア研究所 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| NTT software Labratories | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| NTT software Labratories | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| NTT software Labratories | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| NTT software Labratories | ||||||||
| 著者名 |
堀, 正弘
伊藤光恭
福永, 勇二
永石, 勉
× 堀, 正弘 伊藤光恭 福永, 勇二 永石, 勉
|
|||||||
| 著者名(英) |
Masahiro, Hori
Mitsutaka, Ito
Yuji, Fukunaga
Tsutomu, Nagaishi
× Masahiro, Hori Mitsutaka, Ito Yuji, Fukunaga Tsutomu, Nagaishi
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | インテリジェントネットワーク （） では、公衆網サービスを不特定多数の開発者が作成するようになるため、サービスの信頼性を高めることが非常に重要である。NTTが提案しているINモデルでは、サービスは、物理的リソースを抽象化したオブジェクトである仮想リソース （） を操作することによって実現される。本文では、サービスを記述する、VRの操作順序列の正しさを検証するために、正当性、完全性、非冗長性の、3つのサービスの性質を提案する。また、これらを静的に検査する方法と、これを実現したツールについて報告する。この検証により、信頼性の高いINサービスが、短期間で開発できることが期待される。 | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | The current verification methods used for the Intelligent Network (IN) are based on communicating process technologies. In this paper, an IN model is examined to study verification technologies which come from the characteristics of the model. In the proposed model, the IN architecture abstracts physical resources in the transport network and a Service Logic Program (SLP) controls the virtualized resources (VR) to achieve IN services. The characteristics of SLP control over the virtualized resources are examined, the verifications are classified, and a verification system is developed. Using this verification system, IN services high in quality and reliability can be achieved even by inexperienced programmers in a relatively short time. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
情報処理学会研究報告ソフトウェア工学（SE） 巻 1992, 号 100(1992-SE-089), p. 163-168, 発行日 1992-12-14 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
