SGER: Digital Government: Preliminary Evaluation of Process Formalisms for Defining Government Processes

EIA-0223599 Leon J. OsterweilNorman Sondeimer马萨诸塞州大学AmherstSGER：数字政府：用于定义政府流程的流程公式的初步评估政府的许多日常运作可以被认为是忠实和精确地执行规定的流程（法律，规则，法规）。 这笔小额赠款将探索应用特殊用途计算机语言（LittleJIL）的潜力，以帮助确保政府流程的准确性和效率，例如颁发许可证。 这项初步拨款将开始建立PI和马萨诸塞州联邦之间的伙伴关系，以调查这一新想法的潜力。

EIA-0223599Leon J. OsterweilNorman SondeimerUniversity of Massachusetts AmherstSGER: Digital Government: Preliminary Evaluation of Process Formulisms for Defining Government ProcessesMuch of the daily operation of government may be thought of as the faithful and precise execution of prescribed processes (law, rules, regulation). This small grant will explore the potential for the application of a special purpose computer language (LittleJIL) to aid in ensuring the accuracy and efficiency of government processes, such as the issuing of licenses. This preliminary grant will begin the building of a partnership between the PI and the Commonwealth of Massachusetts in investigating the potential of this novel idea.