Please use this identifier to cite or link to this item:
Title: Parameterized validation of UML-Like models for reactive embedded systems
Keywords: Requirements Modeling, Unified Modeling Language (UML), Abstract Execution, Parameterized Validation, Model-based Testing, Message Sequence Charts
Issue Date: 19-Jun-2009
Citation: ANKIT GOEL (2009-06-19). Parameterized validation of UML-Like models for reactive embedded systems. ScholarBank@NUS Repository.
Abstract: Distributed reactive systems consisting of classes of behaviorally similar interacting processes arise in various application domains such as telecommunication, avionics, etc. Various existing modeling notations, such as those included in the UML standard, are not well equipped for requirements modeling of such systems, since they assume a fixed number of processes in the system. Moreover, in the behavioral analysis of requirements modeled using these notations various processes are dealt with in a concrete manner leading to scalability issues, and the inter-class associations are often not taken into account. In this thesis, we develop two UML-like executable modeling notations based on Message Sequence Charts for parameterized validation of distributed reactive systems consisting of classes of interacting processes. We propose an abstract execution-semantics for these notations, use class-diagrams to specify binary interclass associations, and capture static and dynamic association links between objects. We also study automated test-generation techniques from our modeling notations.
Appears in Collections:Ph.D Theses (Open)

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
GoelA.pdf2.43 MBAdobe PDF



Page view(s)

checked on Dec 16, 2018


checked on Dec 16, 2018

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.