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… 
2012
2012
Given the challenges of testing at the system level, only a fully automated approach can really scale up to industrial real-time… 
2010
2010
In this paper we present a tool chain that aids in the construction of executable UML models according to the new Foundational… 
2006
2006
Transformations play a central role in MDA. A desirable goal of MDA is to obtain the complete source code by model… 
2004
2004
RDF is becoming a core technology in the Semantic Web. Providing the ability to describe metadata information that can be easily… 
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… 
2002
2002
This paper presents DPADL (Data Processing Action Description Language), a language for describing planning domains that involve… 
1997
1997
Some of the recent work on representing action makes use of high-level action languages. In this paper we show that an action…