Observing transaction-time semantics with /sub TT/XPath

Author(s):  
C.E. Dyreson
Keyword(s):  
Author(s):  
RALPH DEPKE ◽  
REIKO HECKEL ◽  
JOCHEN MALTE KÜSTER

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.


1997 ◽  
Vol 4 (8) ◽  
Author(s):  
Jesper G. Henriksen ◽  
P. S. Thiagarajan

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.


2021 ◽  
Vol 66 (4) ◽  
pp. 173-186
Author(s):  
Alí Calderón Farfán ◽  

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


Author(s):  
Anupam Datta ◽  
Ante Derek ◽  
John C. Mitchell ◽  
Vitaly Shmatikov ◽  
Mathieu Turuani

1993 ◽  
Vol 102 (1) ◽  
pp. 56-82 ◽  
Author(s):  
E. Shade ◽  
K.T. Narayana

Author(s):  
Karla Brkić ◽  
Axel Pinz ◽  
Zoran Kalafatić ◽  
Siniša Šegvić
Keyword(s):  

2019 ◽  
pp. 94-116 ◽  
Author(s):  
Philipp Wasserscheidt

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.


2018 ◽  
Vol 13 (1) ◽  
pp. 119
Author(s):  
Hendarto Supatra

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