Title:
Discrete event system modeling using SysML and model transformation

Simple item page
dc.contributor.advisor McGinnis, Leon F.
dc.contributor.author Huang, Chien-Chung en_US
dc.contributor.committeeMember Alexopoulos, Christos
dc.contributor.committeeMember Goetschalckx, Marc
dc.contributor.committeeMember Paredis, Chris
dc.contributor.committeeMember Zhou, Chen
dc.contributor.department Industrial and Systems Engineering en_US
dc.date.accessioned 2013-01-17T21:46:34Z
dc.date.available 2013-01-17T21:46:34Z
dc.date.issued 2011-08-29 en_US
dc.description.abstract The objective of this dissertation is to introduce a unified framework for modeling and simulating discrete event logistics systems (DELS) by using a formal language, the System Modeling Language (SysML), for conceptual modeling and a corresponding methodology for translating the conceptual model into a simulation model. There are three parts in this research: plant modeling, control modeling, and simulation generation. Part 1:Plant Modeling of Discrete Event Logistics Systems. Contemporary DELS are complex and challenging to design. One challenge is to describe the system in a formal language. We propose a unified framework for modeling DELS using SysML. A SysML subset for plant modeling is identified in this research. We show that any system can be described by using the proposed subset if the system can be modeled using finite state machines or finite state automata. Furthermore, the system modeled by the proposed subset can avoid the state explosion problem, i.e., the number of the system states grows exponentially when the number of the components increases. We also compare this approach to other existing modeling languages. Part 2:Control Modeling of Discrete Event Logistics Systems. The development of contemporary manufacturing control systems is an extremely complex process. One approach for modeling control systems uses activity diagrams from SysML, providing a standard object-oriented graphical notation and enhancing reusability. However, SysML activity diagrams do not directly support the kind of analysis needed to verify the control model, such as might be available with a Petri net (PN) model. We show that a control model represented by UML/SysML activity diagrams can be transformed into an equivalent PN, so the analysis capability of PN can be used and the results applied back in the activity diagram model. We define a formal mathematical notation for activity diagrams, show the mapping rules between PN and activity diagrams, and propose a formal transformation algorithm. Part 3:Discrete Event Simulation Generation. The challenge of cost-effectively creating discrete event simulation models is well-known. One approach to alleviate this issue is to describe a system using a descriptive modeling language and then transform the system model to a simulation model. Some researchers have tried to realize this idea using a transformation script. However, most of the transformation approaches depend on a domain specific language, so extending the domain specific language may require modifying the transformation script. We propose a transformation approach from SysML to a simulation language. We show that a transformation script can be independent of the associated domain specific language if the domain specific language is implemented as domain libraries using a proposed SysML subset. In this case, both the domain library and the system model can be transformed to a target simulation language. We demonstrate a proof-of-concept example using AnyLogic as the target simulation language. en_US
dc.description.degree PhD en_US
dc.identifier.uri http://hdl.handle.net/1853/45830
dc.publisher Georgia Institute of Technology en_US
dc.subject Model transformation en_US
dc.subject SysML en_US
dc.subject Control modeling en_US
dc.subject Discrete event simulation en_US
dc.subject Discrete event logistic system en_US
dc.subject.lcsh Systems engineering
dc.subject.lcsh Simulation methods
dc.subject.lcsh Industrial engineering
dc.subject.lcsh Logistics Computer programs
dc.title Discrete event system modeling using SysML and model transformation en_US
dc.type Text
dc.type.genre Dissertation
dspace.entity.type Publication
local.contributor.advisor McGinnis, Leon F.
local.contributor.corporatename H. Milton Stewart School of Industrial and Systems Engineering
local.contributor.corporatename College of Engineering
relation.isAdvisorOfPublication 30930a5b-7e14-4844-9488-4c4e65f6fb7d
relation.isOrgUnitOfPublication 29ad75f0-242d-49a7-9b3d-0ac88893323c
relation.isOrgUnitOfPublication 7c022d60-21d5-497c-b552-95e489a06569
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Huang_ChienChung_201112_phd.pdf
Size:
2.57 MB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Theses and Dissertations