Towards Translational Execution of Action Language for Foundational UML.
Federico CiccozziAntonio CicchettiMikael SjödinPublished in: EUROMICRO-SEAA (2013)
Keyphrases
- action language
- description language
- reasoning about actions
- action descriptions
- software architecture
- testing process
- concurrent actions
- metamodel
- software systems
- object oriented
- software engineering
- action theories
- situation calculus
- web services
- modeling language
- answer set programming
- machine learning
- orders of magnitude
- sufficient conditions
- database systems