KIYOSHI ITOH
Tel: +81-3-3238-4143; Fax: +81-3-3238-3885
Laboratory of Information Science, Natural Sciences Center, Sophia University, Kioi-cho 7-1, Chiyoda-ku, Tokyo 102, Japan
YASUHISA TAMURA
Tel: +81-3-3238-4143; Fax: +81-3-3238-3885
Laboratory of Information Science, Natural Sciences Center, Sophia University, Kioi-cho 7-1, Chiyoda-ku, Tokyo 102, Japan
SHINICHI HONIDEN
Systems & Software Engineering Lab., Toshiba Corporation, Yanagi-cho 70, Kawasaki 210, Japan

Received 21 July 1991
Revised 12 December 1991
Accepted 15 December 1991

A software prototyping environment called TransObj (TRANSaction and OBJect) is used for designing real-time Transaction-based Concurrent Software Systems (TCSS). In a TCSS design process, a software designer should perform both functional design and performance design. The designer should change his design view from a transaction-based paradigm to an object-based paradigm during the TCSS design process. Recognition of re-entrant functional objects and serially reusable functional objects in the TCSS should be required. TransObj includes the Stepwise Prototyping Method (SPM), and two SPM-based tools: Prolog-based TransObj (P-TransObj) and GPSS-based TransObj (G-TransObj). SPM enables the designer to advance both functional design and performance design for the TCSS prototype as controling the change of design view paradigms. P-TransObj mainly checks the prototype in a microscopic view on a personal computer. G-TransObj mainly checks the same prototype with a longer time span on a large-scale computer.