Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela.

Georgiana Caltais Stefan Leue Hargurbir Singh

Published in: MODELSWARD (2020)

Keyphrases

state machine
computational model
probabilistic model
mathematical model
experimental data
probability distribution
databases
neural network
multi agent systems
management system
intelligent agents
petri net
transformation rules