IEEE Transactions on Software Engineering. May 1993, Vol. 19 Issue 5, p453, 25 p. chart
Subjects
Prototype, Algebraic Languages, Distributed Systems, Formal Languages, Semantics, Real-Time System, Design, Specifications, Programming Language, and Programming languages -- Design and construction
Abstract
The PSDL prototyping language for hard real-time systems is described. The semi-graphical language provides a data flow notation as well as application-orientation timing and control constraints for describing a system as a hierarchy of networks of processing units that communicate through data streams. The basic PSDL constructs are defined in terms of algebraic high-level Petri nets, combining algebraic specifications of abstract data types with the concurrency and process concepts of Petri nets. The high-level Petri nets model the system's casual and timing behavior. The data abstraction facilities define the meaning of PSDL data types. The net semantics provide a basis for applying the analysis techniques and tools of high-level Petri nets.
Journal of Systems Management. July 1989, Vol. 40 Issue 7, p14, 7 p.
Subjects
Prototype, Information Systems, Design, MIS, Project Management Software, Management of EDP, Electronic data processing departments -- Management, and Management information systems -- Planning
Abstract
Prototyping can be applied to building computer information systems, either as an alternative or as a supplement to the traditional approach of systems design and development. The traditional system, which involves developing specifications before any programming is done, often results in both the user and the data processing staff shifting the blame, with no one taking the blame for inadequate systems. In contrast, prototyping uses highly efficient programming languages and other software tools to develop a model of the intended system shortly after discussion of the initial requirements. The model takes the place of written technical specifications. The data processing staff can demonstrate the prototype, get user feedback and make changes until the system is complete.
Prototype, Cornell University, Research and Development, Models, Design, Manufacturing, Solids Modeling, Algorithm, and Cornell University -- Research
Abstract
Electronic prototyping, or building a computer model of an object to verify its design, is replacing physical prototyping. Nonetheless, obstacles exist that impede the progress of electronic prototyping. One obstacle is a need for robust geometrical algorithms in computer-aided design systems. Existing algorithms can fail if their correctness depends on the logical consistency of the underlying structures. Research at Cornell University results in a paradigm expected to have wide applicability for producing provably correct programs for various engineering applications. The paradigm has been used to develop a provably correct intersection algorithm. The algorithm is several orders of magnitude more robust than existing codes. The Cornell project also dealt with electronic prototyping that permits designers to experiment with a number of configurations before committing to one design.