Metamodel-based model conformance and multiview consistency checking

Model-driven development, using languages such as UML and BON, often makes use of multiple diagrams (e.g., class and sequence diagrams) when modeling systems. These diagrams, presenting different views of a system of interest, may be inconsistent. A metamodel provides a unifying framework in which to ensure and check consistency, while at the same time providing the means to distinguish between valid and invalid models, that is, conformance. Two formal specifications of the metamodel for an object-oriented modeling language are presented, and it is shown how to use these specifications for model conformance and multiview consistency checking. Comparisons are made in terms of completeness and the level of automation each provide for checking multiview consistency and model conformance. The lessons learned from applying formal techniques to the problems of metamodeling, model conformance, and multiview consistency checking are summarized

Integrating BON and Object-Z.

A significant limitation with object-oriented formal specification languages, such as Object-Z, is that they lack development and management processes, which can be used to guide the production of reliable, robust object-oriented systems. An integration of an object-oriented methodology, BON, and Object-Z is presented in order to add an industrially validated development process to Object-Z. An extensible CASE tool for BON is also described that supports the integration with an Object-Z code generation engine

Semantic Component Composition

Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them are "custom"; the rest are reused or refactored existing pieces of software. Unfortunately, this is an idealized situation. Just because two components should work together does not mean that they will work together. The "glue" that holds components together is not just technology. The contracts that bind complex systems together implicitly define more than their explicit type. These "conceptual contracts" describe essential aspects of extra-system semantics: e.g., object models, type systems, data representation, interface action semantics, legal and contractual obligations, and more. Designers and developers spend inordinate amounts of time technologically duct-taping systems to fulfill these conceptual contracts because system-wide semantics have not been rigorously characterized or codified. This paper describes a formal characterization of the problem and discusses an initial implementation of the resulting theoretical system.Comment: 9 pages, submitted to GCSE/SAIG '0

Microarchitected Compliant Scaffolds of Pyrolytic Carbon for 3D Muscle Cell Growth

The integration of additive manufacturing technologies with the pyrolysis of polymeric precursors enables the design-controlled fabrication of architected 3D pyrolytic carbon (PyC) structures with complex architectural details. Despite great promise, their use in cellular interaction remains unexplored. This study pioneers the utilization of microarchitected 3D PyC structures as biocompatible scaffolds for the colonization of muscle cells in a 3D environment. PyC scaffolds are fabricated using micro-stereolithography, followed by pyrolysis. Furthermore, an innovative design strategy using revolute joints is employed to obtain novel, compliant structures of architected PyC. The pyrolysis process results in a pyrolysis temperature- and design-geometry-dependent shrinkage of up to 73%, enabling the geometrical features of microarchitected compatible with skeletal muscle cells. The stiffness of architected PyC varies with the pyrolysis temperature, with the highest value of 29.57 ± 0.78 GPa for 900 °C. The PyC scaffolds exhibit excellent biocompatibility and yield 3D cell colonization while culturing skeletal muscle C2C12 cells. They further induce good actin fiber alignment along the compliant PyC construction. However, no conclusive myogenic differentiation is observed here. Nevertheless, these results are highly promising for architected PyC scaffolds as multifunctional tissue implants and encourage more investigations in employing compliant architected PyC structures for high-performance tissue engineering applications

Bohemians and Gentlemen. The representation of artists in British society 1850-1950

How do we understand the artist; how do we imagine he or she lives? Is our view formed by visiting exhibitions or artists' studios, reading criticism, biography or novels, looking at self-portraits and photographs, watching films? Do we feel we know Vermeer through looking at his paintings, reading a catalogue or Tracy Chevalier's historic novel or watching Colin Firth and Scarlet Johansson star in Girl with a Pearl Earring? In this lecture - and my proposed book - I shall be examining the multi-faceted construction of the artistic identity, the imagined artist, and how it changed across an important period in British art history. I shall be looking at the public reception and perception of the artist and the artist's own performance for his or her public, a performance that could be influenced or even controlled by the dealer. I shall trace the relationship, sometimes the battle, between two supposedly oppositional images of the artist, the bohemian and the gentleman. And the impact on these masculine concepts of the increasing presence of the female artist