In this paper, we propose the frameworks of generalized performance evaluation and generalized controller synthesis. To this end, we give a true concurrent process calculus as the model of systems, and present a lattice-valued performance evaluation language as the performance specification of systems. We give a framework of generalized performance evaluation based on the process calculus and the performance evaluation language. We show that the several problems in computer science are special cases of generalized performance evaluation. A generalized performance evaluation algorithm is presented. Furthermore, we present a framework of generalized controller synthesis, which is the inverse problem of generalized performance evaluation. We show several special cases of generalized controller synthesis in computer science, and give an outline of generalized controller synthesis algorithm.

翻译：在本文中，我们提出了广义性能评估与广义控制器综合的框架。为此，我们采用真正并发进程演算作为系统模型，并引入格值性能评估语言作为系统的性能规约。基于进程演算与性能评估语言，我们建立了广义性能评估框架，并论证了计算机科学中的若干问题均为广义性能评估的特例。文中给出了广义性能评估算法。进一步地，我们提出了广义控制器综合框架——该框架是广义性能评估的逆问题。文中展示了计算机科学中广义控制器综合的若干特例，并概述了广义控制器综合算法的基本思路。