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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
Highly Cited
2006
Highly Cited
2006
In large software development organizations, increased complexity of products, shortened development cycles, and heightened… Expand
  • figure 1
Is this relevant?
Highly Cited
2005
Highly Cited
2005
syntax, 8 abstract transitive closure, 66 action node, 139, 209 Action Semantics by Mosses, 40 in UML, 41 Activity Diagram… Expand
  • table II
  • table II
  • figure 8
  • figure 14
  • figure 2-7
Is this relevant?
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
Is this relevant?
2003
2003
Correct component models for distributed, reactive systems are difficult to construct. Typically, the services provided by such… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
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
Is this relevant?
1996
1996
Action Semantics is a framework for the formal description of programming languages. Its main advantage over other frameworks is… Expand
  • table 3
Is this relevant?
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
Is this relevant?