Static Flow Analysis of the Action Language for Foundational UML.
Jean MalmFederico CiccozziJan GustafssonBjörn LisperJonas SkoogPublished 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