Properties Analysis of Process Composition with Shared Resources

Process composition with shared resources is a kind of composition that all participants share common resources that cannot be consumed and must be returned after using. Properties of the composited process and conditions of property preserving of participants are studied in this paper. Moreover sharing graph of composited process is defined and constructed to judge whether the composition is structural sound or not. And devices to keep the structural soundness of participants are given also.