计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2013年
12期
3423-3427,3440
,共6页
分布式系统%系统组合%形式化语义%范畴理论%Agent
分佈式繫統%繫統組閤%形式化語義%範疇理論%Agent
분포식계통%계통조합%형식화어의%범주이론%Agent
distributed computing system%system composition%formal semantics%category theory%Agent
为解决分布式系统构建过程中系统组合和语义验证等方面的问题,基于范畴理论和进程代数,为基于Agent的分布式系统模型提出了一种形式化的语义描述框架.范畴图表用于描述整个系统的结构模型,态射用来表示系统各组成部分之间的交互和协作机制.在此基础上,对Agent规范的描述、组合、精化以及迁移过程中的语义保持问题进行了探讨.应用研究表明,该框架适用于分布式系统模型的描述和构建,有助于分析系统分解和组合的正确性.
為解決分佈式繫統構建過程中繫統組閤和語義驗證等方麵的問題,基于範疇理論和進程代數,為基于Agent的分佈式繫統模型提齣瞭一種形式化的語義描述框架.範疇圖錶用于描述整箇繫統的結構模型,態射用來錶示繫統各組成部分之間的交互和協作機製.在此基礎上,對Agent規範的描述、組閤、精化以及遷移過程中的語義保持問題進行瞭探討.應用研究錶明,該框架適用于分佈式繫統模型的描述和構建,有助于分析繫統分解和組閤的正確性.
위해결분포식계통구건과정중계통조합화어의험증등방면적문제,기우범주이론화진정대수,위기우Agent적분포식계통모형제출료일충형식화적어의묘술광가.범주도표용우묘술정개계통적결구모형,태사용래표시계통각조성부분지간적교호화협작궤제.재차기출상,대Agent규범적묘술、조합、정화이급천이과정중적어의보지문제진행료탐토.응용연구표명,해광가괄용우분포식계통모형적묘술화구건,유조우분석계통분해화조합적정학성.
