Work

Consistency Verification between State Machine Diagram Model and Sequence Diagram Model Based on Hybrid Step-Size Simulation

Year: 2024

Type: conference-paper

Abstract: Verifying consistency between behavior diagram models before actual software development can identify flaws in system design at an early stage. This paper uses simulation to verify the consistency between the state machine diagram model and the sequence diagram model. It proposes a hybrid step-size simulation algorithm that combines fixed-time steps and event-driven methods. The simulation results using an elevator system example show that this method can effectively detect the inconsistency between the two diagram models.

Source: International Conference on Computational Modeling, Simulation and Data Analysis (CMSDA)

DOI: 10.1145/3727993.3728090

Authors: Zhijing Xu, Fengli Sun, Wei Zhang

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

OpenAlex ID: W4410739591

FWCI:

Cites: 6

Cited by:

Related to: 10