Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,067,454 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
2012
2012
An Action Language for Reasoning about Beliefs in Multi-Agent Domains
Chitta Baral
,
G. Gelfond
,
Tran Cao Son
2012
Corpus ID: 18993047
The paper presents a novel action language for multiagent domains, mA+ , which generalizes action languages to multi-agent…
Expand
2011
2011
The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems
Thomas Eiter
,
Michael Fink
,
Giovambattista Ianni
,
Peter 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
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
2010
2010
Tool Support for fUML Models
Codrut-Lucian Lazar
,
I. Lazar
,
B. Pârv
,
S. Motogna
,
Gergely Istvan 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
2008
2008
Formal Action Semantics for a UML Action Language
Mikai Yang
,
G. Michaelson
,
R. Pooley
Journal of universal computer science (Online)
2008
Corpus ID: 6242487
The abstract syntax and static semantics of UML, the widely-used general- purpose graphical modeling language, have been…
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
1979
1979
Critique of concepts and therapy in the action language approach to psychoanalysis.
Meissner Ww
1979
Corpus ID: 148510007
Critical evaluation is made of the attempts to reformulate basic psychoanalytic concepts in terms of a theory of action language…
Expand