Investigation into Formalization of Domain-Oriented Parallel Software Development
Abstract
This research investigates the conceptual design of a semi-automated platform for parallel 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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 15, 1993
- Accession Number
- ADA275177
Entities
People
- Daniel P. King
Organizations
- Air Force Institute of Technology