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

Leon J.OsterweilNorman Sondeimer马萨诸塞大学AmherstSGER：数字政府：定义政府程序的程序公式的初步评估政府的日常运作中的许多可以被认为是忠实和准确地执行规定的程序(法律、规则、规章)。这笔小额赠款将探索应用一种特殊用途的计算机语言(LittleJIL)的潜力，以帮助确保政府程序的准确性和效率，如发放许可证。这笔初步拨款将开始在国际和平协会和马萨诸塞州联邦之间建立合作伙伴关系，以调查这一新想法的潜力。

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.