For the most recent entries see the Petri Nets Newsletter.

Use of GMB in the Design of Robust Software for Distributed Systems.

Carpenter, Geoffrey F.; Tyrrell, Andrew M.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography