Results 1 to 10 of about 241,667 (307)
Some of the next articles are maybe not open access.
1994
We designed Procope as a computational architecture system to model users’ Knowledge through semantic networks of action (S.N.O.A.) and to simulate with the computer the carrying out of tasks issued of varied S.N.O.A. where hierarchies of classes of objects are built using applied goals as properties of objects.
Charles Tijus, Sébastien Poitrenaud
openaire +2 more sources
We designed Procope as a computational architecture system to model users’ Knowledge through semantic networks of action (S.N.O.A.) and to simulate with the computer the carrying out of tasks issued of varied S.N.O.A. where hierarchies of classes of objects are built using applied goals as properties of objects.
Charles Tijus, Sébastien Poitrenaud
openaire +2 more sources
1992
Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its comprehensibility and accessibility, and especially in the usefulness ...
openaire +2 more sources
Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its comprehensibility and accessibility, and especially in the usefulness ...
openaire +2 more sources
Declarative Semantics of Actions and Instructions
2020A complete information modeling method must address both the process- and data-perspectives, preferably in an integrated manner (i.e., also specifying which state change each process should achieve exactly). However, most approaches either emphasize only data or only processes.
openaire +2 more sources
The Semantics of the OCL Action Clause
2002The proposal for the 2.0 version of the UML's Object Constraint Language provides the modeller of object-oriented systems with a way to express the fact that a signal has been send, or an operation has been called. This type of expression is called an Action Clause.
Jos Warmer, Anneke Kleppe
openaire +2 more sources
About Semantic Action Refinement
Fundamenta Informaticae, 1991A notion of semantic action refinement is defined both on Synchronization Trees and on Causal Trees, a class of trees recently devised for giving a full account to causality [DD89]. The branching bisimulation, as introduced in [GW89a], is shown to be preserved under semantic action refinement.
Pierpaolo Degano, Philippe Darondeau
openaire +2 more sources
Toward precise semantics of actions
2017 Winter Simulation Conference (WSC), 2017Action is the fundamental unit of behavioral specification in models. We propose the use of Discrete EVent System Specification (the DEVS formalism) to specify the semantics of actions. Then, coupling is used to form different kinds of behavioral models.
openaire +2 more sources
An implementation of action semantics (Summary) [PDF]
, 2006 Action semantics is a formalism for the definition of programming languages. We present an interpreter for actions, which are the meanings of programs in action semantics. The interpreter shows a clear picture of an action's behaviour. We also describe how an interpreter for a language L can automatically be derived from its action semantic definition.
openaire +1 more source
Deontic Logic of Action: Semantics
1995The semantics of DLA is of a game-theoretic nature. We shall present this game-theoretic framework in a rigorous manner in chapter 3*. In this chapter we describe it more informally. The central notion in the semantics of DLA is that of a model structure.
openaire +2 more sources
An action semantics of standard ML
1988Action semantics is a form of denotational semantics that is based on abstract semantic algebras rather than Scott domains and λ-notation. It allows formal descriptions of programming languages to be written that are unusually readable and modular. This paper presents an action-semantic description of Standard ML, as evidence for the claimed merits of ...
openaire +2 more sources