Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,975,906 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.
2018
2018
An evaluation of Papyrus-RT for solving the leader-follower challenge problem
Karim Jahed
ACM/IEEE International Conference on Model Driven…
2018
Corpus ID: 53426632
We discuss and evaluate the use of Papyrus-RT modeling environment to solve the leader-follower challenge problem. We present a…
Expand
2013
2013
An Approach to Automated Verification of Multi-Level Security System Models
Andrzej Stasiak
,
Z. Zieliński
International Conference on Dependability of…
2013
Corpus ID: 14667626
In the paper the approach to the multi-level security (MLS) system models verification is presented. In the work the MlsML…
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
2011
2011
Transformation of aspect-oriented requirements specifications for reactive systems into aspect-oriented design specifications
G. Mussbacher
,
J. Kienzle
,
Daniel Amyot
Model-Driven Requirements Engineering Workshop
2011
Corpus ID: 1194090
Model-driven engineering (MDE) promises faster and more reliable software development processes. A key factor of MDE is the…
Expand
2011
2011
The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems
Thomas Eiter
,
Michael Fink
,
Giovambattista Ianni
,
P. Schüller
INAP/WLP
2011
Corpus ID: 874912
Multi-context systems are a declarative formalism for interlinking knowledge-based systems (contexts) that interact via (possibly…
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
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
2004
2004
Improving Pattern Support in UML CASE Tools
Samir Ammour
,
Xavier Blanc
,
M. Ziane
,
P. Desfray
2004
Corpus ID: 15372371
In this paper we improve the UML2.0 Collaboration Templates mechanism to better support patterns in UML CASE tools. Collaboration…
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
Keith 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