scholarly journals Analysis of Power Consumption for Embedded Software using UML State Machine Diagram

2012 ◽  
Vol 19D (4) ◽  
pp. 281-292
Author(s):  
Jae-Wuk Lee ◽  
Jang-Eui Hong
Keyword(s):  
Power Consumption ◽  
Embedded Software ◽  
State Machine ◽  
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.

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

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

An Automated Power Emulation Framework for Embedded Software—Detecting Power-Critical Code Regions and Optimizing Software-Induced Power Consumption Peaks

2011 ◽  
Vol 7 (2) ◽  
pp. 255-264
Author(s):  
Christian Bachmann ◽  
Andreas Genser ◽  
Christian Steger ◽  
Reinhold Weiß ◽  
Josef Haid
Keyword(s):  
Power Consumption ◽  
Embedded Software ◽  
Power Emulation
Sign in / Sign up

Export Citation Format

Share Document