Research on Behavior Modeling and Simulation of Complex UAV Based on SysML State Machine Diagram

2021 ◽  
pp. 401-409
Author(s):  
Yuanjie Lu ◽  
Zhimin Liu ◽  
Zhixiao Sun ◽  
Miao Wang ◽  
Wenqing Yi ◽  
...  
Keyword(s):  
Modeling And Simulation ◽  
State Machine ◽  
Behavior Modeling ◽  
State Machine Diagram

MODEL AND VERIFICATION OF WS-CDL BASED ON UML DIAGRAMS

2010 ◽  
Vol 20 (08) ◽  
pp. 1119-1149 ◽  
Author(s):  
PENGCHENG ZHANG ◽  
HENRY MUCCINI ◽  
YUELONG ZHU ◽  
BIXIN LI
Keyword(s):  
Unified Modeling Language ◽  
State Machine ◽  
Underlying Structure ◽  
Unified Modeling ◽  
Industry Standard ◽  
Modeling Analysis ◽  
Uml Class Diagram ◽  
Uml Diagrams ◽  
Uml Sequence Diagram ◽  
State Machine Diagram

The Web Services Choreography Description Language (WS-CDL) is a specification developed by the W3C and can be viewed as a blueprint for the development of end-point services. Consequently, it is worth providing a systematic approach for its modeling, analysis and verification. The Unified Modeling Language (UML) is an industry standard for modeling. Applying UML to model WS-CDL is obviously a promising solution to bring together academics and practitioners through a unique standard language. In this paper, we propose to use different UML diagrams to model WS-CDL. UML Component Diagram is used to model the underlying structure of WS-CDL. UML Sequence Diagram is utilized to model the activities in WS-CDL. UML State Machine Diagram is utilized to model the behaviors of each role participating in a WS-CDL specification. We then enrich the UML State Machine Diagram with data by the use of UML Class Diagram. Given the UML specification of WS-CDL, we then provide a systematic way of formally analyzing and verifying WS-CDL against desired properties. Some experiments show that our approach can verify structural, behavioral and data properties in a middle-scale data-enriched WS-CDL specification.

The State Machine Diagram

2015 ◽  
pp. 85-106
Author(s):  
Martina Seidl ◽  
Marion Scholz ◽  
Christian Huemer ◽  
Gerti Kappel
Keyword(s):  
State Machine ◽  
The State ◽  
State Machine Diagram

Behavior Modeling and Simulation of an Inertial Sensor

2017 ◽  
pp. 1-40
Author(s):  
Honglong Chang ◽  
Jianbing Xie ◽  
Ying Liu
Keyword(s):  
Modeling And Simulation ◽  
Inertial Sensor ◽  
Behavior Modeling

Regulation of a Class of Continuous Bioreactor under Switching Kinetic Behavior: Modeling and Simulation Approach

2015 ◽  
Vol 54 (4) ◽  
pp. 1326-1332
Author(s):  
Fernando A. Cuevas Ortiz ◽  
Pablo A. López-Pérez ◽  
Ricardo Femat ◽  
Gerardo Lara-Cisneros ◽  
Ricardo Aguilar-López
Keyword(s):  
Modeling And Simulation ◽  
Behavior Modeling ◽  
Simulation Approach ◽  
Kinetic Behavior ◽  
Continuous Bioreactor
Sign in / Sign up

Export Citation Format

Share Document