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

Scripting Language for Distributed Components Coordination

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

Nowadays scripting languages are suitable for sequential computation. Overcoming this drawback, this paper proposed Concerto scripting language, which fits for describing the coordination of distributed component systems. Also, the Concerto synthesizes the present computing scripts and provides an approach to the program with multiple scripting languages. The concerto coordination code is used as the object code of scripting language compiler. It is the Concerto engine that sets up the Petri net model, verifies its correctness and interacts with computing system to control the execution of distributed components.