DeepAI AI Chat
Log In Sign Up

Structure-Behavior Coalescence Process Algebra – Toward a Unified View of the System in Model-Based Systems Engineering

11/09/2021
by   William S. Chao, et al.
0

In Model-Based Systems Engineering (MBSE), the Systems Modeling Language (SysML) specification includes a metamodel that defines the language concepts and a user model that defines how the language concepts are represented. In SysML, an important use of metamodel is to provide an integrated semantic framework that every diagram in the user model can be projected as a view of the metamodel. However, most existing SysML metamodels lack such capability of being a basis for unification of different views of a system. To overcome the shortcomings of the current SysML metamodel approaches, we developed Channel-Based Multi-Queue Structure-Behavior Coalescence Process Algebra (C-M-SBC-PA), which provides an integrated semantic framework that is able to integrate structural constructs with behavioral constructs. Using C-M-SBC-PA as the metamodel of SysML, each diagram in the user model can be projected as a view of the C-M-SBC-PA metamodel.

READ FULL TEXT

page 1

page 2

page 3

page 4

12/02/2007

View Based Methods can achieve Bayes-Optimal 3D Recognition

This paper proves that visual object recognition systems using only 2D E...
10/15/2020

Design Ontology Supporting Model-based Systems-engineering Formalisms

Model-based systems engineering (MBSE) provides an important capability ...
01/14/2021

A Tensor-Based Formulation of Hetero-functional Graph Theory

Recently, hetero-functional graph theory (HFGT) has developed as a means...
04/05/2023

Redrafting Requirements Modeling Using a Single Multilevel Diagram

The complexity of software-based systems has increased significantly, es...
12/23/2020

Formal modeling and performance evaluation for hybrid systems:a probabilistic hybrid process algebra-based approach

Probabilistic behavior is omnipresent in computer controlled systems, in...
09/04/2019

Formal Methods and Event Notification Systems in Mobile Computing Environment

In this report, we have explored the issues associated with the specific...