The realisation of JSD specifications in object oriented languages

Jackson System Development (JSD) is an operational software development method which addresses most of the software lifecycle either directly or by providing a framework into which more specialised techniques can fit. The method has two major phases: first an abstract specification is derived that is in principle executable; second the specification is implemented using a variety of transformations. The object oriented paradigm is based on data abstraction and encapsulation coupled to an inheritance architecture that is able to support software reuse. Its claims of improved programmer productivity and easier program maintenance make it an important technology to be considered for building complex software systems. The mapping of JSD specifications into procedural languages typified by Cobol, Ada, etc., involves techniques such as inversion and state vector separation to produce executable systems of acceptable performance. However, at present, no strategy exists to map JSD specifications into object oriented languages. The aim of this research is to investigate the relationship between JSD and the object oriented paradigm, and to identify and implement transformations capable of mapping JSD specifications into an object oriented language typified by Smalltalk-80. The direction which the transformational strategy follows is one whereby the concurrency of a specification is removed. Two approaches implementing inversion - an architectural transformation resulting in a simulated coroutine mechanism being generated - are described in detail. The first approach directly realises inversions by manipulating Smalltalk-80 system contexts. This is possible in Smalltalk-80 because contexts are first class objects and are accessible to the user like any other system object. However, problems associated with this approach are expounded. The second approach realises coroutine-like behaviour in a structure called a `followmap'. A followmap is the results of a transformation on a JSD process in which a collection of followsets is generated. Each followset represents all possible state transitions a process can undergo from the current state of the process. Followsets, together with exploitation of the class/instance mechanism for implementing state vector separation, form the basis for mapping JSD specifications into Smalltalk-80. A tool, which is also built in Smalltalk-80, supports these derived transformations and enables a user to generate Smalltalk-80 prototypes of JSD specifications.

Towards identifying salient patterns in genetic programming individuals

This thesis addresses the problem of offline identification of salient patterns in genetic programming individuals. It discusses the main issues related to automatic pattern identification systems, namely that these (a) should help in understanding the final solutions of the evolutionary run, (b) should give insight into the course of evolution and (c) should be helpful in optimizing future runs. Moreover, it proposes an algorithm, Extended Pattern Growing Algorithm ([E]PGA) to extract, filter and sort the identified patterns so that these fulfill as many as possible of the following criteria: (a) they are representative for the evolutionary run and/or search space, (b) they are human-friendly and (c) their numbers are within reasonable limits. The results are demonstrated on six problems from different domains.

Emergence in genetic programming:let's exploit it!

Banzhaf explores the concept of emergence and how and where it happens in genetic programming [1]. Here we consider the question: what shall we do with it? We argue that given our ultimate goal to produce genetic programming systems that solve new and difficult problems, we should take advantage of emergence to get closer to this goal. © 2013 Springer Science+Business Media New York.

Variation and change in the use of hesitation markers in Germanic languages

In this study, we investigate crosslinguistic patterns in the alternation between UM, a hesitation marker consisting of a neutral vowel followed by a final labial nasal, and UH, a hesitation marker consisting of a neutral vowel in an open syllable. Based on a quantitative analysis of a range of spoken and written corpora, we identify clear and consistent patterns of change in the use of these forms in various Germanic languages (English, Dutch, German, Norwegian, Danish, Faroese) and dialects (American English, British English), with the use of UM increasing over time relative to the use of UH. We also find that this pattern of change is generally led by women and more educated speakers. Finally, we propose a series of possible explanations for this surprising change in hesitation marker usage that is currently taking place across Germanic languages.

'The prime minister said...': voices in translated political texts

A variety of texts are translated to fulfil functions for political communication across languages, cultures, and ideologies. For example, newspapers regularly provide quotes of statements by foreign politicians, without explicitly indicating that these politicians were actually speaking in their own languages. Politicians react to statements by other politicians as they were presented to them in translation. Political scientists and other experts often debate the potential political consequences of (the translation of) a statement. This chapter addresses the (in)visibility of translation in political communication and the link between textual profiles of translations and the socio-political contexts in which they are produced. The analyses are conducted from the perspective of Translation Studies. The focus is on institutionalised forms of political discourse, i.e. texts that originate in political or media institutions. The link between translation profiles and the social, institutional, ideological conditions of text production is illustrated with reference to authentic political texts (interviews, speeches by politicians, press conferences), mainly involving English, French and German as source and target languages.

Back from the future:the second chance in the past of aller + infinitive

Typological studies (Bybee et al. 1994, Dahl 2000, Bourdin 2008 among many others) have shown a tendency for spatial elements (such as movement verbs) to grammaticalise into temporal expressions. The periphrasis made of aller + infinitive has been very productive in Romance languages. If in French, Spanish or Portuguese, it refers to future, it refers to a simple past in Catalan. fr.: je vais aller au cinéma esp.: voy a ir al cine pt. Vou ira o cine cat.: vaig anar al cine Barceló & Bres (2005:168) indicate that, In French, «vers le XVIème siècle, […] la périphrase a brièvement fonctionné comme un temps du passé (alors même que l’emploi comme temps du futur émergeait)»: (1) Sur ces propos, firent leur accord et, en regardant le lieu le plus propre pour faire cette belle œuvre, elle va dire qu’elle n’en savait point de meilleure ni plus loin de tout soupçon, qu’une petite maison qui était dedans le parc, où il y avait chambre et lit tout à propos. (Marguerite de Navarre, L’Heptaméron) The future value took over so much so that Damourette & Pichon (1911-1936 :117) claimed the past value had disappeared»: Un second tour, encore plus aberrant, n’a plus, que nous sachions, aucune position en pays d’Oui. Nous voulons parler de l’expression d’un passé au moyen de l’auxiliaire aller, suivi de l’infinitif. Ce tour a eu une grande fortune dans le provençal ancien et le catalan […] En français, on n’en trouve que des traces, notamment du XIVe au XVIe siècles . Ex.:[…] Adoncques s’arrêtèrent le conte et Raimondin soubz un grand arbre ; lors va dire le conte à Raimondin: […]. Et Raimondin va lui dire : Sire, ce qu’il vous plaira. That allegedly extinct use is nonetheless alive and kicking in Contemporary French. Larreya (2005:349)notes that it is « très courant dans les récits – en particulier dans les récits oraux» and it is also found in newspaper language as shown by this except from an obituary for Loulou Gasté (Le Monde 1995): (2) Celle-ci se déroule aux Editions Micro, où il a un bureau. Séduit par la jeune interprète, il commence à lui écrire des chansons sur mesure et leur complicité va mettre cinq ans à se transformer en amour. Au début de leur rencontre, Loulou est neurasthénique parce qu’il vient de divorcer et la future Line, exclusivement préoccupée par son métier, ne songe à rien d’autre. Line et Loulou vont rattraper le temps perdu et créer ensemble un millier de petites chansons dont la plupart sont devenues immortelles. Jusqu’à ces derniers mois, il ne va pas se passer une journée sans que Loulou s’empare de sa guitare pour créer un refrain. Would we be witnessing a linguistic resurrection? The same structure seems therefore to have grammaticalised in diverging and even diametrically opposite ways in different Romance languages. In this talk, we shall try to explain how the phrase aller + infinitive is able to function both as a future and a past. We will especially concentrate on the case of contemporary French where, while the future interpretation has obtained the status of tense as futur proche or périphrastique, a past interpretation is now commonplace. Our reflection will be supported by a personal corpus of authentic examples.

An improved tool for automated compiler construction

Since the advent of High Level Programming languages (HLPLs) in the early 1950s researchers have sought ways to automate the construction of HLPL compilers. To this end a variety of Translator Writing Tools (TWTs) have been developed in the last three decades. However, only a very few of these tools have gained significant commercial acceptance. This thesis re-examines traditional compiler construction techniques, along with a number of previous TWTs, and proposes a new improved tool for automated compiler construction called the Aston Compiler Constructor (ACC). This new tool allows the specification of complete compilation systems using a high level compiler oriented specification notation called the Compiler Construction Language (CCL). This specification notation is based on a modern variant of Backus Naur Form (BNF) and an extended variant of Attribute Grammars (AGs). The implementation and processing of the CCL is discussed along with an extensive CCL example. The CCL is shown to have an extensive expressive power, to be convenient in use, and highly readable, and thus a superior alternative to earlier TWTs, and to traditional compiler construction techniques. The execution performance of CCL specifications is evaluated and shown to be acceptable. A number of related areas are also addressed, including tools for the rapid construction of individual compiler components, and tools for the construction of compilation systems for multiprocessor operating systems and hardware. This latter area is expected to become of particular interest in future years due to the anticipated increased use of multiprocessor architectures.

Design and implementation of graphical user interfaces for complex simulations

The development of increasingly powerful computers, which has enabled the use of windowing software, has also opened the way for the computer study, via simulation, of very complex physical systems. In this study, the main issues related to the implementation of interactive simulations of complex systems are identified and discussed. Most existing simulators are closed in the sense that there is no access to the source code and, even if it were available, adaptation to interaction with other systems would require extensive code re-writing. This work aims to increase the flexibility of such software by developing a set of object-oriented simulation classes, which can be extended, by subclassing, at any level, i.e., at the problem domain, presentation or interaction levels. A strategy, which involves the use of an object-oriented framework, concurrent execution of several simulation modules, use of a networked windowing system and the re-use of existing software written in procedural languages, is proposed. A prototype tool which combines these techniques has been implemented and is presented. It allows the on-line definition of the configuration of the physical system and generates the appropriate graphical user interface. Simulation routines have been developed for the chemical recovery cycle of a paper pulp mill. The application, by creation of new classes, of the prototype to the interactive simulation of this physical system is described. Besides providing visual feedback, the resulting graphical user interface greatly simplifies the interaction with this set of simulation modules. This study shows that considerable benefits can be obtained by application of computer science concepts to the engineering domain, by helping domain experts to tailor interactive tools to suit their needs.

Theme and thematic patterns in Spanish and English history texts

The aim of this research project is to compare published history textbooks written for upper-secondary/tertiary study in the U.S. and Spain using Halliday's (1994) Theme/Rheme construct. The motivation for using the Theme/Rheme construct to analyze professional texts in the two languages is two-fold. First of all, while there exists a multitude of studies at the grammatical and phonological levels between the two languages, very little analysis has been carried out in comparison at the level of text, beyond that of comparing L1/L2 student writing. Secondly, thematic considerations allow the analyst to highlight areas of textual organization in a systematic way for purposes of comparison. The basic hypothesis tested here rests on the premise that similarity in the social function of the texts results in similar Theme choice and thematic patterning across languages, barring certain linguistic constraints. The corpus for this study consists of 20 texts: 10 from various history textbooks published in the U.S. and 10 from various history textbooks published in Spain. The texts chosen represent a variety of authors, in order to control for author style or preference. Three overall areas of analysis were carried out, representing Halliday's (1994) three metafunctions: the ideational, the interpersonal and the textual. The ideational analysis shows similarities across the two corpora in terms of participant roles and circumstances as Theme, with a slight difference in participants involved in material processes, which is shown to reflect a minor difference in the construal of the field of history in the two cultures. The textual analysis shows overall similarities with respect to text organization, and the interpersonal analysis shows overall similarities as regards the downplay of discrepant interpretations of historical events as well as a low frequency of interactive textual features, manifesting the informational focus of the texts. At the same time, differences in results amongst texts within each of the corpora demonstrate possible effect of subject matter, in many cases, and individual author style in others. Overall, the results confirm that similarity in content, but above all in purpose and audience, result in texts which show similarities in textual features, setting aside certain grammatical constraints.

Design of an expandable manufacturing simulator through the application of object-oriented principles

In analysing manufacturing systems, for either design or operational reasons, failure to account for the potentially significant dynamics could produce invalid results. There are many analysis techniques that can be used, however, simulation is unique in its ability to assess detailed, dynamic behaviour. The use of simulation to analyse manufacturing systems would therefore seem appropriate if not essential. Many simulation software products are available but their ease of use and scope of application vary greatly. This is illustrated at one extreme by simulators which offer rapid but limited application whilst at the other simulation languages which are extremely flexible but tedious to code. Given that a typical manufacturing engineer does not posses in depth programming and simulation skills then the use of simulators over simulation languages would seem a more appropriate choice. Whilst simulators offer ease of use their limited functionality may preclude their use in many applications. The construction of current simulators makes it difficult to amend or extend the functionality of the system to meet new challenges. Some simulators could even become obsolete as users, demand modelling functionality that reflects the latest manufacturing system design and operation concepts. This thesis examines the deficiencies in current simulation tools and considers whether they can be overcome by the application of object-oriented principles. Object-oriented techniques have gained in popularity in recent years and are seen as having the potential to overcome any of the problems traditionally associated with software construction. There are a number of key concepts that are exploited in the work described in this thesis: the use of object-oriented techniques to act as a framework for abstracting engineering concepts into a simulation tool and the ability to reuse and extend object-oriented software. It is argued that current object-oriented simulation tools are deficient and that in designing such tools, object -oriented techniques should be used not just for the creation of individual simulation objects but for the creation of the complete software. This results in the ability to construct an easy to use simulator that is not limited by its initial functionality. The thesis presents the design of an object-oriented data driven simulator which can be freely extended. Discussion and work is focused on discrete parts manufacture. The system developed retains the ease of use typical of data driven simulators. Whilst removing any limitation on its potential range of applications. Reference is given to additions made to the simulator by other developers not involved in the original software development. Particular emphasis is put on the requirements of the manufacturing engineer and the need for Ihe engineer to carrv out dynamic evaluations.

Form follows function:model-driven engineering for clinical trials

We argue that, for certain constrained domains, elaborate model transformation technologies-implemented from scratch in general-purpose programming languages-are unnecessary for model-driven engineering; instead, lightweight configuration of commercial off-the-shelf productivity tools suffices. In particular, in the CancerGrid project, we have been developing model-driven techniques for the generation of software tools to support clinical trials. A domain metamodel captures the community's best practice in trial design. A scientist authors a trial protocol, modelling their trial by instantiating the metamodel; customized software artifacts to support trial execution are generated automatically from the scientist's model. The metamodel is expressed as an XML Schema, in such a way that it can be instantiated by completing a form to generate a conformant XML document. The same process works at a second level for trial execution: among the artifacts generated from the protocol are models of the data to be collected, and the clinician conducting the trial instantiates such models in reporting observations-again by completing a form to create a conformant XML document, representing the data gathered during that observation. Simple standard form management tools are all that is needed. Our approach is applicable to a wide variety of information-modelling domains: not just clinical trials, but also electronic public sector computing, customer relationship management, document workflow, and so on. © 2012 Springer-Verlag.

Attitudes to language in literary sources:beyond post-colonialism in nigerian literature

All societies display attitudes to (varieties of) languages that tell us about the relative status of the groups that are associated to them. One method to document these is the systematic study of public discourses, including literary production. How (varieties of) languages are used, mentioned and characterised in a literary work tells us about their social status, and any change in this status should therefore be followed by changes in judgements on languages. This is demonstrated by the present paper with reference to the language attitudes in Nigeria, on the basis of two iconic Nigerian novels 2004 Purple Hibiscus and in 1958 classic postcolonial Things Fall Apart, separated by nearly fifty years. Ibo as well as Pidgin, Nigerian and European Englishes are presented in Purple Hibiscus in nuanced complementary configurations. A strong axiological polarisation is by contrast offered in Things Fall Apart between Ibo speakers and Ibo interpreters who are presented as cruel and ridiculous traitors siding with the English colonising power whose language, curiously, is not commented upon. Showing how a replicable method applied to language judgements can document social organisation and change, these results validate the view that the Nigerian society and culture has moved beyond the historically situated postcolonialist movement to embrace a globalised paradigm. © 2010 Taylor & Francis.