|
|||||
|
|
| 动态联盟中的同步协同设计系统模型 | |
| 引用本文： | 王永滨,刘静,孟跃进,孟庆龙.动态联盟中的同步协同设计系统模型[J].计算机辅助设计与图形学学报,2004,16(7):984-991. |
| 作者姓名： | 王永滨 刘静 孟跃进 孟庆龙 |
| 作者单位： | 1. 北京广播学院计算机与软件学院,北京,100024 2. 北京广播学院理学院,北京,100024 3. 河北工业大学电器研究所,天津,300130 |
| 基金项目： | 广播电影电视总局高校科技项目 (BG0 110 )资助 |
| 摘 要： | 利用Muiti-Agent，π-演算和Petri网给出了动态联盟中的同步协同设计系统形式化模型．该模型利用π-演算的操作语义表现系统的动态行为；根据Petri网理论表现适应动态联盟中同步协同设计的多层次、多资源、无死锁，且具有一定公平性的发言权控制． |
| 关 键 词： | 协同设计 动态联盟 发言权 π-演算 Petri网 |
Model of Synchronous Computer Supported Collaborative Design in Enterprise Dynamic Alliance |
|
| Wang Yongbin,Liu Jing,Meng Yuejin,Meng Qinglong.Model of Synchronous Computer Supported Collaborative Design in Enterprise Dynamic Alliance[J].Journal of Computer-Aided Design & Computer Graphics,2004,16(7):984-991. | |
| Authors: | Wang Yongbin Liu Jing Meng Yuejin Meng Qinglong |
| Affiliation: | Wang Yongbin 1) Liu Jing 2) Meng Yuejin 3) Meng Qinglong 3) 1) |
| Abstract: | Requirements for dynamic architecture, flexible configuration and mobility of the synchronous computer supported collaborative design system are analyzed A formalized model of the system is presented by using Multi Agent, Pi calculus and Petri net approaches Based on Pi calculus operating semantics, dynamic behaviors of the system are guaranteed Based on Petri net theory, fair and no deadlock floor control of the system with multilevel and multi resource applications are realized |
| Keywords: | computer supported collaborative design dynamic alliance floor Pi calculus Petri net |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |