Transforming rule-based programs: from the sequential to the parallel

摘要: Conflict resolution is a form of global control used in production systems to achieve an efficient sequential execution rule-based program. This type not parallel system models[6, 13]. Instead, only those programs are executed which make no assumptions regarding conflict resolution. Therefore, the initial either without their strategy, normally results incorrect behavior, or transformed ad hoc manner execute on particular model. As result, these do exhibit parallelism hoped for [10, 13].We believe that second reason behind lack formal methods verifying correctness utilized. Correctness especially important when longer utilized, because it necessary transform into equivalent Also, program more complex and demands even than its counterpart.We concerned with designing developing correct execution. In this paper, we show difficulty transforming simple new version use programming paradigm language may result provably correct, can be parallel.