An approach to specifying software frameworks

A framework is a reusable design that requires software components to function. To instantiate a framework, a software engineer must provide the software components required by the framework. To do this effectively, the framework-component interfaces must be specified so the software engineer knows what assumptions the framework makes about the components, and so the components can be verified against these assumptions. This paper presents an approach to specifying software frameworks. The approach involves the specification of the framework’s syntax, semantics, and the interfaces between the framework and its components. The approach is demonstrated with a simple case study.

A reference architecture for instructional educational software

Our extensive research has indicated that high-school teachers are reluctant to make use of existing instructional educational software (Pollard, 2005). Even software developed in a partnership between a teacher and a software engineer is unlikely to be adopted by teachers outside the partnership (Pollard, 2005). In this paper we address these issues directly by adopting a reusable architectural design for instructional educational software which allows easy customisation of software to meet the specific needs of individual teachers. By doing this we will facilitate more teachers regularly using instructional technology within their classrooms. Our domain-specific software architecture, Interface-Activities-Model, was designed specifically to facilitate individual customisation by redefining and restructuring what constitutes an object so that they can be readily reused or extended as required. The key to this architecture is the way in which the software is broken into small generic encapsulated components with minimal domain specific behaviour. The domain specific behaviour is decoupled from the interface and encapsulated in objects which relate to the instructional material through tasks and activities. The domain model is also broken into two distinct models - Application State Model and Domainspecific Data Model. This decoupling and distribution of control gives the software designer enormous flexibility in modifying components without affecting other sections of the design. This paper sets the context of this architecture, describes it in detail, and applies it to an actual application developed to teach high-school mathematical concepts.

An Autonomic Framework for Mobile Cloud Computing

This thesis presents the formal definition of a novel Mobile Cloud Computing (MCC) extension of the Networked Autonomic Machine (NAM) framework, a general-purpose conceptual tool which describes large-scale distributed autonomic systems. The introduction of autonomic policies in the MCC paradigm has proved to be an effective technique to increase the robustness and flexibility of MCC systems. In particular, autonomic policies based on continuous resource and connectivity monitoring help automate context-aware decisions for computation offloading. We have also provided NAM with a formalization in terms of a transformational operational semantics in order to fill the gap between its existing Java implementation NAM4J and its conceptual definition. Moreover, we have extended NAM4J by adding several components with the purpose of managing large scale autonomic distributed environments. In particular, the middleware allows for the implementation of peer-to-peer (P2P) networks of NAM nodes. Moreover, NAM mobility actions have been implemented to enable the migration of code, execution state and data. Within NAM4J, we have designed and developed a component, denoted as context bus, which is particularly useful in collaborative applications in that, if replicated on each peer, it instantiates a virtual shared channel allowing nodes to notify and get notified about context events. Regarding the autonomic policies management, we have provided NAM4J with a rule engine, whose purpose is to allow a system to autonomously determine when offloading is convenient. We have also provided NAM4J with trust and reputation management mechanisms to make the middleware suitable for applications in which such aspects are of great interest. To this purpose, we have designed and implemented a distributed framework, denoted as DARTSense, where no central server is required, as reputation values are stored and updated by participants in a subjective fashion. We have also investigated the literature regarding MCC systems. The analysis pointed out that all MCC models focus on mobile devices, and consider the Cloud as a system with unlimited resources. To contribute in filling this gap, we defined a modeling and simulation framework for the design and analysis of MCC systems, encompassing both their sides. We have also implemented a modular and reusable simulator of the model. We have applied the NAM principles to two different application scenarios. First, we have defined a hybrid P2P/cloud approach where components and protocols are autonomically configured according to specific target goals, such as cost-effectiveness, reliability and availability. Merging P2P and cloud paradigms brings together the advantages of both: high availability, provided by the Cloud presence, and low cost, by exploiting inexpensive peers resources. As an example, we have shown how the proposed approach can be used to design NAM-based collaborative storage systems based on an autonomic policy to decide how to distribute data chunks among peers and Cloud, according to cost minimization and data availability goals. As a second application, we have defined an autonomic architecture for decentralized urban participatory sensing (UPS) which bridges sensor networks and mobile systems to improve effectiveness and efficiency. The developed application allows users to retrieve and publish different types of sensed information by using the features provided by NAM4J's context bus. Trust and reputation is managed through the application of DARTSense mechanisms. Also, the application includes an autonomic policy that detects areas characterized by few contributors, and tries to recruit new providers by migrating code necessary to sensing, through NAM mobility actions.

Visual signs and symptoms of Creutzfeldt-Jakob disease

A number of neurodegenerative diseases caused by prions have been described recently. These include Creutzfeldt-Jakob disease (CJD) in humans, scrapie in sheep and BSE in cows. Patients with CJD may suffer a range of visual problems including eye movement deficits and visual hallucinations. In addition, it is possible that CJD may be acquired via corneal transplant and that prions may be transmitted by reusable contact lenses.

Simulation process templates for e-business modelling

This paper argues the use of reusable simulation templates as a tool that can help to predict the effect of e-business introduction on business processes. First, a set of requirements for e-business modelling is introduced and modelling options described. Traditional business process mapping techniques are examined as a way of identifying potential changes. Whilst paper-based process mapping may not highlight significant differences between traditional and e-business processes, simulation does allow the real effects of e-business to be identified. Simulation has the advantage of capturing the dynamic characteristics of the process, thus reflecting more accurately the changes in behaviour. This paper shows the value of using generic process maps as a starting point for collecting the data that is needed to build the simulation and proposes the use of reusable templates/components for the speedier building of e-business simulation models.

Organic reactions in ionic liquids:ionic liquids ethylammonium nitrate promoted Knoevenagel condensation of aromatic aldehydes with active methylene compounds

The Knoevenagel condensation of aromatic aldehydes with active methylene compounds proceeded efficiently in a reusable ionic liquid, ethylammonium nitrate, at room temperature in the absence of any catalyst with high yields.

Organic reactions in ionic liquids:Ionic liquid promoted Knoevenagel condensation of aromatic aldehydes with (2-thio)barbituric acid

The Knoevenagel condensation of aromatic aldehydes with (2-thio)barbituric acid proceeded efficiently in reusable ionic liquids, EAN, BmimBF4, and BmimPF6 at room temperature in the absence of any catalyst with high yields.

Organic reactions in ionic liquids:Gewald synthesis of 2-aminothiophenes catalyzed by ethylenediammonium diacetate

Ionic liquids based on 1-butyl-3-methylimidazolium tetrafluoroborate (BmimBF4) and 1-butyl-3-methylimidazolium hexafluorophosphate (BmimPF6) were used as reusable alternatives to volatile organic solvents (VOCs) for ethylenediammonium diacetate (EDDA) catalyzed Gewald synthesis of 2-aminothiophenes. Significant rate enhancement and improvement of the yield were observed. The ionic liquids containing catalyst EDDA were recycled several times with no decreases in yields and reaction rates.

Organic reactions in ionic liquids:An efficient method for selective S-alkylation of 2-mercaptobenzothia(xa)zole with alkyl halides

Ionic liquids based on 1-butyl-3-methylimidazolium hexafluorophosphate (BmimPF6) and 1-butyl-3-methylimidazolium tetrafluoroborate (BmimBF4) are used as reusable reaction medium in the selective S-alkylation of 2-mercaptobenzothia(xa)zole with alkyl halides in the presence of potassium carbonate. This procedure is convenient, efficient, and generally gives rise to the S-alkylated product exclusively.

Organic reactions in ionic liquids: N-alkylation of cyclic imides with alkyl halides promoted by potassium fluoride

An ionic liquid based on 1-butyl-3-methylimidazolium hexafluorophosphate is used as an efficient reusable reaction medium in the N-alkylation of cyclic imides with alkyl halides promoted by fluoride ion.

Real-time detection of DNA interactions with long-period fiber-grating-based biosensor

Using an optical biosensor based on a dual-peak long-period fiber grating, we have demonstrated the detection of interactions between biomolecules in real time. Silanization of the grating surface was successfully realized for the covalent immobilization of probe DNA, which was subsequently hybridized with the complementary target DNA sequence. It is interesting to note that the DNA biosensor was reusable after being stripped off the hybridized target DNA from the grating surface, demonstrating a function of multiple usability.

An investigation into the impact of safety features on the ergonomics of surgical scalpels

In the case of surgical scalpels, blade retraction and disposability have been incorporated into a number of commercial designs to address sharps injury and infection transmission issues. Despite these new designs, the traditional metal reusable scalpel is still extensively used and this paper attempts to determine whether the introduction of safety features has compromised the ergonomics and so potentially the take-up of the newer designs. Examples of scalpels have been analysed to determine the ergonomic impact of these design changes. Trials and questionnaires were carried out using both clinical and non-clinical user groups, with the trials making use of assessment of incision quality, cutting force, electromyography and video monitoring. The results showed that ergonomic performance was altered by the design changes and that while these could be for the worse, the introduction of safety features could act as a catalyst to encourage re-evaluation of the ergonomic demands of a highly traditional product.

A semantic web environment for component model

Component-based development (CBD) has become an important emerging topic in the software engineering field. It promises long-sought-after benefits such as increased software reuse, reduced development time to market and, hence, reduced software production cost. Despite the huge potential, the lack of reasoning support and development environment of component modeling and verification may hinder its development. Methods and tools that can support component model analysis are highly appreciated by industry. Such a tool support should be fully automated as well as efficient. At the same time, the reasoning tool should scale up well as it may need to handle hundreds or even thousands of components that a modern software system may have. Furthermore, a distributed environment that can effectively manage and compose components is also desirable. In this paper, we present an approach to the modeling and verification of a newly proposed component model using Semantic Web languages and their reasoning tools. We use the Web Ontology Language and the Semantic Web Rule Language to precisely capture the inter-relationships and constraints among the entities in a component model. Semantic Web reasoning tools are deployed to perform automated analysis support of the component models. Moreover, we also proposed a service-oriented architecture (SOA)-based semantic web environment for CBD. The adoption of Semantic Web services and SOA make our component environment more reusable, scalable, dynamic and adaptive.

KEMNAD:a knowledge engineering methodology for negotiating agent development

Automated negotiation is widely applied in various domains. However, the development of such systems is a complex knowledge and software engineering task. So, a methodology there will be helpful. Unfortunately, none of existing methodologies can offer sufficient, detailed support for such system development. To remove this limitation, this paper develops a new methodology made up of: (1) a generic framework (architectural pattern) for the main task, and (2) a library of modular and reusable design pattern (templates) of subtasks. Thus, it is much easier to build a negotiating agent by assembling these standardised components rather than reinventing the wheel each time. Moreover, since these patterns are identified from a wide variety of existing negotiating agents (especially high impact ones), they can also improve the quality of the final systems developed. In addition, our methodology reveals what types of domain knowledge need to be input into the negotiating agents. This in turn provides a basis for developing techniques to acquire the domain knowledge from human users. This is important because negotiation agents act faithfully on the behalf of their human users and thus the relevant domain knowledge must be acquired from the human users. Finally, our methodology is validated with one high impact system.

Semantic search components:a blueprint for effective query language interfaces

Formulating complex queries is hard, especially when users cannot understand all the data structures of multiple complex knowledge bases. We see a gap between simplistic but user friendly tools and formal query languages. Building on an example comparison search, we propose an approach in which reusable search components take an intermediary role between the user interface and formal query languages.