Abstract

The goal of the thesis is the introduction of parameterized events in TROM methodology, an object-oriented formalism for the development of real-time reactive systems. Without parameterization, a large number of events representing similar stimuli or responses are required for modeling large systems, especially in telephony and protocol application domains. The syntax and semantics for parameterized events are conservative extensions of the syntax and semantics of events in TROM formalism. The thesis addresses the impact of parameterization on existing tools of TROMLAB, a framework for practicing TROM formalism, and discusses the reengineering of some of the tools in TROMLAB. The expressive power of the extended formalism is illustrated using the ATM-ABR protocol. The ATM model is validated in SDL, by mapping its TROM model into SDL and executing the SDL model.