Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Enabled by Service-Oriented Architecture (SOA), recently Software as a Service (SaaS) and Cloud computing are gaining momentum in… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 6
  • figure 4
2008
2008
  • P. Mosses
  • BCS Int. Acad. Conf.
  • 2008
  • Corpus ID: 218545
Research in formal description of programming languages over the past four decades has led to some significant achievements… Expand
2007
2007
Learning from texts is a noble but distant research goal. We investigate the practicality of a more modest enterprise in which… Expand
  • figure 1
  • figure 2
  • figure 3
Highly Cited
2006
Highly Cited
2006
In large software development organizations, increased complexity of products, shortened development cycles, and heightened… Expand
  • figure 1
2005
2005
Many statechart-based testing strategies result in specifying a set of paths to be executed through a (flattened) statechart… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2004
2004
With the specifiaction of Action Semantics in UML 1.5, the OMG has layed ground to manipulating object diagrams in a formal way… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2001
Highly Cited
2001
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1996
Highly Cited
1996
Action Semantics is a framework for the formal description of programming languages. Its main advantage over other frameworks is… Expand
  • table 3
Highly Cited
1992
Highly Cited
1992
We report progress on the development of Actress, a compiler generator based on action semantics. It consists of a number of… Expand
Highly Cited
1986
Highly Cited
1986
A distinguishing characteristic of action semantics is its facet system, which defines the variety of information flows in a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5