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.

The transformational implementation of JSD process specifications via finite automata representation

Conventional structured methods of software engineering are often based on the use of functional decomposition coupled with the Waterfall development process model. This approach is argued to be inadequate for coping with the evolutionary nature of large software systems. Alternative development paradigms, including the operational paradigm and the transformational paradigm, have been proposed to address the inadequacies of this conventional view of software developement, and these are reviewed. JSD is presented as an example of an operational approach to software engineering, and is contrasted with other well documented examples. The thesis shows how aspects of JSD can be characterised with reference to formal language theory and automata theory. In particular, it is noted that Jackson structure diagrams are equivalent to regular expressions and can be thought of as specifying corresponding finite automata. The thesis discusses the automatic transformation of structure diagrams into finite automata using an algorithm adapted from compiler theory, and then extends the technique to deal with areas of JSD which are not strictly formalisable in terms of regular languages. In particular, an elegant and novel method for dealing with so called recognition (or parsing) difficulties is described,. Various applications of the extended technique are described. They include a new method of automatically implementing the dismemberment transformation; an efficient way of implementing inversion in languages lacking a goto-statement; and a new in-the-large implementation strategy.

Geological reference standards (JLK-1,JSD-1, JSD-2, JSD-3,JMS-1, JMS-2) measured by Itrax-XRF core scanner in different exposure times

X-ray fluorescence (XRF) core-scanning is a fast and nondestructive technique to assess elemental variations of unprocessed sediments. However, although the exposure time of XRF-scanning directly affects the scanning counts and total measurement time, only a few studies have considered the influence of exposure time during the scan. How to select an optimal exposure time to achieve reliable results and reduce the total measurement time is an important issue. To address this question, six geological reference materials from the Geological Survey of Japan (JLK-1, JMS-1, JMS-2, JSD-1, JSD-2, and JSD-3) were scanned by the Itrax-XRF core scanner using the Mo- and the Cr-tube with different exposure times to allow a comparison of scanning counts with absolute concentrations. The regression lines and correlation coefficients of elements that are generally used in paleoenvironmental studies were examined for the different exposure times and X-ray tubes. The results show that for those elements with relatively high concentrations or high detectability, the correlation coefficients are higher than 0.90 for all exposure times. In contrast, for the low detectability or low concentration elements, the correlation coefficients are relatively low, and improve little with increased exposure time. Therefore, we suggest that the influence of different exposure times is insignificant for the accuracy of the measurements. Thus, caution must be taken when interpreting the results of elements with low detectability, even when the exposure times are long and scanning counts are reasonably high.

Impact de l'organisation institutionnelle sur le déficit protéino-énergétique des patients dialysés hospitalisés

Introduction et but de l'étude. - Le Nutrition Day 2010 réalisédans le service de dialyse aiguë de notre CHU a montré un taux dedénutrition de 64 % chez le patient dialysé hospitalisé avec un déficitnutritionnel moyen le jour de dialyse de 1 000 kcal et 45 g deprotéines. Les horaires de repas dans l'unité d'hospitalisation et dedialyse au centre de dialyse se chevauchent. Le but de cette étude estd'évaluer l'impact de l'organisation institutionnelle sur l'apportprotéino-énergétique du patient hémodialysé hospitalisé.Matériel et Méthodes. - Étude exploratoire et transversale. Laconsommation alimentaire et les obstacles potentiels à l'alimentationd'origine logistique ont été relevés durant deux jours consécutifs,un jour de dialyse (JD) et un jour sans dialyse (JSD). Les motifsde non consommation ou de consommation partielle des repas etcollations ont été relevés auprès des patients immédiatement aprèsles repas principaux, au moyen d'entretiens semi-dirigés. Lesingesta ont été comparés aux besoins protéino-énergétiques pour lespatients hémodialysés (ESPEN, 2006). Une évaluation nutritionnellea été réalisée chez tous les patients.Résultats. - Vingt-six patients (85 % d'hommes) ont été inclus,âgés de 65,7 ± 10,6 ans (moy ± ET). Le BMI moyen est de 24,9± 5,9 kg/m2, le score de Charlson de 7,2 ± 2,7 et 54 % ont un NRS-2002 ≥ 3. Plus de deux tiers des patients (68 %) ont perdu du poidset 64 % sont dénutris. Au total, 147 repas et 56 collations ont été étudiés,dont 74 repas et 32 collations pour le JD. Le JD, 56 % des collationsne sont pas consommées contre 21 % le JSD. La couverturemoyenne des besoins énergétiques et protéiques le JD est respectivementde 48 % et 57 %, sans différence avec le JSD. Les motifs denon consommation les plus fréquemment cités sont, par ordredécroissant : satiété précoce, inappétence, dégoût des mets proposés,peurs et représentations alimentaires et mises à jeun pour procéduresmédicales. Ils sont identiques les JD et les JSD. Lesobstacles à l'alimentation inhérents au patient sont 2,6 fois plus fréquentsque ceux liés à l'organisation hospitalière. Une douleur(légère à modérée), une dyspnée et une xérostomie affectent respectivement100 %, 54 % et 48 % des patients, qui ne considèrent pasces symptômes comme une cause de non consommation alimentaire.Conclusion. - Les apports protéino-énergétiques sont insuffisantset près de deux tiers des sujets sont dénutris. L'organisationhospitalière n'est pas identifiée par les patients comme un obstacleexpliquant le déficit énergétique et protéique quotidien. Les obstaclesà l'alimentation orale sont principalement inhérents à l'état desanté des patients. L'instauration d'une alimentation spécifique auxpatients dialysés hospitalisés (« humide », fractionnée, enrichie enprotéines et en énergie) de même que la prescription plus systématiqued'un support nutritionnel devraient contribuer à la couverturede leurs besoins nutritionnels.

24-timmars myndigheten, säkerhet, design och definition

Via Internet kan vi sköta många av våra dagliga rutiner. Vi kan handla, betala räkningar, beställa biljetter till diverse evenemang, resor med mera. Även den offentliga sektorn erbjuder alltfler av sina tjänster elektroniskt. Det största hindret för utvecklingen av elektroniska tjänster är den höga säkerhet som måste ställas på exempelvis identifiering och signering. För denna säkerhet kan med fördel PKI, Public Key Infrastructure, användas. Det är en säkerhetsmetod som innebär att man använder privata och publika nycklar. PKI-tekniken skyddar bra mot avlyssning eftersom identifieringen bygger på att ett slumptal krypteras, och att resultatet därför ser olika ut från gång till gång.Socialtjänsten på Borlänge Kommun har påbörjat utvecklingen av en elektronisk tjänst som kommer att innebära att personer som beviljats ekonomiskt bistånd, ska kunna förnya sin ansökan via Internet. Personen i fråga ska även kunna se de uppgifter som Socialtjänsten har ifrån övriga inblandade myndigheter, samt vika utbetalningar som Socialtjänsten gjort och ska göra till personen. I och med detta exjobb kan Borlänge Kommun visa upp en prototyp som fungerar i stort sett som de vill att den skarpa tjänsten ska göraSverige är en av pionjärerna i världen att öppna förvaltningen på Internet, och Borlänge kommun har som en av de första kommunerna i Sverige startat utvecklingen av en tjänst i enlighet med "24-timmars myndigheten".

Potential use of polyacrylamide for soil erosion control in Brazil

Since soil erosion is currently a worldwide threat, its control has become a necessity. The performance and effectiveness of synthetic organic polymers such polyacrylamide (PAM), have been intensively studied, especially for erosion control in temperate climate conditions. In tropical regions, however, where climatic conditions are usually severe, very little research has been conducted. The Brazilian region is a good example, where few papers on this subject exist. In addition to the severe climatic conditions, careless land use has been prevalent for many years. The use of PAM for erosion control in Brazilian soils may be a good option to minimize the impacts of the soil degradation process, but more research is required to optimize its application.

Application of laser-induced plasma spectroscopy to the measurement of transition probabilities of Ca I

We present improved experimental transition probabilities for the optical Ca I 4s4p-4s4d and 4s4p-4p2multiplets. The values were determined with an absolute uncertainty of 10%. Transition probabilities have been determined by the branching ratios from the measurement of relative line intensities emitted by laser-induced plasma (LIP). The line intensities were obtained with the target (leadcalcium) placed in argon atmosphere at 6 Torr, recorded at a 2.5 µs delay from the laser pulse, which provides appropriate measurement conditions, and analysed between 350.0 and 550.0 nm. They are measured when the plasma reaches local thermodynamic equilibrium (LTE). The plasma is characterized by electron temperature (T) of 11400 K and an electron number density (Ne) of 1.1 x 1016 cm-3. The influence self-absorption has been estimated for every line, and plasma homogeneity has been checked. The values obtained were compared with previous experimental values in the literature. The method for measurement of transition probabilities using laser-induced plasma as spectroscopic source has been checked.

Determination and analysis of plasma radiative properties for numerical simulations of laboratory radiative blast waves launched in xenon clusters

Radiative shock waves play a pivotal role in the transport energy into the stellar medium. This fact has led to many efforts to scale the astrophysical phenomena to accessible laboratory conditions and their study has been highlighted as an area requiring further experimental investigations. Low density material with high atomic mass is suitable to achieve radiative regime, and, therefore, low density xenon plasmas are commonly used for the medium in which the radiative shocks propagate. The knowledge of the plasma radiative properties is crucial for the correct understanding and for the hydrodynamic simulations of radiative shocks. In this work, we perform an analysis of the radiative properties of xenon plasmas in a range of matter densities and electron temperatures typically found in laboratory experiments of radiative shocks launched in xenon plasmas. Furthermore, for a particular experiment, our analysis is applied to make a diagnostics of the electron temperatures of the radiative shocks since they could not be experimentally measured

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.

An Exploration of parametric software cost estimating models for Jackson Systems Development

Most parametric software cost estimation models used today evolved in the late 70's and early 80's. At that time, the dominant software development techniques being used were the early 'structured methods'. Since then, several new systems development paradigms and methods have emerged, one being Jackson Systems Development (JSD). As current cost estimating methods do not take account of these developments, their non-universality means they cannot provide adequate estimates of effort and hence cost. In order to address these shortcomings two new estimation methods have been developed for JSD projects. One of these methods JSD-FPA, is a top-down estimating method, based on the existing MKII function point method. The other method, JSD-COCOMO, is a sizing technique which sizes a project, in terms of lines of code, from the process structure diagrams and thus provides an input to the traditional COCOMO method.The JSD-FPA method allows JSD projects in both the real-time and scientific application areas to be costed, as well as the commercial information systems applications to which FPA is usually applied. The method is based upon a three-dimensional view of a system specification as opposed to the largely data-oriented view traditionally used by FPA. The method uses counts of various attributes of a JSD specification to develop a metric which provides an indication of the size of the system to be developed. This size metric is then transformed into an estimate of effort by calculating past project productivity and utilising this figure to predict the effort and hence cost of a future project. The effort estimates produced were validated by comparing them against the effort figures for six actual projects.The JSD-COCOMO method uses counts of the levels in a process structure chart as the input to an empirically derived model which transforms them into an estimate of delivered source code instructions.

Modelação de juntas adesivas por modelos de dano coesivo utilizando o método direto

A utilização de adesivos hoje em dia encontra-se de tal forma disseminada que é transversal a diversos setores do mercado, como a indústria aeroespacial, aeronáutica, automóvel e do desporto. De facto, o uso de ligações adesivas em estruturas mecânicas tem vindo a crescer, na medida em que estes têm substituído os métodos de ligação convencionais, tais como brasagem, rebitagem, ligações aparafusadas e soldadura. No geral, as ligações adesivas apresentam diversas vantagens, desde a diminuição do peso, redução da concentração de tensões, facilidade de fabrico, bom comportamento a solicitações cíclicas e capacidade de unir materiais dissimilares. O crescente interesse da indústria nas ligações adesivas tem por base o aumento da confiabilidade nos métodos de previsão de resistência de estruturas adesivas. Neste contexto surgem os Modelos de Dano Coesivo, que permitem simular o crescimento do dano em estruturas, após introdução das leis coesivas previamente estimadas nos modelos numéricos. Uma das fases mais importantes neste método de previsão é a estimativa das leis coesivas em tração e corte, pelo que se torna de grande relevância a existência e validação de métodos precisos para a obtenção destas leis. Este trabalho visa a validação de leis coesivas em tração e corte, estimadas pela aplicação do método direto, na previsão da resistência de juntas com geometria de solicitação mista. Neste âmbito, ensaiaram-se JSS e JSD com diferentes comprimentos de sobreposição e com adesivos de diferente ductilidade. Foram considerados os adesivos Araldite® AV138, de elevada resistência e baixa ductilidade, o Araldite® 2015, de moderada ductilidade e resistência intermédia, e o SikaForce® 7752, de baixa resistência e elevada ductilidade. As leis coesivas em modo puro serviram de base para a criação de leis simplificadas triangulares, trapezoidais e linearesexponenciais, que foram testadas para cada um dos adesivos. A validação das mesmas consumou-se por comparação das previsões numéricas com os resultados experimentais. Procedeu-se também a uma análise de tensões de arrancamento e de corte no adesivo, de modo a compreender a influência das tensões na resistência das juntas. A utilização do método direto permitiu obter previsões de resistência bastante precisas, indicando as formas de leis coesivas mais adequadas para cada conjunto adesivo/geometria de junta. Para além disso, para as condições geométricas e materiais consideradas, este estudo permitiu concluir que não se cometem erros significativos na escolha de uma lei menos adequada.