@techreport{oai:ipsj.ixsq.nii.ac.jp:00022136,
 author = {堀, 正弘 and 伊藤光恭 and 福永, 勇二 and 永石, 勉 and Masahiro, Hori and Mitsutaka, Ito and Yuji, Fukunaga and Tsutomu, Nagaishi},
 issue = {100(1992-SE-089)},
 month = {Dec},
 note = {インテリジェントネットワーク　（）　では、公衆網サービスを不特定多数の開発者が作成するようになるため、サービスの信頼性を高めることが非常に重要である。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.},
 title = {INにおけるサービスロジックが伝達網を制御する部分に着目した検証方法の提案と実装},
 year = {1992}
}