Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,197,190 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.
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
Review
2008
Review
2008
Overview of the Project ODRA
R. Adamus
,
P. Habela
,
+7 authors
J. Wislicki
International Conference on Objects and Databases
2008
Corpus ID: 5227795
ODRA (Object Database for Rapid Application development) is an objectoriented database management system provided as an…
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
OCL as Expression Language in an Action Semantics Surface Language
S. Haustein
,
Jörg Pleumann
2004
Corpus ID: 59964620
With the specifiaction of Action Semantics in UML 1.5, the OMG has layed ground to manipulating object diagrams in a formal way…
Expand
2004
2004
On the Expressive Power of Extended Process Rewrite Systems
M. Kretínský
,
V. Rehák
,
J. Strejček
2004
Corpus ID: 7489511
We provide a unified view on three extensions of Process rewrite systems (PRS) and compare their and PRS's expressive power. We…
Expand
2000
2000
Strengthening the Semantics of UML Collaboration Diagrams ?
R. Heckel
,
Stefan Sauer
2000
Corpus ID: 11960232
Collaboration diagrams are strengthened by interpreting collaborations as visual queries for specifying pre and postconditions of…
Expand
1998
1998
Semantics, modularity, and rewriting logic
Peter D. Mosses
Workshop on Rewriting Logic and Its Applications
1998
Corpus ID: 9703756
1994
1994
Action Transformations in the ACTRESS Compiler Generator
H. Moura
,
D. Watt
International Conference on Compiler Construction
1994
Corpus ID: 17343348
Given the action-semantic description of a source language, Actress generates a compiler. The generated compiler translates its…
Expand
Highly Cited
1986
Highly Cited
1986
The use of action semantics
Peter D. Mosses
,
D. Watt
Formal Description of Programming Concepts
1986
Corpus ID: 57760278
Formal descriptions of semantics have so far failed to match the acceptance and popularity of formal descriptions of syntax. Thus…
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