Please use this identifier to cite or link to this item:
https://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 | 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. | 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 | Size | Format | Access Settings | Version | |
---|---|---|---|---|---|---|
GoelA.pdf | 2.43 MB | Adobe PDF | OPEN | None | View/Download |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.