Haydar, May (2001) Parameterized events for designing real-time reactive systems. Masters thesis, Concordia University.
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.
|Divisions:||Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering|
|Item Type:||Thesis (Masters)|
|Pagination:||xii, 141 leaves : ill. ; 29 cm.|
|Degree Name:||Theses (M.Comp.Sc.)|
|Program:||Computer Science and Software Engineering|
|Thesis Supervisor(s):||Alagar, V. S.|
|Deposited By:||Concordia University Libraries|
|Deposited On:||27 Aug 2009 17:18|
|Last Modified:||08 Dec 2010 15:19|
Repository Staff Only: item control page