Extended algebraic state-transition diagrams - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Extended algebraic state-transition diagrams

Résumé

Algebraic State-Transition Diagrams (ASTDs) are extensions of common automata and statecharts that can be combined with process algebra operators like sequence, choice, guard and quantified synchronization. They were previously introduced for the graphical representation, specification and proof of information systems. In an attempt to use ASTDs to specify cyber attack detection, we have identified a number of missing features in ASTDs. This paper extends the ASTD notation with state variables (attributes), actions on transitions, and a new operator called flow which corresponds to AND states in statecharts and is a compromise between interleaving and synchronization in process algebras. We provide a formal structured operational semantics of these extensions and illustrate its implementation in an OCaml-based interpreter called iASTD and the model checker ProB. Extended ASTDs are illustrated in a case study in cyber attack detection
Fichier non déposé

Dates et versions

hal-01963140 , version 1 (21-12-2018)

Identifiants

Citer

Lionel Tidjon, Marc Frappier, Michael Leuschel, Amel Mammar. Extended algebraic state-transition diagrams. ICECCS 2018: 23rd International Conference on Engineering of Complex Computer Systems, Dec 2018, Melbourne, Australia. pp.146 - 155, ⟨10.1109/ICECCS2018.2018.00023⟩. ⟨hal-01963140⟩
82 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More