Skip to search formSkip to main contentSkip to account menu

Action language

In computer science, an action language is a language for specifying state transition systems, and is commonly used to create formal models of the… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
One of the main goals of model-driven engineering (MDE) is the manipulation of models as exclusive software artifacts. Model… 
2012
2012
Temporal logics can be used in reasoning about actions for specifying constraints on domain descriptions and temporal properties… 
2011
2011
Many multi-agent systems are naturally viewed as transition systems, in which the transitions between states are connected to the… 
2010
2010
In this paper we present a tool chain that aids in the construction of executable UML models according to the new Foundational… 
2009
2009
Recently, Ferraris, Lee and Lifschitz presented a general definition of a stable model that is similar to the definition of… 
2006
2006
Transformations play a central role in MDA. A desirable goal of MDA is to obtain the complete source code by model… 
2003
2003
In this article we present an object-oriented approach and a development environment for the system-level design of run-time… 
2002
2002
OCL expressions are an essential part of UML. The current versions of OCL fail to have a meta-model which means that the…