Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/16287
Title: Parameterized validation of UML-Like models for reactive embedded systems
Authors: ANKIT GOEL
Keywords: Requirements Modeling, Unified Modeling Language (UML), Abstract Execution, Parameterized Validation, Model-based Testing, Message Sequence Charts
Issue Date: 19-Jun-2009
Source: 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.
URI: http://scholarbank.nus.edu.sg/handle/10635/16287
Appears in Collections:Ph.D Theses (Open)

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

OPEN

NoneView/Download

Page view(s)

205
checked on Dec 11, 2017

Download(s)

255
checked on Dec 11, 2017

Google ScholarTM

Check


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