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.

An operational approach to object-oriented software development

The traditional waterfall software life cycle model has several weaknesses. One problem is that a working version of a system is unavailable until a late stage in the development; any omissions and mistakes in the specification undetected until that stage can be costly to maintain. The operational approach which emphasises the construction of executable specifications can help to remedy this problem. An operational specification may be exercised to generate the behaviours of the specified system, thereby serving as a prototype to facilitate early validation of the system's functional requirements. Recent ideas have centred on using an existing operational method such as JSD in the specification phase of object-oriented development. An explicit transformation phase following specification is necessary in this approach because differences in abstractions between the two domains need to be bridged. This research explores an alternative approach of developing an operational specification method specifically for object-oriented development. By incorporating object-oriented concepts in operational specifications, the specifications have the advantage of directly facilitating implementation in an object-oriented language without requiring further significant transformations. In addition, object-oriented concepts can help the developer manage the complexity of the problem domain specification, whilst providing the user with a specification that closely reflects the real world and so the specification and its execution can be readily understood and validated. A graphical notation has been developed for the specification method which can capture the dynamic properties of an object-oriented system. A tool has also been implemented comprising an editor to facilitate the input of specifications, and an interpreter which can execute the specifications and graphically animate the behaviours of the specified systems.

The effective use of implicit parallelism through the use of an object-oriented programming language

This thesis explores translating well-written sequential programs in a subset of the Eiffel programming language - without syntactic or semantic extensions - into parallelised programs for execution on a distributed architecture. The main focus is on constructing two object-oriented models: a theoretical self-contained model of concurrency which enables a simplified second model for implementing the compiling process. There is a further presentation of principles that, if followed, maximise the potential levels of parallelism. Model of Concurrency. The concurrency model is designed to be a straightforward target for mapping sequential programs onto, thus making them parallel. It aids the compilation process by providing a high level of abstraction, including a useful model of parallel behaviour which enables easy incorporation of message interchange, locking, and synchronization of objects. Further, the model is sufficient such that a compiler can and has been practically built. Model of Compilation. The compilation-model's structure is based upon an object-oriented view of grammar descriptions and capitalises on both a recursive-descent style of processing and abstract syntax trees to perform the parsing. A composite-object view with an attribute grammar style of processing is used to extract sufficient semantic information for the parallelisation (i.e. code-generation) phase. Programming Principles. The set of principles presented are based upon information hiding, sharing and containment of objects and the dividing up of methods on the basis of a command/query division. When followed, the level of potential parallelism within the presented concurrency model is maximised. Further, these principles naturally arise from good programming practice. Summary. In summary this thesis shows that it is possible to compile well-written programs, written in a subset of Eiffel, into parallel programs without any syntactic additions or semantic alterations to Eiffel: i.e. no parallel primitives are added, and the parallel program is modelled to execute with equivalent semantics to the sequential version. If the programming principles are followed, a parallelised program achieves the maximum level of potential parallelisation within the concurrency model.

Researching XBRL as a socio-technical object

The Extensible Business Reporting Language (XBRL) is a grammar based on XML that is defined and described in the XBRL 2.1 specification. Instance documents are created by combining XBRL taxonomies and linkbases with data (facts) for a particular context. An alternative view is, XBRL is a mechanism for communicating information for decision-making between interested parties based on a generally accepted way of representing and digitally transmitting symbols of actions and events. XBRL may be both of these and many other things depending on how we frame our methodological understanding for the purposes of research. In this section we present an approach that conceives XBRL as a socio-technical object in the tradition of post-social perspectives (Knorr Cetina 1997; Latour 1996, 1999). © Deutscher Universitäts-Verlag GWV Fachverlage GmbH, Wiesbaden 2007.

Modeling geometric rules in object based models:an XML / GML approach

Most object-based approaches to Geographical Information Systems (GIS) have concentrated on the representation of geometric properties of objects in terms of fixed geometry. In our road traffic marking application domain we have a requirement to represent the static locations of the road markings but also enforce the associated regulations, which are typically geometric in nature. For example a give way line of a pedestrian crossing in the UK must be within 1100-3000 mm of the edge of the crossing pattern. In previous studies of the application of spatial rules (often called 'business logic') in GIS emphasis has been placed on the representation of topological constraints and data integrity checks. There is very little GIS literature that describes models for geometric rules, although there are some examples in the Computer Aided Design (CAD) literature. This paper introduces some of the ideas from so called variational CAD models to the GIS application domain, and extends these using a Geography Markup Language (GML) based representation. In our application we have an additional requirement; the geometric rules are often changed and vary from country to country so should be represented in a flexible manner. In this paper we describe an elegant solution to the representation of geometric rules, such as requiring lines to be offset from other objects. The method uses a feature-property model embraced in GML 3.1 and extends the possible relationships in feature collections to permit the application of parameterized geometric constraints to sub features. We show the parametric rule model we have developed and discuss the advantage of using simple parametric expressions in the rule base. We discuss the possibilities and limitations of our approach and relate our data model to GML 3.1. © 2006 Springer-Verlag Berlin Heidelberg.

Utilising fiction to promote english language acquisition

Towards the end of the university stage, students residing in the United Arab Emirates and specialising in subjects other than English are expected- amongst other university requirements- to have acquired adequate communicative competence as well as a repertoire of critical thinking skills. Despite the efforts made within the field of teaching English to EFL university students in the country, the output gained in terms of acquired skills and competencies is still below expectations. The main concerns of the current thesis are, therefore, a) to investigate the factors which inhibit EFL university students’ progress in the areas of acquiring adequate communicative competence as well as critical thinking skills, and b) to propose a course book and pedagogic methods to improve students’ progress in the areas of acquiring adequate communicative competence as well as critical thinking skills. Believing in the essential role literature plays in enhancing critical thinking and promoting communicative competence on the part of EFL learners, the current study introduces a course, designed and implemented by the researcher: LEARN AND GAIN. The proposed course is fiction-based language teaching, adopting the view that literature is a resource rather than an object, thus advocating the use of literature as one of the main resources in foreign/second language acquisition. Investigating whether or not the proposed course was effective in promoting EFL university students’ communicative competence as well as enhancing their critical thinking skills, a study sample taken from the study population was selected. Adopting an experimental design, the research project involved two groups: experimental and control. The experimental group students were exposed to the proposed course whilst the control group students were exposed to a general English language course. To examine treatment effectiveness, the researcher set and administered a pre-post test. Divided into two main parts, communicative critical reading competence and communicative critical writing competence, the pre-post test measured subjects’ communicative critical reading competence and subjects’ communicative critical writing competence. In addition, a pre-post questionnaire was administered and a semi-structured interview was conducted involving the experimental group students, to gain an awareness of students’ attitudes towards learning literary texts in general, and the proposed course in particular. To examine issues of interest and relevance, gender differences: male vs. female, and university major: science vs. non-science, were also examined for enrichment purposes. For the purpose of gathering sufficient data about subjects’ achievements on the pre-post, the following statistical tests were conducted: Mann-Whitney test, and paired data t-test. Based on the statistical findings, the experimental group students’ performance on the communicative critical reading competence pre-post test and the communicative critical writing competence pre-post test was significantly better than their counterparts of the control group students. Speaking of gender differences in relation to language performance on the communicative critical reading competence pre-post test and the communicative critical writing competence pre-post test, no significant differences were cited. Neither did the researcher cite any significant performance differences between science/non-science students on the communicative critical reading competence pre-post test and the communicative critical writing competence pre-post test. As far as the questionnaire’s findings are concerned, the experimental group students’ responses to the post-questionnaire’s items were more positive than those of their responses to the pre-questionnaire’s, thus indicating some positive attitudes towards literature, which students possibly gained throughout the course of implementation. Relating the discussion to the interview’s results, students conveyed their satisfaction with the proposed course, emphasising that promoting English language skills through the use of literary texts was rewarding. In the light of findings and conclusions, a number of recommendations as well as implications have been proposed. The current study aimed to arrive at some appropriate suggestions to a number of enquiries, yet concluding with some areas of enquiry to be explored for further research.

Trans-language, trans-culture, trans-translation?

The growth of the discipline of translation studies has been accompanied by are newed reflection on the object of research and our metalanguage. These developments have also been necessitated by the diversification of professions within the language industry. The very label translation is often avoided in favour of alternative terms, such as localisation (of software), trans creation (of advertising), trans editing (of information from press agencies). The competences framework developed for the European Master’s in Translation network speaks of experts in multilingual and multimedia communication to account for the complexity of translation competence. This paper addresses the following related questions: (i) How can translation competence in such awide sense be developed in training programmes? (ii) Do some competences required in the industry go beyond translation competence? and (iii) What challenges do labels such as trans creation pose?