A formal support to business and architectural design for service-oriented systems

Architectural Design Rewriting (ADR) is an approach for the design of software architectures developed within Sensoria by reconciling graph transformation and process calculi techniques. The key feature that makes ADR a suitable and expressive framework is the algebraic handling of structured graphs, which improves the support for specification, analysis and verification of service-oriented architectures and applications. We show how ADR is used as a formal ground for high-level modelling languages and approaches developed within Sensoria

Competing Humanisms: Debating Cultural Identity in Leonardo Bruni’s "Dialogi ad Petrum Paulum Histrum"

Leonardo Bruni\u2019s Dialogi ad Petrum Paulum Histrum has long been studied as a manifesto of the humanist divergence from medieval culture. This article reconsiders the role of Bruni\u2019s Dialogi in the development of Italian humanism and especially in the development of the humanists\u2019 awareness of their cultural identity as a group. The essay argues that Bruni\u2019s principal aim was not to distance himself from previous traditions, but rather to mark a distinction between two concurrent conceptions of humanism that prevailed in his own time. Through the Dialogi, Bruni criticizes Niccol\uf2 Niccoli\u2019s cultural extremism and advances a moderate ideal of humanism that seeks to revise and incorporate nonhumanist traditions instead of rejecting them outright. In doing so, Bruni also intends to shield his ideal of humanism from the attack of the traditionalist sector of Renaissance culture

Evaluating the performance of model transformation styles in Maude

Rule-based programming has been shown to be very successful in many application areas. Two prominent examples are the specification of model transformations in model driven development approaches and the definition of structured operational semantics of formal languages. General rewriting frameworks such as Maude are flexible enough to allow the programmer to adopt and mix various rule styles. The choice between styles can be biased by the programmer’s background. For instance, experts in visual formalisms might prefer graph-rewriting styles, while experts in semantics might prefer structurally inductive rules. This paper evaluates the performance of different rule styles on a significant benchmark taken from the literature on model transformation. Depending on the actual transformation being carried out, our results show that different rule styles can offer drastically different performances. We point out the situations from which each rule style benefits to offer a valuable set of hints for choosing one style over the other

Hierarchical models for service-oriented systems

We present our approach to the denotation and representation of hierarchical graphs: a suitable algebra of hierarchical graphs and two domains of interpretations. Each domain of interpretation focuses on a particular perspective of the graph hierarchy: the top view (nested boxes) is based on a notion of embedded graphs while the side view (tree hierarchy) is based on gs-graphs. Our algebra can be understood as a high-level language for describing such graphical models, which are well suited for defining graphical representations of service-oriented systems where nesting (e.g. sessions, transactions, locations) and linking (e.g. shared channels, resources, names) are key aspects

A Gauge-invariant Analysis of Magnetic Fields in General Relativistic Cosmology

We provide a fully general-relativistic treatment of cosmological perturbations in a universe permeated by a large-scale primordial magnetic field, using the Ellis-Bruni gauge-invariant formalism. The exact non-linear equations for general relativistic magnetohydrodynamic evolution are derived. A number of applications are made: the behaviour of small perturbations to Friedmann universes are studied; a comparison is made with earlier Newtonian treatments of cosmological perturbations and some effects of inflationary expansion are examined.Comment: 31 pages, Latex, Submitted to Classical and Quantum Gravit

Notes on the Geology of Bruni Island

Bruni Island is separated from the mainland of Southern Tasmania by the tortuous course of D'Entrecasteaux Channel. Its greatest length—north and south—from Kelly's Point to Bruni Head is about 31 miles. Its breadth is extremely variable. A mere strip of sand over seven miles long divides Isthmus Bay on the western side from Adventure Bay on the eastern side, and the same narrow neck forms the junction between North Bruni and South Bruni. The breadth of North Bruni varies from five to seven miles, and the breadth of South Bruni varies from three to 10 1/2 miles.The characteristic vegetation is identical with that on the neighbouring shores of the mainland. doubt has not yet been wholly removed. The dynamical forces which upheaved and dislocated the stratified rocks on the flanks of our mountain chains operated probably at different intervals during a long course of time. We should not assume that all movements of elevation are immediately due to superficial intrusion of igneous rock. Few mountain chains have been produced suddenly by cataclysms, and while I do not deny that cataclysms and intrusive rocks have operated largely in producing important modifications on the earth's surface, I am still inclined to believe that the more important movements which have resulted in raising stratified rocks to immense heights above sea level, as on our mountain tiers, are often intermittent, slow, and cover a vast period of time. It is hoped that the information now produced with respect to important sections on the East Coast of North Bruni may be of service in arriving at more satisfactory conclusions in all matters to which they relate. I am only anxious for the truth of my opinions, and therefore shall always be prepared to modify them in accordance with the weight of available evidence

Bruni, Martí de Viciana i el pròleg a la traducció de l'Econòmica aristotèlica

Anàlisi del pròleg de la traducció de l’"Econòmica" d’Aristòtil realitzada per Martí de Viciana el Vell a partir de la versió llatina de Leonardo Bruni. Viciana, al pròleg, combina paraules de Bruni amb un seguit d’arguments i tòpics característics de pàgines medievals. El resultat s’adiu amb els objectius del traductor: presentar un text adjudicable al gènere «econòmic», però fent servir l’"autoritas" grega i la mediació humanística, que Viciana no arriba a copsar