Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 229,649,864 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Action description language
Action model learning
Answer set programming
Artificial intelligence
Expand
Broader (1)
Automated planning and scheduling
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
A history based approximate epistemic action theory for efficient postdictive reasoning
Manfred Eppe
,
M. Bhatt
Journal of Applied Logic
2015
Corpus ID: 4657511
2015
2015
Foundations of a Multi-Paradigm Modelling Tool
Yentl Van Tendeloo
SRC@MoDELS
2015
Corpus ID: 5670540
None of the current plethora of meta-modelling tools includes a complete, explicit model of themselves. Such a model, a precise…
Expand
2013
2013
Characterization of Adaptable Interpreted-DSML
Eric Cariou
,
Olivier Le Goaër
,
F. Barbier
,
Samson Pierre
European Conference on Modelling Foundations and…
2013
Corpus ID: 2712679
One of the main goals of model-driven engineering (MDE) is the manipulation of models as exclusive software artifacts. Model…
Expand
2012
2012
Achieving Completeness in Bounded Model Checking of Action Theories in ASP
Laura Giordano
,
A. Martelli
,
D. T. Dupré
International Conference on Principles of…
2012
Corpus ID: 4615566
Temporal logics can be used in reasoning about actions for specifying constraints on domain descriptions and temporal properties…
Expand
2012
2012
Code generation from UML / MARTE / OCL Environment Models to Support Automated System Testing of Real-Time Embedded Software
Zohaib IQBALa
,
Andrea Arcuri
,
L. Briand
2012
Corpus ID: 42654382
Given the challenges of testing at the system level, only a fully automated approach can really scale up to industrial real-time…
Expand
2010
2010
Tool Support for fUML Models
Codrut-Lucian Lazar
,
I. Lazar
,
B. Pârv
,
S. Motogna
,
I. Czibula
International Journal of Computers Communications…
2010
Corpus ID: 54806774
In this paper we present a tool chain that aids in the construction of executable UML models according to the new Foundational…
Expand
2006
2006
Integration of an Action Language Via UML Action Semantics
Claudius Heitz
,
Peter Thiemann
,
Thomas Wölfle
Trends in Enterprise Application Architecture
2006
Corpus ID: 10533582
Transformations play a central role in MDA. A desirable goal of MDA is to obtain the complete source code by model…
Expand
2004
2004
RDFTL : An Event-Condition-Action Language for RDF
G. Papamarkos
,
A. Poulovassilis
,
P. Wood
2004
Corpus ID: 195590487
RDF is becoming a core technology in the Semantic Web. Providing the ability to describe metadata information that can be easily…
Expand
2002
2002
Defining OCL expressions using templates.
J. Willans
,
P. Sammut
,
Girish Maskeri
,
A. Evans
,
A. Clark
2002
Corpus ID: 1290601
OCL expressions are an essential part of UML. The current versions of OCL fail to have a meta-model which means that the…
Expand
2002
2002
DPADL: An Action Language for Data Processing Domains
K. Golden
,
D. Clancy
2002
Corpus ID: 14294143
This paper presents DPADL (Data Processing Action Description Language), a language for describing planning domains that involve…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE