Trust-By-Contract: Modelling, Analysing and Predicting Behaviour in Software Architectures

Architecture description languages (ADLs) are used to specify high-level, compositional views of a software application. ADL research focuses on software composed of prefabricated parts, so-called software components. ADLs usually come equipped with rigorous state-transition style semantics, facilitating verification and analysis of specifications. Consequently, ADLs are well suited to configuring distributed and event-based systems. However, additional expressive power is required for the description of enterprise software architectures – in particular, those built upon newer middleware, such as implementations of Java’s EJB specification, or Microsoft’s COM+/.NET. The enterprise requires distributed software solutions that are scalable, business-oriented and mission-critical. We can make progress toward attaining these qualities at various stages of the software development process. In particular, progress at the architectural level can be leveraged through use of an ADL that incorporates trust and dependability analysis. Also, current industry approaches to enterprise development do not address several important architectural design issues. The TrustME ADL is designed to meet these requirements, through combining approaches to software architecture specification with rigorous design-by-contract ideas. In this paper, we focus on several aspects of TrustME that facilitate specification and analysis of middleware-based architectures for trusted enterprise computing systems.

Enhancing students' experience in music composition through music notation software

A project was undertaken in a Hong Kong primary school to investigate the role of music notation software in leaching music composition. The project was divided into three stages. During the first stage, appropriate hardware equipment and software applications were installed in the school music room, and four teaching plans were developed on the models and strategies derived from findings in the local and international literature. During the second stage, these teaching plans were implemented in Grade One, Grade Three, Grade Five and Grade Six classes of the school. During the third stage, the effectiveness of these teaching activities was evaluated by comparing the experiences from the second stage to the corresponding findings from similar projects undertaken in other Hong Kong primary schools, as well as to findings from the international literature. The results demonstrated that tile visual and audio stimulation created by computer"based technology can motivate students to successfully engage in music composition. Moreover, computer"based technology provides an opportunity for students to compose music in an atonal idiom. However, a large number of students were unable to demonstrate the concept of structural design in their musical products, and one of the findings from this investigation was that teachers need to be more purposeful in their teaching by directing students to employ the technique of repetition of interesting musical fragments or phrases in order to achieve a sense of unity in their pieces.

Fuzzy logic based metric in software testing

How to provide cost-effective strategies for Software Testing has been one of the research focuses in Software Engineering for a long time. Many researchers in Software Engineering have addressed the effectiveness and quality metric of Software Testing, and many interesting results have been obtained. However, one issue of paramount importance in software testing – the intrinsic imprecise and uncertain relationships within testing metrics – is left unaddressed. To this end, a new quality and effectiveness measurement based on fuzzy logic is proposed. The software quality features and analogy-based reasoning are discussed, which can deal with quality and effectiveness consistency between different test projects. Experimental results are also provided to verify the proposed measurement.