Modelling UML state machines with FoCaLiZe.
Messaoud AbbasChoukri-Bey Ben-YellesRenaud RiobooPublished in: Int. J. Inf. Commun. Technol. (2018)
Keyphrases
- state machines
- state machine
- sequence diagrams
- petri net
- fault tolerant
- finite state machines
- uml models
- uml profile
- activity diagrams
- class diagrams
- intermediate representation
- regression testing
- object oriented
- learning algorithm
- metamodel
- dependency graph
- matching algorithm
- test cases
- business processes
- supply chain
- artificial intelligence