Observing transaction-time semantics with /sub TT/XPath

2005 ◽  
Author(s):  
C.E. Dyreson
Keyword(s):  
Time Semantics

ROLES IN AGENT-ORIENTED MODELING

2001 ◽  
Vol 11 (03) ◽  
pp. 281-302 ◽  
Author(s):  
RALPH DEPKE ◽  
REIKO HECKEL ◽  
JOCHEN MALTE KÜSTER
Keyword(s):  
Graph Transformation ◽  
Systematic Analysis ◽  
General Role ◽  
Modeling Approach ◽  
Agent Design ◽  
Time Semantics ◽  
Role Concept ◽  
Run Time ◽  
Transformation Systems ◽  
Graph Transformation Systems

For the generic specification of protocols, goals, or workflows, many approaches to agent-oriented modeling provide a concept of role. Roles abstract from the concrete agents involved in an interaction. They provide means for the evolution of agents and serve as components of agent design. Despite the widespread usage of roles in agent-oriented modeling, a systematic analysis of the different aspects and properties of this concept is still missing. In this paper, we perform such an analysis and identify requirements for a general role concept. We develop such a role concept for a modeling approach based on the UML and graph transformation systems and exemplify its use for the specification (and application) of protocols. Finally, we provide a run-time semantics for roles based on concepts from the theory of graph transformation.

scholarly journals Dynamic Linear Time Temporal Logic

1997 ◽  
Vol 4 (8) ◽  
Author(s):  
Jesper G. Henriksen ◽  
P. S. Thiagarajan
Keyword(s):  
Temporal Logic ◽  
Linear Time ◽  
Dynamic Logic ◽  
Order Theory ◽  
Simple Extension ◽  
Propositional Dynamic Logic ◽  
First Order ◽  
Time Semantics ◽  
Linear Time Temporal Logic ◽  
Obvious Manner

A simple extension of the propositional temporal logic of linear<br />time is proposed. The extension consists of strengthening the until<br />operator by indexing it with the regular programs of propositional<br />dynamic logic (PDL). It is shown that DLTL, the resulting logic, is<br />expressively equivalent to S1S, the monadic second-order theory<br />of omega-sequences. In fact a sublogic of DLTL which corresponds<br />to propositional dynamic logic with a linear time semantics is<br />already as expressive as S1S. We pin down in an obvious manner<br />the sublogic of DLTL which correponds to the first order fragment<br />of S1S. We show that DLTL has an exponential time decision<br />procedure. We also obtain an axiomatization of DLTL. Finally,<br />we point to some natural extensions of the approach presented<br />here for bringing together propositional dynamic and temporal<br />logics in a linear time setting.

Futuro pasado. la evolución del concepto Poesía en Octavio Paz

2021 ◽  
Vol 66 (4) ◽  
pp. 173-186
Author(s):  
Alí Calderón Farfán ◽  
Keyword(s):  
Twentieth Century ◽  
Nobel Prize ◽  
Nobel Prize Winner ◽  
Octavio Paz ◽  
Marcel Duchamp ◽  
Spanish Speaking ◽  
Time Semantics ◽  
The Aesthetic ◽  
Aesthetic Ideas ◽  
Horizon Of Expectations

Future Past. The Evolution of the Concept of Poetry in Octavio Paz. Octavio Paz (1914) is a poet writing in Spanish whose aesthetic ideas have built a vision of relevant poetry for at least three traditions: poetry in French, English and, of course, Spanish. This study will analyze, from the metalinguistic perspective proposed by Reinhart Koselleck, how the concept of “poetry” evolved in the thought of the Mexican Nobel Prize winner. Framed by his tradition, by his space of experience, Octavio Paz wrote works that have been instrumental in understanding and valuing poetry in the twentieth century. From “Poesía de soledad y poesía de communion” (1943) to La otra voz, Poesía y fin de siglo (1990), Paz synthesized the aesthetic ideas of his time in El arco y la lira (1956), rethought the lyrical exercise in “Los signos de rotación” (1956), modified his poetic in the prologue to Poesía en movimiento and made his position explicit in Los hijos del limo and his thoughts on Lévi-Strauss and Marcel Duchamp. By focusing on these texts, as well as on a corpus of conferences, interviews, correspondence and even poetry recitals, this study explores the evolution of poetic thought and the horizon of expectations that the work of the last Spanish-speaking poet who received the Nobel Prize opens for us. Keywords: Octavio Paz, style, poetics, post-utopian time, semantics of concepts

Probabilistic Polynomial-Time Semantics for a Protocol Security Logic

2005 ◽  
pp. 16-29 ◽  
Author(s):  
Anupam Datta ◽  
Ante Derek ◽  
John C. Mitchell ◽  
Vitaly Shmatikov ◽  
Mathieu Turuani
Keyword(s):  
Polynomial Time ◽  
Protocol Security ◽  
Time Semantics ◽  
Probabilistic Polynomial Time

scholarly journals Real-Time Semantics for Shared-Variable Concurrency

1993 ◽  
Vol 102 (1) ◽  
pp. 56-82 ◽  
Author(s):  
E. Shade ◽  
K.T. Narayana
Keyword(s):  
Real Time ◽  
Shared Variable ◽  
Time Semantics

scholarly journals Towards Space-Time Semantics in Two Frames

2012 ◽  
pp. 121-130
Author(s):  
Karla Brkić ◽  
Axel Pinz ◽  
Zoran Kalafatić ◽  
Siniša Šegvić
Keyword(s):  
Space Time ◽  
Time Semantics

scholarly journals Construction Grammar: Basic Principles and Concepts

2019 ◽  
pp. 94-116 ◽  
Author(s):  
Philipp Wasserscheidt
Keyword(s):  
Construction Grammar ◽  
Linguistic Knowledge ◽  
General Survey ◽  
Grammatical Knowledge ◽  
Basic Principles ◽  
Common Space ◽  
The Status ◽  
Time Semantics ◽  
The Common

The article provides an overview of Construction Grammar. First, a general survey of the basic principles and major strands of the grammatical theory is given. The main assumptions include the recognition that all linguistic knowledge is of the same type as knowledge in general and follows the same principles such as categorization, abstraction and generalization. In the second part, the presentation focuses on two important elements of construction grammar research: the concept of the construction as complex sign and the abandoning of the distinction between lexicon and grammar. Using examples from Ukrainian, the different relationships between constructions of different complexity and schematicity in the so-called constructicon – the common space of both lexical and grammatical knowledge – are described. It is shown, how abstract constructions offer slots for other elements and how these are constrained regarding form and meaning. In addition, the status of constructions as complex signs is assessed from the perspective of semantics and compositionality. It is highlighted that Construction Grammar rejects the assumption of compositionality and rather conceptualizes meaning as determined by the construction itself. At the same time, semantics is understood in an encyclopaedic sense, which renders the description of constructions highly detailed and language-specific.

scholarly journals Tafsir Atas Teks Alkitab dalam Kaitannya dengan Toleransi Antarumat Beragama

2018 ◽  
Vol 13 (1) ◽  
pp. 119
Author(s):  
Hendarto Supatra
Keyword(s):  
Discourse Analysis ◽  
Text Interpretation ◽  
Past Time ◽  
Language System ◽  
The Past ◽  
Sentence Level ◽  
Structural Linguistics ◽  
Time Semantics ◽  
Theory Of Discourse

Semansitcs is the study of meaning communicated through language. In the past time semantics was the study of meaning of words and sentences. Aboves sentence level which is known as text was never considered as linguistic semantics’ objek of study. Semantics which is a branch of structural linguistics only focused it’s attention on phones, morphemes, words, clauses, and sentences: substansive matters of language. Texts belong to speech or language system in use. The study of meaning in this area is called pragmatics or discourse analysis.Up to this time linguistics or semantics has been used as an instrument in interpreting the Holy Texts of many religions. In that period the Holy Texts interpretation activity was limited only on lexical and grammatical meaning. Today people are aware, that based on the theory of discourse analysis, texts should be considered as parts of discourse. To get the meaning of the texts significantly people must find the context, but this is the problems, that reconstructing the context of the text in its’origin is a never ending works. Since Holy Text interpretation is a kind of activity closed to mission of imposible, this should teaches us to be low hearted and tolerant to others

Sign in / Sign up

Export Citation Format

Share Document