Architectural prototyping: from CCS to .Net

Over the last decade, software architecture emerged as a critical issue in Software Engineering. This encompassed a shift from traditional programming towards software development based on the deployment and assembly of independent components. The specification of both the overall systems structure and the interaction patterns between their components became a major concern for the working developer. Although a number of formalisms to express behaviour and to supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from CCS behavioural specifications the corresponding architectural skeletons in the Microsoft .Net framework, in the form of executable C and Cω code. The prototyping process is fully supported by a specific tool developed in Haskell

Electrospun silk-elastin-like fiber mats for tissue engineering applications

Protein-based polymers are present in a wide variety of organisms fulfilling structural and mechanical roles. Advances in protein engineering and recombinant DNA technology allow the design and production of recombinant protein-based polymers (rPBPs) with an absolute control of its composition. Although the application of recombinant proteins as biomaterials is still an emerging technology, the possibilities are limitless and far superior to natural or synthetic materials, as the complexity of the structural design can be fully customized. In this work, we report the electrospinning of two new genetically engineered silk-elastin-like proteins (SELPs) consisting of alternate silk- and elastin-like blocks. Electrospinning was performed with formic acid and aqueous solutions at different concentrations without addition of further agents. The size and morphology of the electrospun structures was characterized by scanning electron microscopy showing to be dependent of concentration and solvent used. Treatment with air saturated with methanol was employed to stabilize the structure and promote water insolubility through a time-dependent conversion of random coils into β-sheets (FTIR). The resultant methanol-treated electrospun mats were characterized for swelling degree (570-720%), water vapour transmission rate (1083 g/m2/day) and mechanical properties (modulus of elasticity of ~126 MPa). Furthermore, the methanol-treated SELP fiber mats showed no cytotoxicity and were able to support adhesion and proliferation of normal human skin fibroblasts. Adhesion was characterized by a filopodia-mediated mechanism. These results demonstrate that SELP fiber mats can provide promising solutions for the development of novel biomaterials suitable for tissue engineering applications.

Effect of poling state and morphology of piezoelectric poly(vinylidene fluoride) membranes for skeletal muscle tissue engineering

This work reports on the influence of polarization and morphology of electroactive poly(vinylidene fluoride), PVDF, on the biological response of myoblast cells. Non-poled, ‘‘poled +’’ and “poled-“ -PVDF were prepared in the form of films. Further, random and aligned electrospun -PVDF fiber mats were also prepared. It is demonstrated that negatively charged surfaces improve cell adhesion and proliferation and that the directional growth of the myoblast cells can be achieved by the cell culture on oriented fibers. Therefore, the potential application of electroative materials for muscle regeneration is demonstrated.

GUIsurfer: A Reverse Engineering Framework for User Interface Software

GUIsurfer: A Reverse Engineering Framework for User Interface Software

The GUISurfer tool: towards a language independent approach to reverse engineering GUI code

Graphical user interfaces (GUIs) are critical components of today's software. Developers are dedicating a larger portion of code to implementing them. Given their increased importance, correctness of GUIs code is becoming essential. This paper describes the latest results in the development of GUISurfer, a tool to reverse engineer the GUI layer of interactive computing systems. The ultimate goal of the tool is to enable analysis of interactive system from source code.

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

Abstract. Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineer an abstract model of a user interface directly from the GUI’s legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.

Models for the Reverse Engineering of Java/Swing Applications

Abstract. Interest in design and development of graphical user interface (GUIs) is growing in the last few years. However, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineering abstract GUI models directly from the Java/Swing code.

Slicing for architectural analysis

Current software development often relies on non-trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such a coordination layer is strongly woven within the application at source code level. Therefore, its precise identification becomes a major methodological (and technical) problem and a challenge to any program understanding or refactoring process. The approach introduced in this paper resorts to slicing techniques to extract coordination data from source code. Such data are captured in a specific dependency graph structure from which a coordination model can be recovered either in the form of an Orc specification or as a collection of code fragments corresponding to the identification of typical coordination patterns in the system. Tool support is also discussed

The role of coordination analysis in software integration projects

What sort of component coordination strategies emerge in a software integration process? How can such strategies be discovered and further analysed? How close are they to the coordination component of the envisaged architectural model which was supposed to guide the integration process? This paper introduces a framework in which such questions can be discussed and illustrates its use by describing part of a real case-study. The approach is based on a methodology which enables semi-automatic discovery of coordination patterns from source code, combining generalized slicing techniques and graph manipulation

Prototyping Concurrent Systems in Cw

Software architecture is currently recognized as one of the most critical design steps in Software Engineering. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Cw, the corresponding architectural skeletons in the Microsoft .NET framework in the form of executable code

Prototyping Behavioural Specifications in the.NET framework

Over the last decade, software architecture emerged as a critical design step in Software Engineering. This encompassed a shift from traditional programming towards the deployment and assembly of independent components. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Ccs, the corresponding architectural skeletons in the Microsoft .Net framework in the form of executable C] code. Such prototyping process is automated by means of a specific tool developed in Haskell