Masters Theses

Renzhong Wang

Keywords and Phrases

Systems Modeling Language (SysML)

Abstract

"Models and simulation furnish abstractions to manage complexities allowing engineers to visualize the proposed system and to analyze and validate system behavior before constructing it. Unified Modeling Language (UML) and its systems engineering extension, Systems Modeling Language (SysML), provide a rich set of diagrams for systems specification. However, the lack of executable semantics of such notations limits the capability of analyzing and verifying defined specifications. This research has developed an executable system architecting framework based on SysML-CPN transformation, which introduces dynamic model analysis into SysML modeling by mapping SysML notations to Colored Petri Net (CPN), a graphical language for system design, specification, simulation, and verification. A graphic user interface was also integrated into the CPN model to enhance the model-based simulation. A set of methodologies has been developed to achieve this framework. The aim is to investigate system wide properties of the proposed system, which in turn provides a basis for system reconfiguration"--Abstract, page iii.

Advisor(s)

Dagli, Cihan H., 1949-

Committee Member(s)

Grasman, Scott E. (Scott Erwin)
Enke, David Lee, 1965-

Department(s)

Engineering Management and Systems Engineering

Degree Name

M.S. in Systems Engineering

Publisher

University of Missouri--Rolla

Publication Date

Summer 2007

Pagination

x, 210 pages

Note about bibliography

Includes bibliographical references.

Rights

© 2007 Renzhong Wang, All rights reserved.

Document Type

Thesis - Open Access

File Type

text

Language

English

Subject Headings

Computer architecture
Netcentric computing
Petri nets
Systems engineering

Thesis Number

T 9241

Print OCLC #

233637841

Electronic OCLC #

182622063

Download

Share

 
COinS