Towards more flexible Architecture Description Languages for industrial applications

Architecture Description Languages (ADLs) have emerged in recent years as a tool for providing high-level descriptions of software systems in terms of their architectural elements and the relationships among them. Most of the current ADLs exhibit limitations which prevent their widespread use in industrial applications. In this paper, we discuss these limitations and introduce ALI, an ADL that has been developed to address such limitations. The ALI language provides a rich and flexible syntax for describing component interfaces, architectural patterns, and meta-information. Multiple graphical architectural views can then be derived from ALI's textual notation.

Management in distributed systems: A semi-formal approach

The reverse engineering of a skeleton based programming environment and redesign to distribute management activities of the system and thereby remove a potential single point of failure is considered. The Ore notation is used to facilitate abstraction of the design and analysis of its properties. It is argued that Ore is particularly suited to this role as this type of management is essentially an orchestration activity. The Ore specification of the original version of the system is modified via a series of semi-formally justified derivation steps to obtain a specification of the decentralized management version which is then used as a basis for its implementation. Analysis of the two specifications allows qualitative prediction of the expected performance of the derived version with respect to the original, and this prediction is borne out in practice.

Derivation of scientific software from mathematical specifications

Often the modification and enhancement of large scientific software systems are severely hampered because many components of the system are written in an implementation dependent fashion, they are inadequately documented, and their functionalities are not precisely known. In this paper we consider how mathematics may be employed to alleviate some of these problems. In particular, we illustrate how the formal specification notation VDM-SL is being used to specify precisely abstract data types for use in the development of scientific software.

Webwork II

Original composition for the Dials platform for animated graphic notation. Commissioned by the PianOrquestra and the Festival Multiplicidade 2012, in Rio de Janerio, Brazil.

Composing with Graphics: Revealing the Compositional Process through Performance.

The research presented here is product of a practice-based process that primarily generates knowledge through collaboration and exchange in performance situations. This collaboration and exchange with various musicians over a period of five years that constitutes a body of practice that is here reflected upon. The paper focuses on non-instructional graphic scores and presents some insights based on performances of works by the author. We address how composition processes are revealed in graphic scores by looking at the conditions of decision making at the point of preparing a performance. We argue that three key elements are at play in the interpretation of these types of graphic scores: performance practice, mapping and musical form. By reflecting particularly on the work Cipher Series (Rebelo, 2010) we offer insights into the strategies for approaching the performance of graphic scores that go beyond symbolic codification.

Superimposition: A composition for harp, saxophone and live electronics

Superimposition is built on a live-scoring system. Computer animated graphics combined with computer generated algorithms produce the score in real time based on preferences input by the composer. Notably, this system introduces a methodology for eliciting complex and coordinated rhythms from instrumentalists through notation generated in real time. This work also incorporates a system for live electronics and live sampling and processing.

Dublin 1916: theatre of revolt

In his essay, Anti-Object, Kengo Kuma proposes that architecture cannot and should not be understood as object alone but instead always as series of networks and connections, relationships within space and through form. Some of these relationships are tangible, others are invisible. Stan Allen and James Corner have also called for an architecture that is more performative and operative – ‘less concerned with what buildings look like and more concerned with what they do’ – as means of effecting a more intimate and promiscuous relationship between infrastructure, urbanism and buildings. According to Allen this expanding filed offers a reclamation of some of the areas ceded by architecture following disciplinary specialization:

‘Territory, communication and speed are properly infrastructural problems and architecture as a discipline has developed specific technical means to deal with these variables. Mapping, projection, calculation, notation and visualization are among architecture’s traditional tools for operating at the very large scale’.

The motorway may not look like it – partly because we are no longer accustomed to think about it as such – but it is a site for and of architecture, a territory where architecture can be critical and active. If the limits of the discipline have narrowed, then one of the functions of a school of architecture must be an attempt occupy those areas of the built environment where architecture is no longer, or has yet to reach. If this is a project about reclamation of a landscape, it is also a challenge to some of the boundaries that surround architecture and often confine it, as Kuma suggests, to the appreciation of isolated objects.

M:NI 2014-15
We tend to think of the motorway as a thing or an object, something that has a singular function. Historically this is how it has been seen, with engineers designing bridges and embankments and suchlike with zeal … These objects like the M3 Urban Motorway, Belfast’s own Westway, are beautiful of course, but they have caused considerable damage to the city they were inflicted upon.

Actually, it’s the fact that we have seen the motorway as a solid object that has caused this problem. The motorway actually is a fluid and dynamic thing, and it should be seen as such: in fact it’s not an organ at all but actually tissue – something that connects rather than is. Once we start to see the motorway as tissue, it opens up new propositions about what the motorway is, is used for and does. This new dynamic and connective view unlocks the stasis of the motorway as edifice, and allows adaptation to happen: adaptation to old contexts that were ignored by the planners, and adaptation to new contexts that have arisen because of or in spite of our best efforts.

Motorways as tissue are more than just infrastructures: they are landscapes. These landscapes can be seen as surfaces on which flows take place, not only of cars, buses and lorries, but also of the globalized goods carried and the lifestyles and mobilities enabled. Here the infinite speed of urban change of thought transcends the declared speed limit [70 mph] of the motorway, in that a consignment of bananas can cause soil erosion in Equador, or the delivery of a new iphone can unlock connections and ideas the world over.

So what is this new landscape to be like? It may be a parallax-shifting, cognitive looking glass; a drone scape of energy transformation; a collective farm, or maybe part of a hospital. But what’s for sure, is that it is never fixed nor static: it pulses like a heartbeat through that most bland of landscapes, the countryside. It transmits forces like a Caribbean hurricane creating surf on an Atlantic Storm Beach: alien forces that mutate and re-form these places screaming into new, unclear and unintended futures.

And this future is clear: the future is urban. In this small rural country, motorways as tissue have made the whole of it: countryside, mountain, sea and town, into one singular, homogenous and hyper-connected, generic city.

Goodbye, place. Hello, surface!

Victorius vs Dionysius: the Irish Easter controversy of AD 689

Over the past few decades, the early medieval Easter controversy has increasingly been portrayed as a conflict between the ‘Celtic’ and the ‘Roman’ churches, limiting the geographical extent of this most vibrant debate to Britain and Ireland (with the exception of the disputes caused by Columbanus’ appearance on the Continent). Both are not the case. Before c.AD 800, there was no unanimity within the ‘Roman’ cause. Two ‘Roman’ Easter reckonings existed, which could not be reconciled, one invented by Victorius of Aquitaine in AD 457, the other being the Alexandrian system as translated into Latin by Dionysius Exiguus in AD 525. The conflict between followers of Victorius and adherents of Dionysius occurred in Visigothic Spain first, reached Ireland in the second half of the 7th century, and finally dominated the intellectual debate in Francia in the 8th century. This article will focus on the Irish dimension of this controversy. It is argued that the southern Irish clergy introduced the Victorian reckoning in the AD 630s and strictly adhered to that system until the end of the 7th century. When Adomnan, the abbot of Iona, converted to Dionysius in the late AD 680s and convinced most of the northern Irish churches to follow his example, this caused considerable tension with southern Irish followers of Victorius, as is impressively witnessed by the computistical literature of the time, especially the texts produced in AD 689. From this literature, the issues debated at the time are reconstructed. This analysis has serious consequences for how we read Irish history towards the end of the 7th century; rather than bringing the formerly ‘Celtic’ northern Irish clergy in line with southern Irish ‘Roman’ practise, Adomnan added a new dimension to the conflict.

Para uma interpretação na guitarra das sonatas BMW 1001/1003/1005 de Bach inspirada numa memorabília das práticas interpretativas

O presente trabalho procura compreender as abordagens interpretativas desenvolvidas na guitarra das sonatas para violino BWV 1001, 1003 e 1005 de Bach e apresenta uma proposta de interpretação inspirada no autógrafo original. Sistematiza características de transcrições e gravações das obras no instrumento, e considera as respectivas inferências interpretativas. Face ao significativo número de autores e intérpretes que, adaptando o texto de Bach, privilegiam a faceta harmónica da guitarra e desvalorizam o uso de recursos expressivos da prática interpretativa barroca implícitos e explícitos na notação, problematiza os desafios colocados a uma interpretação num instrumento harmónico que mantém o texto escrito para um outro predominantemente melódico, e faz da articulação o seu centro, facultando propostas de realização. O texto de Bach para violino, as práticas barrocas e o legado dos discursos interpretativos sobre as obras integram o repositório de memórias que inspiraram e fundamentaram a criação de uma interpretação. Nela se tomam opções estéticas e encontram as respectivas soluções de realização técnica na sequência da procura de novos caminhos interpretativos, através da recuperação de alguns aspectos que teriam tido expressão numa imaginária interpretação oitocentista – criando uma outra memória.

Les mécanismes de l'interprétation dans la chanson populaire (d'expression francophone) proposition d'une méthode d'analyse

Pour montrer comment s'articulent les mécanismes de l'interprétation dans la chanson populaire, nous nous sommes inspirée [inspirés] de travaux de sociologues qui se sont penchés sur la chanson depuis une vingtaine d'années (Authelain, Buxton, Calvet, Giroux, Hennion, Frith, Middleton) ou sur le marché des biens symboliques (Bourdieu), ainsi que de la sémiologie musicale de Jean-Jacques Nattiez. Comme lui, nous avons identifié un processus poïétique, un niveau neutre et un processus esthésique dans la pratique de la chanson, processus qui se dédoublent dans la chanson populaire selon le point d'ancrage de l'analyse: la partition (la trace, constituant un premier"niveau neutre") puis la chanson interprétée (ou résultat musical, qui constitue un second"niveau neutre"). Nous avons par la suite identifié les différents lieux où entre en jeu l'interprétation: chez les exécutants (musiciens et interprètes) qui actualisent la partition, produisant ainsi la chanson interprétée; dans le processus de production/promotion, où s'élaborent l'image de marque de l'artiste et les discours promotionnels; chez le public où l'interprétation apparaît aussi sous ses deux facettes, c'est-à-dire l'exécution possible par les auditeurs/spectateurs, mais surtout la lecture que propose le discours critique. Un exemple précis, l'album D'instinct (1995) de l'auteur/compositeur/interprète Richard Séguin, nous a permis de mettre à l'épreuve ce modèle ainsi qu'une méthode d'analyse qui permet à la fois de se pencher sur une chanson et sur la chanson. Dans un premier temps, nous avons analysé une chanson à partir de la partition puis de la chanson interprétée (sous forme de chanson, d'album, de vidéoclip et de spectacle), sans tenir compte des discours que l'on tient sur cette chanson. Dans un deuxième temps, notre attention s'est portée sur la chanson, analysant l'objet"chanson" transformé par les discours, puis les discours eux-mêmes. Ces analyses nous ont permis de nous pencher sur l'interprétation, d'abord comme exécution (de la partition), et surtout comme lecture, puis de schématiser le réseau des discours, promotionnels et critiques, qui circulent entre l'artiste (et sa musique) et l'auditeur/spectateur. Notre recherche s'intéresse ainsi de façon nouvelle à la chanson populaire et la méthode d'analyse que nous proposons permet de tenir compte de la spécificité de son objet: une approche multidisciplinaire s'imposait pour étudier un phénomène pluridimensionnel comme la chanson. Aussi, les résultats de nos analyses confirment que le modèle et la méthode sont opératoires, mais surtout, ils laissent entrevoir de nombreuses possibilités d'analyses nouvelles d'une/de la chanson, analyses qui permettraient d'en saisir le caractère stylistique, les qualités esthétiques, etc. et même, il nous semble qu'ils pourraient s'avérer tout aussi opératoires appliqués à d'autres corpus."--Résumé abrégé par UMI

Automatic classification of scientific records using the German Subject Heading Authority File (SWD)

The following paper deals with an automatic text classification method which does not require training documents. For this method the German Subject Heading Authority File (SWD), provided by the linked data service of the German National Library is used. Recently the SWD was enriched with notations of the Dewey Decimal Classification (DDC). In consequence it became possible to utilize the subject headings as textual representations for the notations of the DDC. Basically, we we derive the classification of a text from the classification of the words in the text given by the thesaurus. The method was tested by classifying 3826 OAI-Records from 7 different repositories. Mean reciprocal rank and recall were chosen as evaluation measure. Direct comparison to a machine learning method has shown that this method is definitely competitive. Thus we can conclude that the enriched version of the SWD provides high quality information with a broad coverage for classification of German scientific articles.

O contributo das representações numéricas básicas e da função executiva no desempenho de operações aritméticas : um estudo exploratório

Tese de mestrado, Psicologia (Secção de Cognição Social Aplicada), Universidade de Lisboa, Faculdade de Psicologia, 2014

Graffiti composition: screenplay

Ongoing collaboration with Christian Marclay. ‘Graffiti Composition’ and ‘Screenplay’ are two related works consisting of live musical improvisation and performance. They are part of an ongoing collaboration with the artist Christian Marclay. 'Graffiti Composition' involved Beresford directing an invited orchestra of improvising musicians. The work focuses on making music from the random compositional acts of strangers. Prior to realization, Marclay fly-posted several hundred sheets of blank manuscript paper, collecting the sheets some days later, after passers-by had written on them – using either traditional music notation or more transgressive interference modes (colour-blocks, torn holes in or abstract graphic symbols on the paper) – and sending photographs of them to Beresford. Beresford’s directorial decisions helped these random graffiti become music via simple formal processes – restricting each musician to a handout of two MS each, or stipulating a mini-concerto for each player. Beresford’s contribution explores the paradox of improvisation stipulated by strangers and controlled, however loosely, by the structuring agency of a musical director. ‘Screenplay’ extended this collaborative process between Marclay and Beresford. Beresford and other musicians responding to a visual track comprising found and public domain moving images manipulated by Marclay – gunfight scenes from a TV Western; running water; racing cars morphing into crying children, and so on, in black-and-white, with single-colour blocks appearing and developing as lines, spots, and other suggestive ‘notation’. The elliptical, surprising, humorous nature of the images at times is hyperexplicated by the improvised music, and at others challenged, ignored or contradicted by the musicians’ interaction. ‘Graffiti Composition’ was performed by the LSO at St. Luke’s, London, March 22, 2005. ‘Screenplay’ premiered in Dundee in 2006, and toured Europe during 2007. Reviewed in the Herald (21 Feb 06) and Times (24 March 07). Beresford’s work as improviser, composer and performer was profiled in The Wire (April 2002, May 2005).

Business Process Modelling based on formal temporal theory with an application to hospital patient flows

Existing Workflow Management Systems (WFMSs) follow a pragmatic approach. They often use a proprietary modelling language with an intuitive graphical layout. However the underlying semantics lack a formal foundation. As a consequence, analysis issues, such as proving correctness i.e. soundness and completeness, and reliable execution are not supported at design level. This project will be using an applied ontology approach by formally defining key terms such as process, sub-process, action/task based on formal temporal theory. Current business process modelling (BPM) standards such as Business Process Modelling Notation (BPMN) and Unified Modelling Language (UML) Activity Diagram (AD) model their constructs with no logical basis. This investigation will contribute to the research and industry by providing a framework that will provide grounding for BPM to reason and represent a correct business process (BP). This is missing in the current BPM domain, and may result in reduction of the design costs and avert the burden of redundant terms used by the current standards. A graphical tool will be introduced which will implement the formal ontology defined in the framework. This new tool can be used both as a modelling tool and at the same time will serve the purpose of validating the model. This research will also fill the existing gap by providing a unified graphical representation to represent a BP in a logically consistent manner for the mainstream modelling standards in the fields of business and IT. A case study will be conducted to analyse a catalogue of existing ‘patient pathways’ i.e. processes, of King’s College Hospital NHS Trust including current performance statistics. Following the application of the framework, a mapping will be conducted, and new performance statistics will be collected. A cost/benefits analysis report will be produced comparing the results of the two approaches.

A general framework for Business Process Modelling (BPM) based on Formal Temporal Theory with an application to Hospital Patient flows

Existing Workflow Management Systems (WFMSs) follow a pragmatic approach. They often use a proprietary modelling language with an intuitive graphical layout. However the underlying semantics lack a formal foundation. As a consequence, analysis issues, such as proving correctness i.e. soundness and completeness, and reliable execution are not supported at design level. This project will be using an applied ontology approach by formally defining key terms such as process, sub-process, action/task based on formal temporal theory. Current business process modelling (BPM) standards such as Business Process Modelling Notation (BPMN) and Unified Modelling Language (UML) Activity Diagram (AD) model their constructs with no logical basis. This investigation will contribute to the research and industry by providing a framework that will provide grounding for BPM to reason and represent a correct business process (BP). This is missing in the current BPM domain, and may result in reduction of the design costs and avert the burden of redundant terms used by the current standards. A graphical tool will be introduced which will implement the formal ontology defined in the framework. This new tool can be used both as a modelling tool and at the same time will serve the purpose of validating the model. This research will also fill the existing gap by providing a unified graphical representation to represent a BP in a logically consistent manner for the mainstream modelling standards in the fields of business and IT. A case study will be conducted to analyse a catalogue of existing ‘patient pathways’ i.e. processes, of King’s College Hospital NHS Trust including current performance statistics. Following the application of the framework, a mapping will be conducted, and new performance statistics will be collected. A cost/benefits analysis report will be produced comparing the results of the two approaches.