A graphical specification of model transformations with triple graph grammars

Models and model transformations are the core concepts of OMG's MDA (TM) approach. Within this approach, most models are derived from the MOF and have a graph-based nature. In contrast, most of the current model transformations are specified textually. To enable a graphical specification of model transformation rules, this paper proposes to use triple graph grammars as declarative specification formalism. These triple graph grammars can be specified within the FUJABA tool and we argue that these rules can be more easily specified and they become more understandable and maintainable. To show the practicability of our approach, we present how to generate Tefkat rules from triple graph grammar rules, which helps to integrate triple graph grammars with a state of a art model transformation tool and shows the expressiveness of the concept.

An automated failure mode and effect analysis based on high-level design specificication with behavior trees

Formal methods have significant benefits for developing safety critical systems, in that they allow for correctness proofs, model checking safety and liveness properties, deadlock checking, etc. However, formal methods do not scale very well and demand specialist skills, when developing real-world systems. For these reasons, development and analysis of large-scale safety critical systems will require effective integration of formal and informal methods. In this paper, we use such an integrative approach to automate Failure Modes and Effects Analysis (FMEA), a widely used system safety analysis technique, using a high-level graphical modelling notation (Behavior Trees) and model checking. We inject component failure modes into the Behavior Trees and translate the resulting Behavior Trees to SAL code. This enables us to model check if the system in the presence of these faults satisfies its safety properties, specified by temporal logic formulas. The benefit of this process is tool support that automates the tedious and error-prone aspects of FMEA.

Refinement laws for verifying library subroutine adaptation

In component-based software engineering programs are constructed from pre-defined software library modules. However, if the library's subroutines do not exactly match the programmer's requirements, the subroutines' code must be adapted accordingly. For this process to be acceptable in safety or mission-critical applications, where all code must be proven correct, it must be possible to verify the correctness of the adaptations themselves. In this paper we show how refinement theory can be used to model typical adaptation steps and to define the conditions that must be proven to verify that a library subroutine has been adapted correctly.

Sound source localisation through active audition

This paper presents a novel method for enabling a robot to determine the direction to a sound source through interacting with its environment. The method uses a new neural network, the Parameter-Less Self-Organizing Map algorithm, and reinforcement learning to achieve rapid and accurate response.

Applying a disciplined approach to the development of a context-aware communication application

Pervasive computing applications must be engineered to provide unprecedented levels of flexibility in order to reconfigure and adapt in response to changes in computing resources and user requirements. To meet these challenges, appropriate software engineering abstractions and infrastructure are required as a platform on which to build adaptive applications. In this paper, we demonstrate the use of a disciplined, model-based approach to engineer a context-aware Session Initiation Protocol (SIP) based communication application. This disciplined approach builds on our previously developed conceptual models and infrastructural components, which enable the description, acquisition, management and exploitation of arbitrary types of context and user preference information to enable adaptation to context changes

Patterns in complex systems modeling

The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, researchers gain experience in this form of modeling, choosing algorithms, techniques, and frameworks that improve the quality, confidence level, and speed of development of their models. This increasing collective experience of complex systems modellers is a resource that should be captured. Fields such as software engineering and architecture have benefited from the development of generic solutions to recurring problems, called patterns. Using pattern development techniques from these fields, insights from communities such as learning and information processing, data mining, bioinformatics, and agent-based modeling can be identified and captured. Collections of such 'pattern languages' would allow knowledge gained through experience to be readily accessible to less-experienced practitioners and to other domains. This paper proposes a methodology for capturing the wisdom of computational modelers by introducing example visualization patterns, and a pattern classification system for analyzing the relationship between micro and macro behaviour in complex systems models. We anticipate that a new field of complex systems patterns will provide an invaluable resource for both practicing and future generations of modelers.

A Constant Torque Micro-Viscometer

We present a technique to measure the viscosity of microscopic volumes of liquid using rotating optical tweezers. The technique can be used when only microlitre (or less) sample volumes are available, for example biological or medical samples, or to make local measurements in complicated micro-structures such as cells. The rotation of the optical tweezers is achieved using the polarisation of the trapping light to rotate a trapped birefringent spherical crystal, called vaterite. Transfer of angular momentum from a circularly polarised beam to the particle causes the rotation. The transmitted light can then be analysed to determine the applied torque to the particle and its rotation rate. The applied torque is determined from the change in the circular polarisation of the beam caused by the vaterite and the rotation rate is used to find the viscous drag on the rotating spherical particle. The viscosity of the surrounding liquid can then be determined. Using this technique we measured the viscosity of liquids at room temperature, which agree well with tabulated values. We also study the local heating effects due to absorption of the trapping laser beam. We report heating of 50-70 K/W in the region of liquid surrounding the particle.

Experiments with Bose-Einstein condensates on an atom chip

We describe the production of BECs on a new type of atom chip based on silver foil. Our atom chip is fabricated with thick wires capable of carrying currents of several amperes without overheating. The silver surface is highly reflective to light resonant with optical transitions used for Rb. The pattern on the chip consists of two parallel Z-trap wires, capable of producing two-wire guide, and two additional endcap wires for varying the axial confinement. Condensates are produced in magnetic microtraps formed within 1 mm of surface of the chip. We have observed the fragmentation of cold atom clouds when brought close to the chip surface. This results from a perturbed trapping potential caused by nanometer deviations of the current path through the wires on the chip. We present results of fragmentation of cold clouds at distances below 100 µm from the wires and investigate the origin of the deviating current. The fragmentation has different characteristics to those seen with copper conductors. The dynamics of atoms in these microtraps is also investigated. ©2005 COPYRIGHT SPIE--The International Society for Optical Engineering. Downloading of the abstract is permitted for personal use only.

Growth of crystals in optical tweezers

We report here on the use of optical tweezers in the growth and manipulation of protein and inorganic crystals. Sodium chloride and hen egg-white lysozyme crystals were grown in a batch process, and then seeds from the solution were introduced into the optical tweezers. The regular and controllable shape and the known optical birefringence in these structures allowed a detailed study of the orientation effects in the beam due to both polarization and gradient forces. Additionally, we determined that the laser tweezers could be used to suspend a crystal for three-dimensional growth under varying conditions. Studies included increasing the protein concentration, thermal cycling, and a diffusion-induced increase in precipitant concentration. Preliminary studies on the use of the tweezers to create a localized seed for growth from polyethylene oxide solutions are also reported.

Compositional class refinement in object-Z

Object-Z allows coupling constraints between classes which, on the one hand, facilitate specification at a high level of abstraction, but, on the other hand, make class refinement non-compositional. The consequence of this is that refinement is not practical for large Systems. This paper overcomes this limitation by introducing a methodology for compositional class refinement in Object-Z. The key step is an equivalence transformation of an arbitrary Object-Z specification to one in which introduced constraints prohibit non-compositional refinements. The methodology also allows the constraints which couple classes to be refined yielding an unrestricted approach to compositional class refinement.