Missouri S&T Scholar's Mine Research RepositoryMissouri S&T Research
print 
Title: Executable system architecting using SysML in conjunction with Colored Petri Nets
Author (s): Wang, Renzhong
Dagli, Cihan H.
Department/Lab Affiliations: Engineering Management & Systems Engineering
Smart Engineering Systems Lab
Keywords: architectural modeling
architectural models
systems modeling language
Issue Date: 2008-04
Publisher: Unknown Publisher
Citation: Wang, R. and Dagli, C.H. Executable System Architecting Using SysML in Conjunction with Colored Petri Nets. Conference on Systems Engineering Research CSER 2008, Paper 210, (April 2008).
Abstract: This paper describes the development of a methodology that introduces dynamic model analysis into SysML modeling by mapping SysML notations to Colored Petri Net (CPN). A set of tools have been studied and integrated to create a structured architecture design process. Some basic principles of executable system architecting are discussed, which guide the process of executable architecture specification and analysis. Dynamic analysis of these models facilitates the investigation of system wide properties of the proposed system, which in turn provides a basis for system refinement. This methodology is aimed at general system design. Its feasibility was demonstrated with a C4ISR type of network centric system as an example. The simulation results helped to check the overall integrity and internal consistency of the architecture model, refine the architecture design, and finally verify the behavior and functionality of the system being modeled.
Type: Article - Conference proceedings
text
In Title: Conference on Systems Engineering Research CSER 2008
Copyright Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Publisher and copyright holder unknown, no full text allowed.
FULL COPYRIGHT INFORMATION:
http://scholarsmine.mst.edu/about/institutional_repository/copyright.html
Link to this page:
http://scholarsmine.mst.edu/post_prints/ExecutableSystemArchitectingUsingSystemModeli_09007dcc805e7f37.html
URL:
http://cser.lboro.ac.uk/CSER08/pdfs/Paper%20210.pdf



titleExecutable system architecting using SysML in conjunction with Colored Petri Nets
contributor.authorWang, Renzhong
contributor.authorDagli, Cihan H.
contributor.deptlabEngineering Management & Systems Engineering
contributor.deptlabSmart Engineering Systems Lab
subjectarchitectural modeling
subjectarchitectural models
subjectsystems modeling language
date.issued2008-04
publisherUnknown Publisher
identifier.URI
http://cser.lboro.ac.uk/CSER08/pdfs/Paper%20210.pdf
identifier.citationWang, R. and Dagli, C.H. Executable System Architecting Using SysML in Conjunction with Colored Petri Nets. Conference on Systems Engineering Research CSER 2008, Paper 210, (April 2008).
description.abstractThis paper describes the development of a methodology that introduces dynamic model analysis into SysML modeling by mapping SysML notations to Colored Petri Net (CPN). A set of tools have been studied and integrated to create a structured architecture design process. Some basic principles of executable system architecting are discussed, which guide the process of executable architecture specification and analysis. Dynamic analysis of these models facilitates the investigation of system wide properties of the proposed system, which in turn provides a basis for system refinement. This methodology is aimed at general system design. Its feasibility was demonstrated with a C4ISR type of network centric system as an example. The simulation results helped to check the overall integrity and internal consistency of the architecture model, refine the architecture design, and finally verify the behavior and functionality of the system being modeled.
typeArticle - Conference proceedings
type.DCMITypetext
relation.isPartOfConference on Systems Engineering Research CSER 2008
rightsThis material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
rightsPublisher and copyright holder unknown, no full text allowed.
rights.URI
http://scholarsmine.mst.edu/about/institutional_repository/copyright.html
date.available2009-01-20T20:08:27Z
identifier.persist.URI
http://scholarsmine.mst.edu/post_prints/ExecutableSystemArchitectingUsingSystemModeli_09007dcc805e7f37.html