Research on consistency checking method of UML model in embedded system

To solve the problem of consistency checking of UML model in embedded system, the model consistency was analyzed. The executable UML was put forward which was an enhanced subset of UML. The state-event table was used to express the system model from model's transformation. And the model's...

Full description

Saved in:
Bibliographic Details
Main Authors: Weijie Gu, Jishui Wang, Erying Shi, Yuexia Qian
Format: Conference Proceeding
Language:chi ; eng
Subjects:
Consistency checking
Executable UML
Light emitting diodes
State-event table
Unified modeling language
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:To solve the problem of consistency checking of UML model in embedded system, the model consistency was analyzed. The executable UML was put forward which was an enhanced subset of UML. The state-event table was used to express the system model from model's transformation. And the model's consistency checking was come true by dynamic emulation. Finally, a case was presented to verify the feasibility of this method.
DOI:10.1109/FITME.2010.5654698