Process Composition with Shared Resources

Processes are well defined sequences of computational steps executed in a coordinated manner that make application logic of an information system explicit. Process composition with shared resource is defined and analyzed in this paper. Conditions of structural soundness of composited process and conditions of property preserving of sub-process are presented.