Modeling Concurrent Software

The author proposes a disciplined multitasking method, entity-life modeling, which may provide a more direct and efficient approach to concurrent computing. He then shows how this method could apply to an automated control system. He discusses an example of a flexible manufacturing system.

[1]  Hassan Gomaa.  A software design method for distributed real-time applications , 1989, J. Syst. Softw..

[2]  Bo Ingvar Sandén.  Designing control systems with entity-life modeling , 1995, J. Syst. Softw..

[3]  Ken Shumate,et al.  Designing large real-time systems with Ada , 1988, CACM.

[4]  Hugo Simpson,et al.  The Mascot method , 1986, Softw. Eng. J..

[5]  Niklaus Wirth,et al.  Tasks versus Threads: An Alternative Multiprocessing Paradigm , 1996, Softw. Concepts Tools.

[6]  Bo Ingvar Sandén,et al.  Software systems construction with examples in Ada , 1994 .

[7]  Hassan Gomaa.  Software design methods for concurrent and real-time systems , 1993, SEI series in software engineering.

[8]  Bo Ingvar Sandén.  The state-machine pattern , 1996, TRI-Ada '96.

[9]  B.I. Sanden.  Entity-life modeling in a distributed environment , 1996, Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems.

[10]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .