Temporal logic of actions

Temporal logic of actions

Temporal logic of actions (TLA) is a logic developed by Leslie Lamport, which combines temporal logic with a logic of actions.It is used to describe behaviours of concurrent systems.

Statements in temporal logic of the form [A] _t, where "A" is an action and "t" contains a subset of the variables appearing in "A". An action is an expression containing primed and non-primed variables, such as x+x'*y=y'. The meaning of the non-primed variables is "the variable's value in this state". The meaning of primed variables is "the variable's value in the next state".The above expression means the value of "x" "now", plus the value of "x" "tomorrow" times the value of y "now", equals the value of "y" "tomorrow".

The meaning of [A] _t is that either A is valid now, or the variables appearing in t do not change. This allows for stuttering steps, in which none of the program variables change their values.

Some TLA+ editors include : [http://www.techjava.de/projects/etla-plugin/ Eclipse TLA+ Plugin] , [http://visualtla.sourceforge.net/ VisualTLA] , [http://se.bdpu.org/?q=tla_editor TLA Editor] , [http://sourceforge.net/projects/tlasharp/ TLA# Plugin for Microsoft Visual Studio 2005]

ee also

* Temporal logic

External links

* [http://research.microsoft.com/users/lamport/tla/tla.html TLA – The Temporal Logic of Actions]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Temporal Logic of Actions — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Die Temporale Logik der Aktionen (TLA) ist eine Weiterentwicklung… …   Deutsch Wikipedia

  • Temporal logic — In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. It is sometimes also used to refer to tense logic, a particular modal logic… …   Wikipedia

  • Interval temporal logic — (also interval logic) is a temporal logic for representing both propositional and first order logical reasoning about periods of time that is capable of handling both sequential and parallel composition. Instead of dealing with infinite sequences …   Wikipedia

  • logic —    Logic is the study of the correct way of reasoning. It is a prescriptive discipline rather than a merely descriptive one (psychology describes how we actually do reason). The two main methods for describing how we should think are the… …   Christian Philosophy

  • Dynamic logic (modal logic) — For the subject in digital electronics also known as clocked logic, see dynamic logic (digital electronics). Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general… …   Wikipedia

  • Lógica temporal — La lógica temporal es una extensión de la lógica modal, la cual es practicamente usada en sistema de reglas, donde esta presente el tiempo. Existe una cierta relación con otras variedades de lógica, por ejemplo, la lógica modal. Su estudio tiene… …   Wikipedia Español

  • logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… …   Universalium

  • applied logic — Introduction       the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… …   Universalium

  • Mill, John Stuart: Logic and metaphysics — J.S.Mill Logic and metaphysics John Skorupski ENLIGHTENMENT AND ROMANTICISM IN MILL’S PHILOSOPHY Mill’s importance as one of the major figures of nineteenth century politics and culture, and the current interest in him as a moral and political… …   History of philosophy

  • formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”