CSR-EHCS, SM: A Supervisory Control Approach to Concurrent Programming

在并发性的上下文中，编程因需要解决的许多问题而变得复杂，例如互斥、活跃性和公平性。Petri网(PNS)是计算机科学中发展起来的用于并发系统建模的形式化模型。在控制系统中，概率神经网络已被用于离散事件系统(DES)的监督控制(SC)中，并已发展出强大的理论结果。然而，这些结果还没有系统地应用于为其创建PNS的计算机科学问题。本研究将SC工具应用于基于高级监控程序规范的程序代码自动综合。SC之所以令人感兴趣，是因为在监督控制规范方面可以看到程序的各种所需特征。研究的目标是通过让SC工具自动实现更多更高级别的需求来减少编程工作量。虽然SC方法已经被用来获得控制软件，但到目前为止还没有应用于并发程序的综合，也没有应用基于PN的SC方法。PNS是自然的并发模型，允许使用许多有效的监督控制方法，而不排除其他方法。这项工作的另一个新功能是从规范语言中提取SC规范。为了获得紧凑和易于开发的规范，隐藏了底层DES模型的大小和SC问题的公式中涉及的技术细节，本主题很有兴趣。最后，这项研究在处理SC的方式上是独一无二的，试图利用文献中提供的多种方法。SC工具生成的编程代码在结构上是正确的，程序员只需管理更简单的高级规范。所追求的研究代表了编写并发程序的一种新鲜而新颖的方法，它涉及软件开发和对监督控制方法、规范语言和代码生成策略的研究。一方面，该项目在并发程序的开发中向更高级别的自动化迈进了一步。另一方面，该项目将提供一个测试、比较和开发DES方法的总体平台。该项目的一部分将涉及本科生，也将通过本科生的研究和设计项目使本科生受益。拟议工作的主要部分正在一所以本科生为主的机构进行。

In the context of concurrency, programming is complicated by a number of issues that need to be addressed, such as mutual exclusion, liveness, and fairness. Petri nets (PNs) are formal models developed in Computer Science for the modeling of concurrent systems. In Control Systems, PNs have been used in the context of supervisory control (SC) of discrete event systems (DES) and powerful theoretical results have been developed. However, these results have not yet been systematically applied to Computer Science problems for which PNs were created. This research would apply SC tools to the automatic synthesis of programming code based on high-level supervisory control program specifications. SC is of interest because various desirable features of programs can be seen in terms of supervisory control specifications. The goal of the research is to reduce programming effort by having more of the higher level requirements implemented automatically by the SC tools. While SC methods have been used to obtain control software, neither the application to the synthesis of concurrent programs nor the application of PN based SC methods have been done so far. PNs are natural models of concurrency that allow the use of a number of efficient supervisory control methods, without excluding other approaches. Another new feature of the work is the extraction of a SC specification from a specification language. This topic is of interest in order to obtain compact and easy to develop specifications, hiding the size of the underlying DES models and the technical details involved in the formulation of SC problems. Finally, the research is unique in the way it handles the SC, in an attempt to take advantage of multiple methods available in the literature. The programming code produced by the SC tools is correct by construction and the programmer has only to manage simpler high-level specifications. The research pursued represents a fresh and novel approach to writing concurrent programs and it involves software development and research on supervisory control methods, specification languages, and code generation strategies. On one hand, the project provides a step forward towards a higher level of automation in the development of concurrent programs. On the other hand, this project will provide a platform for testing, comparing, and developing DES methods in general.Parts of the project will involve students at undergraduate level, will also benefit undergraduate students via undergraduate research and design projects. A major part of the proposed work is being carried out at a primarily undergraduate institution.