AUTOMATIC DESIGN METHOD OF QUALITY OF SERVICE BY USING TEMPORAL LOGIC SPECIFICATION

摘要

PURPOSE: An automatic design method of QoS(Quality of Service) is provided to generate automatically a finite auto-meter that displays the QoS scheduling from a temporal logic specification about QoS characters to support the automatic design of the scheduler. CONSTITUTION: An automatic design method consists of three steps. At a first step, functions and characters of services are described informally. At a second step, a system draws the QoS requirements of multimedia services from the requirements and generates a temporal logic grammar. At a third step, the system transforms the temporal logic specification grammar to a finite auto-meter.