CAJ | 학술논문

构件交互风格和交互协议的描述与验证是基于构件的分布式系统开发的基础和关键,而构件交互协议是一种典型的分布式并发系统.传统的方法难以解决系统建模和验证中的所谓的状态爆炸问题.偏序简化是应用迹的概念,对模型进行化简并且对模型进行死锁验证.但这样的验证重点放在了Petri网模型上,而没有涉及进程代数模型,所验证的只是模型是否有死锁状态.而以通信系统演算CCS为代表的进程代数,因其概念简洁,可用的数学工具丰富,在分布式并发系统的规范、分析、设计和验证方面获得了广泛应用.对此,提出将偏序规约应用于进程代数模型,给出基于进程代数模型的偏序简化算法,并提出利用进程代数模型偏序简化算法来验证安全性的方法.
구건교호풍격화교호협의적묘술여험증시기우구건적분포식계통개발적기출화관건,이구건교호협의시일충전형적분포식병발계통.전통적방법난이해결계통건모화험증중적소위적상태폭작문제.편서간화시응용적적개념,대모형진행화간병차대모형진행사쇄험증.단저양적험증중점방재료Petri망모형상,이몰유섭급진정대수모형,소험증적지시모형시부유사쇄상태.이이통신계통연산CCS위대표적진정대수,인기개념간길,가용적수학공구봉부,재분포식병발계통적규범、분석、설계화험증방면획득료엄범응용.대차,제출장편서규약응용우진정대수모형,급출기우진정대수모형적편서간화산법,병제출이용진정대수모형편서간화산법래험증안전성적방법.