An object-oriented model for parallel software

An object-oriented model for parallel software is presented. It refers to UML representation in its structure, describes the internal state of an object and mutual interaction among objects by an object Petri net, making it easier to simulate parallel software and translate them into programs, such as Ada'95 programs. The model will be useful for quality assurance of parallel software and improvement of development efficiency.