作者:蔡国永; 高济; 董荣胜电子机构进程代数分布协同自治主体设计规约
摘要:在开放异构的环境下,实现自治主体闻可信的业务协同系统仍是一个困难的问题.电子机构为分析该类问题提供了一种较好的概念框架,但它对分布协同系统的设计实现阶段还缺乏有效支持.以进程代数理论为基础,提出一种适合电子机构的进程演算语言,给出了其形式语法和操作语义,并以具体实例说明了该方法的使用过程.电子机构的进程代数方法更加适合于电子机构的设计、分析确认与实现.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《微电子学与计算机》(CN:61-1123/TN)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《微电子学与计算机》是中国计算机学会会刊,本刊的宗旨是,严谨认真,求实创新;以人为本,研以致用;弘扬科学,追求真理。本刊国内公开发行,面向科研院所,厂矿技术人员、院校师生和管理人员,及时提供国内微电子与计算机行业最新科研成果。
部级期刊
人气 230498 评论 65
人气 215177 评论 35
省级期刊
人气 213333 评论 71
北大期刊、统计源期刊
人气 193103 评论 73