分布软件组件的协调

A Petri-Net based coordination model, namely Concerto, is proposed in this paper in terms of the requirements of the research subject. Moreover a visual prototype system with a Concerto engine and a script compile is implemented based the former theory. The expectation of this research plan has been accomplished. What's more, a coordination model based on role based access control and policy enforcements and the research of trustable computation of SIKA is added. The project has also been supported by Shanghai Scientific Development Fund, "Distributed Computation Technology Research" (No. 995115014) and by 985 Emphasis Construction Project of Shanghai Jiao Tong University (No. 2238030000). Three papers supported by the project have appeared on the international science journals, one on international conference, and nine on national science journals, where one of them is indexed by SCI and three by EI.

综合分布系统、软件工程、组件技术和Petri网等相关理论和技术，建立协调模型及其描述镅裕焕梅植甲榧屑浼际蹩⑿骰肪常沟米榻ㄍ瓿杉扑闳挝瘢骰肪呈迪肿榻ǖ男鳎谎芯糠植甲榻ㄐ骺⒎椒ㄑВ蚧植枷低车墓娣丁⒀橹ぁ⑹凳岣叻植枷低车目捎眯浴⒘榛钚浴⒖晌ば缘龋哂兄匾睦砺垩芯亢褪涤眉壑怠