scholarly journals Secure State UML: Modeling and Testing Security Concerns of Software Systems Using UML State Machines

2014 ◽  
Vol 7 (18) ◽  
pp. 3786-3790
Author(s):  
S. Batool ◽  
S. Asghar
Keyword(s):  
Software Systems ◽  
State Machines ◽  
Uml Modeling ◽  
Uml State Machines ◽  
Security Concerns

scholarly journals Enhancing UML State Machines with Aspects

2007 ◽  
pp. 529-543 ◽  
Author(s):  
Gefei Zhang ◽  
Matthias Hölzl ◽  
Alexander Knapp
Keyword(s):  
State Machines ◽  
Uml State Machines

An Approach to UML Consistency Checking Based on Compositional Semantics

2017 ◽  
Vol 8 (2) ◽  
pp. 1-23
Author(s):  
Messaoudi Nabil ◽  
Allaoua Chaoui ◽  
Mohamed Bettaz
Keyword(s):  
Formal Semantics ◽  
Spin Model ◽  
Model Transformations ◽  
State Machines ◽  
Consistency Checking ◽  
Sequence Diagrams ◽  
Compositional Semantics ◽  
Uml Modeling ◽  
Verification Methods ◽  
Spin Model Checker

One of the ways to specify dynamic behavior in UML is to model interactions between objects with sequence diagrams, and model the behavior of each object with state machines. In this context, the problem of ensuring consistency between the sequence diagrams and state machines may arise. To verify consistency, the authors propose an approach based on compositions of Büchi automata which allow us to capture the evolution of each object among the lifeline. This paper focuses on UML modeling and verification methods and bridges the gap between theoretical studies on formal semantics and practical studies to implement languages through model transformations. The transformations include basic interactions, state invariants, strict and weak sequencing, and alternative interaction fragments. Ultimately, the results of the transformations are integrated into the Spin model checker as a never claim property. The authors use the Automatic Gate Controller Railway (AGCR) as an example to illustrate their approach.

Translation of UML state machines to Modelica: Handling semantic issues

SIMULATION ◽  
2013 ◽  
Vol 89 (4) ◽  
pp. 498-512 ◽  
Author(s):  
Wladimir Schamai ◽  
Peter Fritzson ◽  
Chris JJ Paredis
Keyword(s):  
State Machines ◽  
Uml State Machines

Formalization of UML state machines using temporal logic

2004 ◽  
Vol 3 (1) ◽  
pp. 31-54 ◽  
Author(s):  
Carlos Rossi ◽  
Manuel Enciso ◽  
Inmaculada P. de Guzmán
Keyword(s):  
Temporal Logic ◽  
State Machines ◽  
Uml State Machines

Modelling UML state machines with FoCaLiZe

2018 ◽  
Vol 13 (1) ◽  
pp. 34
Author(s):  
Choukri Bey Ben Yelles ◽  
Renaud Rioboo ◽  
Messaoud Abbas
Keyword(s):  
State Machines ◽  
Uml State Machines
Sign in / Sign up

Export Citation Format

Share Document