一种基于分布组件协调的脚本语言Concerto

摘要

针对现有脚本语言只适合顺序计算的缺点 ,提出了协调脚本语言 Concerto.Concerto脚本既适合描述分布组件系统的协调问题 ,又统一了现有的计算脚本 ,提供了一个多种脚本语言混合编程的解决方案 .在运行方面 ,提出 Concerto协调代码作为脚本语言编译器的目标代码 .以 Petri网为基础 ,由 Concerto引擎对协调代码解释生成 Petri网模型 ,对分布组件系统进行并发死锁验证 ,并与计算系统交互 ,控制分布组件的运行 .