An Executable UML with OCL-based Action Semantics Language

2007 ◽  
Author(s):  
Ke Jiang ◽  
Lei Zhang ◽  
Shigeru Miyake
Keyword(s):  
Action Semantics

Syntax, action verbs, action semantics, and object semantics in Parkinson's disease: Dissociability, progression, and executive influences

Cortex ◽  
2015 ◽  
Vol 69 ◽  
pp. 237-254 ◽  
Author(s):  
Yamile Bocanegra ◽  
Adolfo M. García ◽  
David Pineda ◽  
Omar Buriticá ◽  
Andrés Villegas ◽  
...  
Keyword(s):  
Parkinson’S Disease ◽  
Parkinson's Disease ◽  
Action Semantics ◽  
Action Verbs

Action semantics reasoning about functional programs

1997 ◽  
Vol 7 (5) ◽  
pp. 557-589 ◽  
Author(s):  
S. B. LASSEN
Keyword(s):  
Functional Programming ◽  
Action Theory ◽  
Specification Language ◽  
Process Theory ◽  
Theory Of Action ◽  
Functional Program ◽  
Action Semantics ◽  
Functional Part

This paper develops the functional part of a theory of action semantics for reasoning about programs. Action notation, the specification language of action semantics, is given an evaluation semantics, and operational techniques from process theory and functional programming are applied in the development of a versatile action theory. The power of the theory is demonstrated by means of action semantic proofs of functional program equivalences.

scholarly journals Constructive Action Semantics for Core ML

2004 ◽  
Vol 11 (37) ◽  
Author(s):  
Jørgen Iversen ◽  
Peter D. Mosses
Keyword(s):  
Programming Languages ◽  
Tool Support ◽  
Semantic Description ◽  
Action Semantics ◽  
Language Constructs ◽  
Description Framework ◽  
The Individual ◽  
Language Construct ◽  
Language Description

Usually, the majority of language constructs found in a programming language can also be found in many other languages, because language design is based on reuse. This should be reflected in the way we give semantics to programming languages. It can be achieved by making a language description consist of a collection of modules, each defining a single language construct. The description of a single language construct should be language independent, so that it can be reused in other descriptions without any changes. We call a language description framework ``constructive'' when it supports independent description of individual constructs.<br /> <br />We present a case study in constructive semantic description. The case study is a description of Core ML, consisting of a mapping from it to BAS (Basic Abstract Syntax) and action semantic descriptions of the individual BAS constructs. The latter are written in ASDF (Action Semantics Definition Formalism), a formalism specially designed for writing action semantic descriptions of single language constructs. Tool support is provided by the ASF+SDF Meta-Environment and by the Action Environment, which is a new extension of the ASF+SDF Meta-Environment.

Analysis and Resolution of Semantic Ambiguity of Toggle Buttons by Standardizing the Design in Software GUI and Mobile Apps

2017 ◽  
Vol 8 (2) ◽  
pp. 1-18
Author(s):  
Hongyu Guo ◽  
Amjad Nusayr ◽  
Wen-Chen Hu
Keyword(s):  
Mobile Devices ◽  
Current Practice ◽  
Mobile Apps ◽  
Mobile App ◽  
Semantic Ambiguity ◽  
Design Standards ◽  
Action Semantics

Toggle buttons are intuitive gadgets widely used in software GUI design and mobile app interfaces with increasing popularity on mobile devices. However, the current practice of toggle button design is prone to semantic ambiguity, which causes confusions to the users. This paper presents an analysis of the various paradigms of toggle button design in the current practice and provides a resolution of the sematic ambiguities by proposing a set of design standards regarding toggle buttons. State semantics and action semantics are distinguished and it is advocated that state semantics should be used in lieu of action semantics.

scholarly journals Using UML Action Semantics for Executable Modeling and Beyond

2001 ◽  
pp. 433-447 ◽  
Author(s):  
Gerson Sunyé ◽  
François Pennaneac’h ◽  
Wai-Ming Ho ◽  
Alain Le Guennec ◽  
Jean-Marc Jézéquel
Keyword(s):  
Action Semantics
Sign in / Sign up

Export Citation Format

Share Document