摘要
由于面向对象的分布式系统的并发性和通信性特点，该文提出一种将Petri网和EFSM/CEFSM结合起来的方法，利用Petri网模型来分析分布式系统的并发性和通信性，并将基于EFSM的测试技术应用到Petri网建模的系统上。这样使得这两种技术的优势互补，从而便于对系统的性能进行研究。
Because of characteristics of concurrency and communication in distributed systems of object-oriented, This paper presents a method which put Petri net with EFSM together, So that it can use Petri net model to analyze distributed systems concurrency and communication, and it can apply the testing strategy based on EFSM to systems modeled by Petri net. It can benefit from these two kinds of technologys combination, and then it is advantageous for to study the systems performance.
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第8期109-111,共3页
Computer Engineering
基金
国家教育部<高等学校骨干教师资助计划>资助项目
海市署光计划资助项目(2002SG53)
海市高校科技发展基金重点资助项目(CL200222)
