In: Software Eng. J., Vol 4, No. 5, pages 268-282. September 1989.
Abstract: The paper considers the use of the UCLA Graphical Model of Behaviour (GMB) in the design and simulation of software for distributed systems with emphasis on the study of dynamic interprocess interactions. It is shown that GMB possesses a number of analytical features which improve the models. A case study of the design of robust software for a safety critical application shows that GMB provides a complementary, and in some respects superior, method to Petri net modelling.
Keywords: UCLA graphical model (of behaviour); (robust) software (for) distributed systems; safety critical application; (dynamic) interprocess interaction.