Investigation into Formalization of Domain-Oriented Parallel Software Development

摘要

This research investigates the conceptual design of a semi-automated platform forparallel software development. The proposed semi-automated environment applies transformational techniques and domain-specific knowledge to a parallel software development process. Domain-specific and software design knowledge interact within the transformational development process in the creation of a software application. The underlying parallel specification language requires a set of parallel composition operators in order to capture an application's concurrent properties. A set of parallel composition operators is proposed that consists of parallel composition, parallel enumeration, nondeterministic choice, sequential composition; specific communication and synchronization variable types are also proposed. A semi-automated environment based on this set of composition operators is considered and presented.