File:Examination of modeling languages to allow quantitative analysis for model-based systems engineering (IA examinationofmod1094542695).pdf

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
Go to page
next page →
next page →
next page →

Original file(1,275 × 1,650 pixels, file size: 1.16 MB, MIME type: application/pdf, 72 pages)

Captions

Captions

Add a one-line explanation of what this file represents

Summary

[edit]
Examination of modeling languages to allow quantitative analysis for model-based systems engineering   (Wikidata search (Cirrus search) Wikidata query (SPARQL)  Create new Wikidata item based on this file)
Author
Nutting, Joseph W.
image of artwork listed in title parameter on this page
Title
Examination of modeling languages to allow quantitative analysis for model-based systems engineering
Publisher
Monterey, California. Naval Postgraduate School
Description

Model-based systems engineering (MBSE) needs a formal language, one defined with explicit rules between its elements, in order to support the use of formal modeling in systems engineering. This thesis examines desirable features in the context of quantitative modeling for systems engineering modeling language. Object Management Group’s UML and SysML and Vitech’s System Definition Language are then analyzed in terms of these features. The first important feature is the capability for interoperability between different MBSE tools combined with the ability to integrate the use of specialty tools to interact with and manipulate the system model. Flexibility is necessary in describing and defining entities in the system modeling language. This allows supporting project specific concerns in the system semantics, making MBSE tool support simpler. Finally, support for non-fixed value properties for entities, particularly random variables, is essential to representing system behavior. Existing system modeling languages have shortcomings that should be addressed to improve the conduct of MBSE. Random variables are inconsistently supported. Behavior modeling allows intermingling event timelines for different entities, preventing automated analysis of possible event sequences. Finally, support of parametric modeling is not universal, and the semantics for the use of black box entities to represent external analysis is ad-hoc.


Subjects: MBSE; UML; SysML; Modeling Languages; Systems Engineering
Language English
Publication date June 2014
Current location
IA Collections: navalpostgraduateschoollibrary; fedlink
Accession number
examinationofmod1094542695
Source
Internet Archive identifier: examinationofmod1094542695
https://archive.org/download/examinationofmod1094542695/examinationofmod1094542695.pdf
Permission
(Reusing this file)
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.

Licensing

[edit]
Public domain
This work is in the public domain in the United States because it is a work prepared by an officer or employee of the United States Government as part of that person’s official duties under the terms of Title 17, Chapter 1, Section 105 of the US Code. Note: This only applies to original works of the Federal Government and not to the work of any individual U.S. state, territory, commonwealth, county, municipality, or any other subdivision. This template also does not apply to postage stamp designs published by the United States Postal Service since 1978. (See § 313.6(C)(1) of Compendium of U.S. Copyright Office Practices). It also does not apply to certain US coins; see The US Mint Terms of Use.

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current06:40, 20 July 2020Thumbnail for version as of 06:40, 20 July 20201,275 × 1,650, 72 pages (1.16 MB) (talk | contribs)FEDLINK - United States Federal Collection examinationofmod1094542695 (User talk:Fæ/IA books#Fork8) (batch 1993-2020 #15755)

Metadata