【摘要】 <正> 1 引言 Java作为一种面向分布式计算环境的语言,提供了完全意义上的多线程支持,能有效利用资源,提高系统效率,但是多线程并发也带来了很多严重问题,如死锁。为了详尽分析Java并发系统,首先必须对并发系统进行建模。目前用于描述并发系统的方法主要有基于Petri网的方法和基于流程图的方法。这些方法各有长短,通常具有针对性,但没有一种方法能很好地支持所有的分析。本文也提更多还原

【Abstract】 Feasibility and efficiency of analyzing concurrent programs mostly rely on the programs’ representations. This paper proposes a model of Java concurrent system by using ACP.so that Java concurrent system can be transformed to process algebra expressions which facilitate model checking or some further analysis.更多还原