一种基于分布组件协调的脚本语言Concerto
Scripting Language for Distributed Components Coordination作者机构:上海交通大学计算机科学与工程系上海200030
出 版 物:《上海交通大学学报》 (Journal of Shanghai Jiaotong University)
年 卷 期:2001年第35卷第2期
页 面:188-191页
核心收录:
学科分类:08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)]
基 金:国家自然科学基金! (6 99730 332 ) 上海市科技发展基金! (995 115 0 14 )资助项目
摘 要:针对现有脚本语言只适合顺序计算的缺点 ,提出了协调脚本语言 ***脚本既适合描述分布组件系统的协调问题 ,又统一了现有的计算脚本 ,提供了一个多种脚本语言混合编程的解决方案 .在运行方面 ,提出 Concerto协调代码作为脚本语言编译器的目标代码 .以 Petri网为基础 ,由 Concerto引擎对协调代码解释生成 Petri网模型 ,对分布组件系统进行并发死锁验证 ,并与计算系统交互 ,控制分布组件的运行 .