Software Design Representation Using Abstract Process Networks

Concurrent modeling language (CML) for discrete process modeling, simulation and control

“…Petri net is a graphical and analytical methodology for system modeling and analysis and a large body of modeling work has been conducted using this approach (e.g. Mekly and Yau (1980) and Dubois and Stecke (1983)). Petri nets as a reactive modeling tool, however, suffer from some limitations among which are: limited expressive power, and lack of explicit time information.…”

“…Some include time explicitly (timed Petri nets (Bruno and Biglia, 1985)), others allow greater variety of tokens to exist (colored Petri nets (Jensen, 1987)), etc. The extended models have been used for communication protocols verification (Billington et al, 1988), simulation applications (Stotts, 1985), software development (Mekly and Yau, 1980), manufacturing modeling, and many more.…”

Towards a Formal Foundation for DeMarco Data Flow Diagrams

“…Examples are IML-inscribed predicate/transition nets [22] , abstract process nets [14,15] and EDDA [ 25] . The present project differs from the others in the use of DeMarco data flowdiagrams as the user interface, and the application of special consistencya nalyses on the resulting language to safeguard the correctness of a specification.…”

Independent general principles for constructing responsive software systems

“…Smith has presented a comprehensive methodology for performance engineering of software systems throughout the life cycle [37]. Performance analysis techniques applicable in early life cycle stages have been presented by [6,12,27,30,31,33,34,35,36,381. Both Beizer [2] and Kelly [18] presented formal graph-based analysis techniques for programs.…”

“…A great deal has also been reported in the areas of measuring and modeling the performance of computer systems [ll, 24,26,32], modeling software systems [6,12,27,30,31,33,34,35,361 and software tools for performance analysis [4,5,15,29,36,411. Little has been reported [25] on formal techniques for constructing high-performance software that are applicable to large-scale systems of programs in early life cycle stages (i.e., to the requirements specification and design specification stages).…”