Loading...
Please wait, while we are loading the content...
Similar Documents
Object-based modeling of parallel programs
| Content Provider | IEEE Xplore Digital Library |
|---|---|
| Author | Gorton, I. Gray, J.P. Jelly, I. |
| Copyright Year | 1993 |
| Abstract | The Parse Project has been investigating software development issues covering a range of parallel applications. Parse itself is an object-based design methodology that incorporates design management strategies based on data and function encapsulation, hierarchical decomposition, and staged refinement. Parse represents parallel software designs with a graphical notation called process graphs. After capturing a design's important structural features, this notation systematically derives the design's skeletal dynamic properties. For this, it can use either a behavioral specification language or formal methods such as CSP (Communicating Sequential Processes) or Petri nets. Parse builds on existing parallel software design techniques that are based on dataflow and object-oriented approaches. Parse attempts to capture precise object interactions and synchronization in an abstract, architecture-independent notation. To do so, it combines the strengths of various object-oriented techniques and extends the abilities of real-time design methodologies. The Parse project has tried to promote recognized software engineering techniques and extend them to incorporate high-level abstractions for parallel software design. Using systematic transformation techniques, system designers then can methodically refine their designs into formal notations to promote verification and into programming languages for easy implementation.< |
| Starting Page | 52 |
| Ending Page | 63 |
| Page Count | 12 |
| File Size | 1057621 |
| File Format | |
| ISSN | 10636552 |
| Volume Number | 3 |
| Issue Number | 2 |
| Language | English |
| Publisher | Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| Publisher Date | 1995-01-01 |
| Publisher Place | U.S.A. |
| Access Restriction | Subscribed |
| Rights Holder | Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| Subject Keyword | Design methodology Software design Object oriented modeling Programming Application software Encapsulation Specification languages Petri nets Software engineering Computer languages |
| Content Type | Text |
| Resource Type | Article |
| Subject | Theoretical Computer Science Computational Theory and Mathematics Electrical and Electronic Engineering |
