operational semantics

Also found in: Wikipedia

0.01 sec.

(theory)

operational semantics - A set of rules specifying how the state of an actual or hypothetical computer changes while executing a program. The overall state is typically divided into a number of components, e.g. stack, heap, registers etc. Each rule specifies certain preconditions on the contents of some components and their new contents after the application of the rule.

It is similar in spirit to the notion of a Turing machine, in which actions are precisely described in a mathematical way.

Compuare axiomatic semantics, denotational semantics.

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		References in periodicals archive	?		Encyclopedia browser	?		Full browser	?
No references found			Notion of term is presented as a mean for describing processes, axioms are given and operational semantics is assigned to process expressions (terms). APC semantics for Petri nets by Simonak, Slavomir; Hudak, Stefan; Korecko, Stefan / Informatica Other topics include operational semantics for real-time processes with action refinement, verification of an off-line checker for priority queues, control code obfuscation by abstract interpretation, an open source and XML-based platform for rigorous software development, and a synchronous process calculus for service costs. Software engineering and formal methods; proceedings by SciTech Book News WS-Policy provides the missing ingredient in WS-* that will enable interoperable configuration, discovery, and enforcement of advanced operational semantics, such as security, reliability, and transactions," explained Anne Thomas Manes, VP & Research Director at Burton Group. Layer 7 Technologies is First XML Gateway to Demonstrate WS-Policy ... by Business Wire			operation part operation process chart operation register Operation Time Operation Z Operation, Naval operational operational advantage operational amplifier operational analysis Operational Art Operational Axis Operational Calculus Operational Command Operational Condition operational database Operational Formation operational game operational label operational maintenance Operational Production Planning Operational Readiness Operational Records operational requirements Operational Rest operational semantics operational standby program operational test and evaluation operational testing operational unit operational weather limits Operationalism Operations Research operations sequence operations support technician operative operative ankylosis Operative-Search Actions Operator operator algebra Operator Control Language operator hierarchy operator interrupt operator overloading operator process chart operator productivity operator services operator subgoaling Operator Theory operator training operator utilization			operational route Operational Rules Model Operational Safeguards Response Evaluation Operational Safety Analysis Report Operational Safety Analysis/Assessment Operational Safety and Tactics Training Operational Safety Assessment Review Team Operational Safety Document Operational Safety Improvement Program Operational Safety Limit Operational Safety Requirement Operational Safety Requirement/Technical Safety Requirement Operational Safety Review Operational Safety Review Team Operational Safety Suitability and Effectiveness Operational Safety, Suitability and Effectiveness Operational Satcom Manager Operational Satellite Active Archive Operational Satellite Improvement Program Operational Satellite Uplink Operational Sea Training Operational security Operational security Operational Security Evaluation Operational Security Plan operational semantics Operational Sensor Data Record Operational Sequence and Information Flow Analysis Operational Sequence Diagram Operational Sequencing System Operational Service Bulletin Operational Service Medal Operational Services & Environment Description Operational Services Leadership Team Operational Services Switch Operational Sex Ratio Operational Significant Event Imagery Operational Site Certification Operational Site Layout Operational Situation Operational Software Components for Advanced Robotics Operational Space Environment Network Display Operational Space Planning and Analysis Combat Equipment Operational Space Services and Support Operational Specification Operational Specification Document Operational Standards for Supply Chain Excellence operational standby program Operational Standoff Range Operational State Transition Description

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.