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.

Combining data driven programming with component based software development:with applications in geovisualisation and dynamic data driven application systems

Software development methodologies are becoming increasingly abstract, progressing from low level assembly and implementation languages such as C and Ada, to component based approaches that can be used to assemble applications using technologies such as JavaBeans and the .NET framework. Meanwhile, model driven approaches emphasise the role of higher level models and notations, and embody a process of automatically deriving lower level representations and concrete software implementations. The relationship between data and software is also evolving. Modern data formats are becoming increasingly standardised, open and empowered in order to support a growing need to share data in both academia and industry. Many contemporary data formats, most notably those based on XML, are self-describing, able to specify valid data structure and content, and can also describe data manipulations and transformations. Furthermore, while applications of the past have made extensive use of data, the runtime behaviour of future applications may be driven by data, as demonstrated by the field of dynamic data driven application systems. The combination of empowered data formats and high level software development methodologies forms the basis of modern game development technologies, which drive software capabilities and runtime behaviour using empowered data formats describing game content. While low level libraries provide optimised runtime execution, content data is used to drive a wide variety of interactive and immersive experiences. This thesis describes the Fluid project, which combines component based software development and game development technologies in order to define novel component technologies for the description of data driven component based applications. The thesis makes explicit contributions to the fields of component based software development and visualisation of spatiotemporal scenes, and also describes potential implications for game development technologies. The thesis also proposes a number of developments in dynamic data driven application systems in order to further empower the role of data in this field.

An investigation into the wavelength stability of polymer optical fibre Bragg gratings

The inscription of Bragg gratings has been demonstrated in PMMA-based polymer optical fibre. The water affinity of PMMA can introduce significant wavelength change in a polymer optical fibre Bragg grating (POFBG). In polymer optical fibre losses are much higher than with silica fibre. Very strong absorption bands related to higher harmonics of vibrations of the C-H bond dominate throughout the visible and near infrared. Molecular vibration in substances generates heat, which is referred to as the thermal effect of molecular vibration. This means that a large part of the absorption of optical energy in those spectral bands will convert into thermal energy, which eventually drives water content out of the polymer fibre and reduces the wavelength of POFBG. In this work we have investigated the wavelength stability of POFBGs in different circumstances. The experiment has shown that the characteristic wavelength of a POFBG starts decreasing after a light source is applied to it. This decrease continues until equilibrium inside the fibre is established, depending on the initial water content inside the fibre, the surrounding humidity, the optical power applied, and the fibre size. Our investigation has shown that POFBGs operating at around 850 nm show much smaller wavelength reduction than those operating at around 1550 nm in the same fibre; POFBGs with different diameters show different changes; POFBGs powered by a low level light source, or operating in a very dry environment are least affected by this thermal effect.

Demountable connection for polymer optical fiber grating sensors

The authors fabricated a demountable Ferrule connector/Physical contact connection between silica fiber and a polymer optical fiber (POF) containing a fiber Bragg grating. The use of a connector for POF grating sensors eliminates the limitations of ultraviolet glued connections and increases the ease with which the devices can be applied to real-world measurement tasks.

Strain response of POF sensors

With regard to polymer fibre Bragg gratings, we investigate one of the consequences of the visco-elastic nature of the constituent polymer: hysteresis in the response of wavelength shift vs sensor elongation. We show that when a grating sensor is directly bonded to a substrate, the hysteresis is reduced by a factor of 10 from the case where the sensor is freely suspended between two supports.

Influence of mounting on the hysteresis of polymer fiber Bragg grating strain sensors

Fiber Bragg grating sensors recorded in poly(methyl methacrylate) fiber often exhibit hysteresis in the response of Bragg wavelength to strain, particularly when exposed to high levels of strain. We show that, when such a fiber grating sensor is bonded directly to a substrate, the hysteresis is reduced by more than 12 times, compared to the case where the sensor is suspended freely between two supports. © 2013 Optical Society of America.

Effects of annealing, pre-tension and mounting on the hysteresis of polymer strain sensors

When exposed to high levels of strain, polymer optical fibre grating sensors recorded in poly(methyl methacrylate) based fibre often exhibit hysteresis in the response of their Bragg wavelength to strain. We demonstrate that the application of pre-tension and annealing of the polymer fibre can reduce this hysteresis when the fibre is suspended freely between two supports, but much better performance is obtained when the sensor is attached directly to a substrate. In this case, the hysteresis can be lessened by more than a factor of 12. © 2014 IOP Publishing Ltd.

Demountable connection for polymer optical fiber grating sensors

The authors fabricated a demountable Ferrule connector/Physical contact connection between silica fiber and a polymer optical fiber (POF) containing a fiber Bragg grating. The use of a connector for POF grating sensors eliminates the limitations of ultraviolet glued connections and increases the ease with which the devices can be applied to real-world measurement tasks. © 2012 Society of Photo-Optical Instrumentation Engineers (SPIE).

Wavelength drift of PMMA-based optical fiber bragg grating induced by optical absorption

The transmission loss in polymer optical fiber (POF) is much higher than that in silica fiber. Very strong absorption bands dominate throughout the visible and near infrared. Optical absorption increases the internal temperature of the polymer fiber and reduces the wavelength of any POF Bragg grating (POFBG) inscribed within the fiber. In this letter, we have investigated the wavelength drift of FBGs inscribed in poly(methyl methacrylate)-based fiber under illumination at different wavelengths. The experiments have shown that the characteristic wavelength of such a POFBG starts decreasing after a light source is applied to it. This decrease continues until equilibrium inside the fiber is established, depending on the surrounding humidity, optical power applied, and operation wavelength.

An investigation into the wavelength stability of polymer optical fibre Bragg gratings

The inscription of Bragg gratings has been demonstrated in PMMA-based polymer optical fibre. The water affinity of PMMA can introduce significant wavelength change in a polymer optical fibre Bragg grating (POFBG). In polymer optical fibre losses are much higher than with silica fibre. Very strong absorption bands related to higher harmonics of vibrations of the C-H bond dominate throughout the visible and near infrared. Molecular vibration in substances generates heat, which is referred to as the thermal effect of molecular vibration. This means that a large part of the absorption of optical energy in those spectral bands will convert into thermal energy, which eventually drives water content out of the polymer fibre and reduces the wavelength of POFBG. In this work we have investigated the wavelength stability of POFBGs in different circumstances. The experiment has shown that the characteristic wavelength of a POFBG starts decreasing after a light source is applied to it. This decrease continues until equilibrium inside the fibre is established, depending on the initial water content inside the fibre, the surrounding humidity, the optical power applied, and the fibre size. Our investigation has shown that POFBGs operating at around 850 nm show much smaller wavelength reduction than those operating at around 1550 nm in the same fibre; POFBGs with different diameters show different changes; POFBGs powered by a low level light source, or operating in a very dry environment are least affected by this thermal effect.

Revisiting goal-oriented models for self-aware systems-of-systems

Systems-of-systems (SoS) are systems resulted from the interaction among other independent constituent systems that collaborate to offer new functionalities towards accomplishing global missions. Each of these constituent systems accomplishes its individual missions and is able to contribute to the achievement of the global missions of the SoS, both being viewed as a set of associated goals. In the perspective of self-aware systems, SoS need to exhibit goal-awareness, i.e., They need to be aware of their own goals and of how their constituent systems contribute to their accomplishment. In this paper, we revisit goal-oriented concepts aiming at identifying and modeling goals at both SoS level and the constituent systems level. Moreover, we take advantage of such goal-oriented models to express the relationship among goals at these levels as well as to define how each constituent system can contribute to the accomplishment of global goals of an SoS. In addition, we shed light on important issues related to goal modeling in self-aware SoS to be addressed in future research.

Moderate-intensity statin therapy seems ineffective in primary cardiovascular prevention in patients with type 2 diabetes complicated by nephropathy:a multicenter prospective 8 years follow up study

Background: Although numerous studies and metanalysis have shown the beneficial effect of statin therapy in CVD secondary prevention, there is still controversy such the use of statins for primary CVD prevention in patients with DM. The purpose of this study was to evaluate the occurrence of total major adverse cardio-vascular events (MACE) in a cohort of patients with type 2 diabetes complicated by nephropathy treated with statins, in order to verify real life effect of statin on CVD primary prevention. Methods: We conducted an observational prospective multicenter study on 564 patients with type 2 diabetic nephropathy free of cardiovascular disease attending 21 national outpatient diabetes clinics and followed them up for 8 years. 169 of them were treated with statins (group A) while 395 were not on statins (group B). Results: Notably, none of the patients was treated with a high-intensity statin therapy according to last ADA position statement. Total MACE occurred in 32 patients from group A and in 68 patients from group B. Fatal MACE occurred in 13 patients from group A and in 30 from group B; nonfatal MACE occurred in 19 patients from group A and in 38 patients from group B. The analysis of the Kaplan-Meier survival curves showed a not statistically significant difference in the incidence of total (p 0.758), fatal (p 0.474) and nonfatal (p 0.812) MACE between the two groups. HbA1c only showed a significant difference in the incidence of MACE between the two groups (HR 1.201, CI 1.041-1.387, p 0.012). Conclusions: These findings suggest that, in a real clinical setting, moderate-intensity statin treatment is ineffective in cardiovascular primary prevention for patients with diabetic nephropathy.