Demands on telecommunication services will increase as today's society evolves. A quick response to these demands will require clarifying what is truly needed for services at an early stage of system development. It is therefore important to allow users to define these demands. Natural language is suitable for describing requirements. However, diverse expressions are allowed in natural language, and users have many description viewpoints. The main issue is discerning the meanings behind the various expressions, and the paper aims to resolve that point. The paper creates a model for telecommunication services from the viewpoint of their functions and terminal operations and prescribes a requirement description method. The paper also reveals that the diversity in expressions is caused by a set of three orthogonal viewpoints: an interface viewpoint from among three entities, i.e., the terminal, network and user; a viewpoint from both sides of each interface; and a logical and physical viewpoint. It then systematizes the telecommunication service concepts based on the model. Finally, it proposes a method for understanding expression meanings by managing the correspondence between concepts and expressions.

This paper describes a global compaction algorithm which can produce efficient microprograms with respect to both space and time. The algorithm depends upon a generalized data dependency graph (GDDG), which can integratedly express the concurrency of microorders and their mobility past the boundaries of basic blocks, as well as the control flow for a microprogram. In the algorithm an initial GDDG is first built up from a source microprogram consisting of a sequence of microorders, and this is transformed by repeated application of a set of microscopic transformation rules to the graph's edges until all of them have been examined. Then microorders are packed into microinstruction fields so that the more frequently executed basic blocks may contain as few microinstructions as possible. The intrinsic nature of the control flow's joins and forks allows determination of which basic block should accommodate those microorders that can be placed in more than one basic block.