On the automated translational execution of the action language for foundational UML.

Federico Ciccozzi

Published in: Softw. Syst. Model. (2018)

Keyphrases

action language
description language
reasoning about actions
action descriptions
software architecture
object oriented
software engineering
answer set programming
concurrent actions
software systems
multi agent
metamodel
open source
situation calculus
modeling language
testing process