2024-03-28T18:02:07Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000221362023-04-27T10:00:04Z01164:01384:01474:01475
INにおけるサービスロジックが伝達網を制御する部分に着目した検証方法の提案と実装A VERIFICATION METHOD FOR SERVICE SCRIPT OF THE INTELLIGENT NETWORKjpnhttp://id.nii.ac.jp/1001/00022136/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=22136&item_no=1&attribute_id=1&file_no=1Copyright (c) 1992 by the Information Processing Society of Japan日本電信電話株式会社ソフトウェア研究所日本電信電話株式会社ソフトウェア研究所日本電信電話株式会社ソフトウェア研究所日本電信電話株式会社ソフトウェア研究所堀, 正弘伊藤光恭福永, 勇二永石, 勉インテリジェントネットワーク () では、公衆網サービスを不特定多数の開発者が作成するようになるため、サービスの信頼性を高めることが非常に重要である。NTTが提案しているINモデルでは、サービスは、物理的リソースを抽象化したオブジェクトである仮想リソース () を操作することによって実現される。本文では、サービスを記述する、VRの操作順序列の正しさを検証するために、正当性、完全性、非冗長性の、3つのサービスの性質を提案する。また、これらを静的に検査する方法と、これを実現したツールについて報告する。この検証により、信頼性の高いINサービスが、短期間で開発できることが期待される。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.AN10112981情報処理学会研究報告ソフトウェア工学(SE) 1992100(1992-SE-089)1631681992-12-142009-06-30