scholarly journals Keeping Pace with the History of Evolving Runtime Models

Author(s):  
Lucas Sakizloglou ◽  
Matthias Barkowsky ◽  
Holger Giese

AbstractStructural runtime models provide a snapshot of the constituents of a system and their state. Capturing the history of runtime models, i.e., previous snapshots, has been shown to be useful for a number of aims. Handling, however, history at runtime poses important challenges to tool support. We present the InTempo tool which is based on the Eclipse Modeling Framework and encodes runtime models as graphs. Key features of InTempo, such as, the integration of temporal requirements into graph queries, the in-memory storage of the model, and a systematic method to contain the model’s memory consumption, intend to address issues which seemingly place limitations on the available tool support. InTempo offers two operation modes which support both runtime and postmortem application scenarios.

Author(s):  
Lucas Sakizloglou ◽  
Sona Ghahremani ◽  
Matthias Barkowsky ◽  
Holger Giese

AbstractModern software systems are intricate and operate in highly dynamic environments for which few assumptions can be made at design-time. This setting has sparked an interest in solutions that use a runtime model which reflects the system state and operational context to monitor and adapt the system in reaction to changes during its runtime. Few solutions focus on the evolution of the model over time, i.e., its history, although history is required for monitoring temporal behaviors and may enable more informed decision-making. One reason is that handling the history of a runtime model poses an important technical challenge, as it requires tracing a part of the model over multiple model snapshots in a timely manner. Additionally, the runtime setting calls for memory-efficient measures to store and check these snapshots. Following the common practice of representing a runtime model as a typed attributed graph, we introduce a language which supports the formulation of temporal graph queries, i.e., queries on the ordering and timing in which structural changes in the history of a runtime model occurred. We present a querying scheme for the execution of temporal graph queries over history-aware runtime models. Features such as temporal logic operators in queries, the incremental execution, the option to discard history that is no longer relevant to queries, and the in-memory storage of the model, distinguish our scheme from relevant solutions. By incorporating temporal operators, temporal graph queries can be used for runtime monitoring of temporal logic formulas. Building on this capability, we present an implementation of the scheme that is evaluated for runtime querying, monitoring, and adaptation scenarios from two application domains.


2015 ◽  
Vol 9 (1) ◽  
pp. 59-87 ◽  
Author(s):  
Martin Calamari

In recent years, the ideas of the mathematician Bernhard Riemann (1826–66) have come to the fore as one of Deleuze's principal sources of inspiration in regard to his engagements with mathematics, and the history of mathematics. Nevertheless, some relevant aspects and implications of Deleuze's philosophical reception and appropriation of Riemann's thought remain unexplored. In the first part of the paper I will begin by reconsidering the first explicit mention of Riemann in Deleuze's work, namely, in the second chapter of Bergsonism (1966). In this context, as I intend to show first, Deleuze's synthesis of some key features of the Riemannian theory of multiplicities (manifolds) is entirely dependent, both textually and conceptually, on his reading of another prominent figure in the history of mathematics: Hermann Weyl (1885–1955). This aspect has been largely underestimated, if not entirely neglected. However, as I attempt to bring out in the second part of the paper, reframing the understanding of Deleuze's philosophical engagement with Riemann's mathematics through the Riemann–Weyl conjunction can allow us to disclose some unexplored aspects of Deleuze's further elaboration of his theory of multiplicities (rhizomatic multiplicities, smooth spaces) and profound confrontation with contemporary science (fibre bundle topology and gauge field theory). This finally permits delineation of a correlation between Deleuze's plane of immanence and the contemporary physico-mathematical space of fundamental interactions.


Forests ◽  
2021 ◽  
Vol 12 (4) ◽  
pp. 489
Author(s):  
Bartosz Łabiszak ◽  
Witold Wachowiak

Speciation mechanisms, including the role of interspecific gene flow and introgression in the emergence of new species, are the major focus of evolutionary studies. Inference of taxonomic relationship between closely related species may be challenged by past hybridization events, but at the same time, it may provide new knowledge about mechanisms responsible for the maintenance of species integrity despite interspecific gene flow. Here, using nucleotide sequence variation and utilizing a coalescent modeling framework, we tested the role of hybridization and introgression in the evolutionary history of closely related pine taxa from the Pinus mugo complex and P. sylvestris. We compared the patterns of polymorphism and divergence between taxa and found a great overlap of neutral variation within the P. mugo complex. Our phylogeny reconstruction indicated multiple instances of reticulation events in the past, suggesting an important role of interspecific gene flow in the species divergence. The best-fitting model revealed P. mugo and P. uncinata as sister species with basal P. uliginosa and asymmetric migration between all investigated species after their divergence. The magnitude of interspecies gene flow differed greatly, and it was consistently stronger from representatives of P. mugo complex to P. sylvestris than in the opposite direction. The results indicate the prominent role of reticulation evolution in those forest trees and provide a genetic framework to study species integrity maintained by selection and local adaptation.


2021 ◽  
pp. 77-83
Author(s):  
V. V. Mishchenko ◽  
I. K. Mishchenko

The article highlights the importance of a balanced structure of the economy in terms of the ratio of the production of goods and the provision of services; the history of specialization of the Russian Federation as a state and territorial entity, the key features of its structure are considered. Modern aspects of import substitution in Russia are described. A comment is made on the program “Import Substitution 2.0”, which is based on quotas for public procurement from Russian suppliers. Some problems and negative aspects of the state of implementation of the import substitution program in the Russian Federation are reflected. It is concluded that the measures for the development of import substitution were largely unsystematic, were of a fragmented nature, and in some cases even contradicted each other. Their implementation failed to optimize the structure of the economy. A set of measures to escalate import substitution is proposed, including the priority development of specific types of goods with a certain share of sales abroad and the coverage of import substitution in the sphere of services.


2019 ◽  
pp. 361
Author(s):  
Todd Stanley, Q.C.

Petroleum projects offshore Newfoundland and Labrador continue to hold promise. The 20-year history of these projects developed within a legal and regulatory context that is currently being overhauled. This article outlines key similarities among Newfoundland and Labrador’s original offshore petroleum projects, describing them as projects of a legal era that is drawing to a close. The article then proceeds to recount the key features of a new legal and regulatory landscape that the up-and-coming offshore petroleum projects will face. Major elements of this new legal era include: changes in supporting legal structure, shortened lead time between discovery and development, new entrants (including increased interest from major international companies), new locations, and changes to the environmental assessment regime.


2017 ◽  
Vol 30 ◽  
pp. 301-324 ◽  
Author(s):  
J. W. Hanson ◽  
S. G. Ortman

The last few years have seen a growing interest in the urbanism of the Greek and Roman world. This has led to a consensus of sorts about some of its vital statistics, such as the sizes of the populations of the most important settlements and the size of the overall urban population, the urbanization rate (i.e., the share of individuals that lived in urban, rather than rural, contexts), and the total population. A good example comes from W. Scheidel in the Cambridge economic history of the Greco-Roman world. According to him, it is likely that c.1.5 million people lived in the 5 largest cities of the Greco-Roman world by the 2nd c. A.D. These included Rome, which is usually agreed to have had a population of about 1 million; Alexandria, which might have had c.500,000; Antioch, which could have had at least 150,000; and Carthage and Ephesus (Scheidel does not give explicit figures for those).


Author(s):  
Scott MacDonald

At the heart of Augustine’s intellectual and spiritual autobiography is a search for wisdom that demands of him sophisticated epistemological reflection. The results—in particular, his identification of the category of rational or justified assent on less-than-certain grounds and his inquiry into the nature and epistemic value of testimony—break dramatic new ground in the history of epistemology. He articulates a concept of belief (as assent to a proposition on the basis of testimony) and distinguishes it from understanding (assent to a proposition on the basis of reasoned insight). Exploiting that distinction, he develops both a rationale for and a detailed account of a systematic method for the rational investigation of theological matters, which he characterizes as belief seeking understanding. Augustine’s famous reflections on the paradox of evil and on the nature of the divine Trinity provide compelling illustrations of his application of this rational method and its results.


Author(s):  
Pol Antràs

This chapter provides a succinct account of the rich intellectual history of the field of international trade and offers an overview of its modern workhorse models. This field has experienced a true revolution in recent years. Firms rather than countries or industries are now the central unit of analysis. The workhorse trade models used by most researchers both in theoretical work as well as in guiding empirical studies were published in the 2000s. While these benchmark frameworks ignore contractual aspects, they constitute the backbone of the models developed later in this volume, so the chapter provides a basic understanding of their key features.


Author(s):  
Peter Mitchell

In Greek myth the winged horse Pegasus was actually ridden by the hero Bellerophon rather than by Perseus, yet Shakespeare’s words neatly capture the striking combination of supernatural power and tractability that is the horse. This chapter picks up these themes by developing three topics: it describes the evolution of the modern horse, Equus caballus, identifies key features of its biology relevant to subsequent discussions, and reviews the history of human–horse interaction in the Old World, emphasizing the horse’s domestication and subsequent spread. Horses and their relatives, the wild asses and zebras, were once seen as an almost paradigmatic example of how evolution works, although more recent research has shown that their history is more complex and multi-branched than originally thought. Along with tapirs and rhinoceroses, they belong to the taxonomic order Perissodactyla, the odd-toed division of the ungulates or hoofed mammals. The superficial similarities that they share with even-toed antelopes, which belong to the order Artiodactyla, are thus largely the result of evolution converging on similar body plans. In fact, some genetic studies suggest that perissodactyls are closer to carnivores than to the artiodactyls. Like modern tapirs and rhinoceroses, the earliest horses were three-toed, but for the past 40 million years or so all have borne their weight on just the third toe, with ligaments, rather than a fleshy pad, for support. Subsequently, the central metapodial (the bones connecting the digits to the wrist or ankle) was considerably elongated to form a long, slender lower limb and the second and fourth digits were minimized, though still giving support when galloping and jumping. Beginning around 10 million years ago, in the late Miocene period, the remaining side toes were reduced to splints and the animal’s weight came to be carried entirely on a single enlarged hoof. The first perissodactyls were browsers, not grazers. Some 45–34 million years ago, however, temperatures fell at higher latitudes and climate became more seasonal: successful ungulates evolved new adaptations, including the first appearance of both ruminants (which ferment their food in a specialized foregut) and new kinds of ancestral horses such as Mesohippus and its successor Miohippus.


2019 ◽  
pp. 67-80
Author(s):  
Rachel Hammersley

Chapter 4 focuses on the nature of Harrington’s republicanism and the key features of his ‘equal commonwealth’. It begins by examining the complex publishing history of Oceana and the political and intellectual context in which that work was written. It then traces Harrington’s commitment to key features of commonwealth government: his use of republican models ancient and modern, his adoption of the neo-Roman understanding of liberty and his conflict with Thomas Hobbes on this issue, and his commitment to government in accordance with reason and the public good. Harrington’s understanding of, and emphasis on, the concepts of empire and authority are then explored. Finally, the central features of his equal commonwealth are set out: the agrarian law to ensure equality at the foundation, and then a bicameral legislature, rotation of office, and the Venetian ballot to secure equality and prevent corruption in the superstructure.


Sign in / Sign up

Export Citation Format

Share Document