Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,215,479 papers from all fields of science
Search
Sign In
Create Free Account
Action semantics
Known as:
Action-Semantic Description
Action semantics is a framework for the formal specification of semantics of programming languages invented by David Watt and Peter D. Mosses in the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Algebraic semantics (computer science)
David Watt (computer scientist)
Denotational semantics
Formal specification
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
A Semi-supervised Human Action Recognition Algorithm Based on Skeleton Feature
Hejin Yuan
J. Inf. Hiding Multim. Signal Process.
2015
Corpus ID: 8108988
. A semi-supervised human action recognition algorithm using skeleton feature is put forward in this paper. In the method, the…
Expand
2010
2010
MDA Implementation Based on Patterns and Action Semantics
Fang Cheng
Third International Conference on Information and…
2010
Corpus ID: 18462298
MDA (Model Driven Architecture) provides a specification independent of programming languages, middleware platforms and vendor…
Expand
2008
2008
A Concrete Syntax for UML 2.1 Action Semantics Using +CAL
I. Perseil
,
L. Pautet
IEEE International Conference on Engineering of…
2008
Corpus ID: 386840
Since UML 1.4 (the Unified Modeling Language, version 1.4), executable UML relies on the Precise Action Semantics for UML. The…
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
2004
2004
Mapping UML into Abstract State Machines: A Framework to Simulate UML Models
A. Cavarra
,
E. Riccobene
,
P. Scandurra
Stud. Inform. Univ.
2004
Corpus ID: 16461823
The paper presents a simulation framework for UML models based upon a mapping schema of UML metamodel elements into Abstract…
Expand
2004
2004
LFL: a library of generic classes for object-oriented action semantics
Marcelo Araújo
,
M. Musicante
XXIV International Conference of the Chilean…
2004
Corpus ID: 17278103
We introduce LFL (language features library), a library composed by generic specification classes written in object-oriented…
Expand
2004
2004
From MDA Platform-Specific Model to Code Generation: Coupling of RM-ODP and UML Action Semantics Standards
Reda Bendraou
,
S. Bouzitouna
,
M. Gervais
Software Engineering Research and Practice
2004
Corpus ID: 18166146
Model Driven Architecture (MDA) defined by Object Management Group (OMG) in 2000 promotes the model engineering in order to…
Expand
1998
1998
Formalization of the CA Action Concept Based on Temporal Logic
D. Schwier
,
F. V. von Henke
,
Jian-Li Xu
,
R. Stroud
,
A. Romanovsky
,
B. Randell
1998
Corpus ID: 16124279
This paper presents a formalization of CA actions based on temporal logic. CA actions are a structuring technique for the…
Expand
1994
1994
Sort Inference in the ACTRESS Compiler Generator
D. Brown
,
D. Watt
1994
Corpus ID: 18422682
Actress accepts the action-semantic description of a source language, and from it generates a compiler. The generated compiler…
Expand
1986
1986
The Potential Use of Action Semantics in Standards
Peter D. Mosses
,
D. Watt
1986
Corpus ID: 57333955
Current standards for programming languages generally use informal, rather than formal, semantic descriptions. Possible reasons…
Expand