Stepwise Refinement of Communications Service Specifications for Conforming to a Functional Model (Special Issue on Distributed Architecture for Next Generation Communication Networks)
スポンサーリンク
概要
- 論文の詳細を見る
A stepwise refinement method of communications service specifications is proposed to generate communications software that can conform to any network architecture. This method uses a two-layered language; one layer is a service specification description language (STR), and the other layer is a supplementary specification description language for implementing STR description on a communications system (STR/D). STR specifies terminal behaviors that can be recognized from a perspective outside of the communications systems. With STR, a communications service is defined by a set of rules that can be described without detailed knowledge of communications systems or communications network architectures. Each STR rule describes a global state transition of terminals. Supplementary specifications, such as terminal control and network control, are needed to implement communications services specified by STR rules. These supplementary specifications are described by STR/D rules. Communications services, such as UPT (Universal Personal Telecommunication), are standardized so that they can be provided on a given functional model consisting of functional entities. Specifications for each functional entity in a network are obtained from the two kinds of initially described specifications mentioned above. The obtained specifications are described by STR(L) and STR/D(L) rules, which specify local specifications of a functional entity. These specifications for functional entities are then transformed into software specifications, and finally communications software is generated from these software specifications. This stepwise refinement method makes it possible to generate communications software that can conform to any functional model from service specifications.
- 社団法人電子情報通信学会の論文
- 1994-11-25
著者
-
Ohta Tadashi
ATR Communication Systems Research Laboratories
-
TAKURA Akira
ATR Communication Systems Research Laboratories
関連論文
- An Access Control Mechanism for Object-Oriented Database Systems (Special Section on Cryptography and Information Security)
- Requirement Specification Acquisition of Communications Services
- Protocol Synthesis from Service Specifications Described by Graph Rewriting Rules(Theory of Rewriting Systems and Its Applications)
- Stepwise Refinement of Communications Service Specifications for Conforming to a Functional Model (Special Issue on Distributed Architecture for Next Generation Communication Networks)
- Completing Protocols Synthesized from Service Specifications
- Reachability Analysis for Specified Processes in a Behavior Description
- A Requirement Description Approach in Natural Language Based on Communication Service Knowledge