Static Flow Analysis of the Action Language for Foundational UML.

Jean Malm Federico Ciccozzi Jan Gustafsson Björn Lisper Jonas Skoog

Published in: ETFA (2018)

Keyphrases

flow analysis
action language
description language
information flow
reasoning about actions

action descriptions
forensic analysis
concurrent actions
answer set programming
software engineering

action theories
object oriented
software architecture
modeling language
software systems

software development
metamodel
reinforcement learning
domain description