Adding metadata to Orc to support reasoning about grid programs

Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications with metadata that provide a means to extend an Orc specification with implementation oriented information. We argue that such specifications provide a useful refinement step in allowing reasoning about implementation related issues ahead of actual implementation or even prototyping. As examples, we demonstrate how such extended specifications can be used for investigating security related issues and for evaluating the cost of handling grid resource faults. The approach emphasises a semi-formal style of reasoning that makes maximum use of programmer domain knowledge and experience.

Towards agent-oriented model-driven architecture

Model Driven Architecture supports the transformation from reusable models to executable software. Business representations, however, cannot be fully and explicitly represented in such models for direct transformation into running systems. Thus, once business needs change, the language abstractions used by MDA (e.g. Object Constraint Language / Action Semantics), being low level, have to be edited directly. We therefore describe an Agent-oriented Model Driven Architecture (AMDA) that uses a set of business models under continuous maintenance by business people, reflecting the current business needs and being associated with adaptive agents that interpret the captured knowledge to behave dynamically. Three contributions of the AMDA approach are identified: 1) to Agent-oriented Software Engineering, a method of building adaptive Multi-Agent Systems; 2) to MDA, a means of abstracting high level business-oriented models to align executable systems with their requirements at runtime; 3) to distributed systems, the interoperability of disparate components and services via the agent abstraction.

Imaging domains in BaTiO3 single crystal nanostructures: comparing information from transmission electron microscopy and piezo-force microscopy

This article compares and contrasts information
obtained, using transmission electron microscopy (TEM)
and piezo-force microscopy (PFM), on domain configurations
adopted in single crystal lamellae of BaTiO3, that had
been cut directly from bulk using a focused ion beam
microscope with top and bottom surfaces parallel to
{100}pseudocubic. Both forms of imaging reveal domain
walls parallel to {110}pseudocubic, consistent with sets of 90
domains with dipoles oriented parallel to the two
\001[pseudocubic directions in the plane of the lamellae.
However, the domain width was observed to be dramatically
larger using PFM than it was using TEM. This suggests
significant differences in the surface energy densities
that drive the domain formation in the first place, that could
relate to differences in the boundary conditions in the two
modes of imaging (TEM samples are imaged under high
vacuum, whereas PFM imaging was performed in air).
Attempts were made to map local dipole orientations
directly, using a form of ‘vector’ PFM. However, information
inferred was largely inconsistent with the known
crystallography of the samples, raising concern about the
levels of care needed for accurate interpretation of PFM
images.