Partial Redundancy Elimination for Multi-threaded Programs

Multi-threaded programs have many applications which are widely used such as operating systems. Analyzing multi-threaded programs differs from sequential ones; the main feature is that many threads execute at the same time. The effect of all other running threads must be taken in account. Partial redundancy elimination is among the most powerful compiler optimizations: it performs loop-invariant code motion and common subexpression elimination. We present a type system with optimization component which performs partial redundancy elimination for multi-threaded programs.Comment: 7 page

Development of a Context-Aware Publish/Subscribe Information System for Public Health Service Delivery

Publish/Subscribe is a messaging paradigm where senders (publishers) of messages are not programmed to send theirmessages to specific receivers (subscribers). Rather, published messages are characterized into classes, without knowledge ofwhat (if any) subscribers there may be. Subscribers express interest in one or more classes, and only receive messages thatare of interest, without knowledge of what (if any) publishers there are. This paradigm helps to solve the problem of dataredundancy, ensuring that only the required information gets to the end user. Public health is concerned more with improvingthe health of a population through prevention rather than healing individual patients. This is why the dissemination ofrelevant information on healthcare is a vital key to achieving the cardinal objective of Public Health.At present, most Public health information systems are largely dependent on the Internet. This however poses a seriouschallenge in developing nations where occurrence of major diseases are high and the cost of internet is also high as well. Inthis paper, a Context-Aware model for Public health Service delivery was developed and implemented via aPublish/Subscribe Information System. The implementation was done on the .NET Platform. The eGranary was incorporatedinto the model to eliminate the cost of Internet. A mobile Subscriber module was also developed to enable users with mobiledevices access the system.Keywords: Context, Context-Awareness, Publish/Subscribe, Service, Public Healt

From Java to real-time Java : A model-driven methodology with automated toolchain

Real-time systems are receiving increasing attention with the emerging application scenarios that are safety-critical, complex in functionality, high on timing-related performance requirements, and cost-sensitive, such as autonomous vehicles. Development of real-time systems is error-prone and highly dependent on the sophisticated domain expertise, making it a costly process. There is a trend of the existing software without the real-time notion being re-developed to realise real-time features, e.g., in the big data technology. This paper utilises the principles of model-driven engineering (MDE) and proposes the first methodology that automatically converts standard time-sharing Java applications to real-time Java applications. It opens up a new research direction on development automation of real-time programming languages and inspires many research questions that can be jointly investigated by the embedded systems, programming languages as well as MDE communities

Automatic model - based test case generation for uml diagrams using tree travelsal algorithm

The foundation of any model-based testing (MBT) with Unified Modelling Language (UML) diagrams is test case generation (TCG) which predicts the expected functionalities of a system under test (SUT). However, problems associated with existing test case generation methods are lack of integration with various UML diagrams and tools, inability to cover all the model elements of UML diagrams, failure to generate comprehensive test cases based on adequate coverage criteria and lack of support tools for automatic generation of test cases. To address these challenges, efficient mapping strategies for model elements that engenders effective artefacts extraction and test case generation processes were proposed. The methodology employed in this research comprised constructing relevant models and algorithms as well as implementing with the use of Java programming language. Specifically, an enhanced elements mapper, artefacts extractor (parser) and test case generator were developed and integrated to produce the support tool. The elements mapper yielded an accuracy result of 99.31%. The artefacts extractor recorded 99.64% accuracy while the test case generator recorded 100% accuracy. The improved methods proved to be more robust and efficiently generated quality test cases with eliminated redundancies based on all the descriptive attributes of UML diagrams. Limitations of existing the methods were addressed in the proposed method which is able to integrate more diagrams to generate quality test cases

UTP, Circus, and Isabelle

We dedicate this paper with great respect and friendship to He Jifeng on the occasion of his 80th birthday. Our research group owes much to him. The authors have over 150 publications on unifying theories of programming (UTP), a research topic Jifeng created with Tony Hoare. Our objective is to recount the history of Circus (a combination of Z, CSP, Dijkstra’s guarded command language, and Morgan’s refinement calculus) and the development of Isabelle/UTP. Our paper is in two parts. (1) We first discuss the activities needed to model systems: we need to formalise data models and their behaviours. We survey our work on these two aspects in the context of Circus. (2) Secondly, we describe our practical implementation of UTP in Isabelle/HOL. Mechanising UTP theories is the basis of novel verification tools. We also discuss ongoing and future work related to (1) and (2). Many colleagues have contributed to these works, and we acknowledge their support

Management: A bibliography for NASA managers

This bibliography lists 630 reports, articles and other documents introduced into the NASA Scientific and Technical Information System in 1991. Items are selected and grouped according to their usefulness to the manager as manager. Citations are grouped into ten subject categories: human factors and personnel issues; management theory and techniques; industrial management and manufacturing; robotics and expert systems; computers and information management; research and development; economics, costs and markets; logistics and operations management; reliability and quality control; and legality, legislation, and policy

Web services choreography testing using semantic service description

Web services have become popular due to their ability to integrate with and to interoperate heterogeneous applications. Several web services can be combined into a single application to meet the needs of users. In the course of web services selection, a web candidate service needs to conform to the behaviour of its client, and one way of ensuring this conformity is by testing the interaction between the web service and its user. The existing web services test approaches mainly focus on syntax-based web services description, whilst the semantic-based solutions mostly address composite process flow testing. The aim of this research is to provide an automated testing approach to support service selection during automatic web services composition using Web Service Modeling Ontology (WSMO). The research work began with understanding and analysing the existing test generation approaches for web services. Second, the weaknesses of the existing approaches were identified and addressed by utilizing the choreography transition rules of WSMO in an effort to generate a Finite State Machine (FSM). The FSM was then used to generate the working test cases. Third, a technique to generate an FSM from Abstract State Machine (ASM) was adapted to be used with WSMO. This thesis finally proposed a new testing model called the Choreography to Finite State Machine (C2FSM) to support the service selection of an automatic web service composition. It proposed new algorithms to automatically generate the test cases from the semantic description (WSMO choreography description). The proposed approach was then evaluated using the Amazon E-Commerce Web Service WSMO description. The quality of the test cases generated using the proposed approach was measured by assessing their mutation adequacy score. A total of 115 mutants were created based on 7 mutant operators. A mutation adequacy score of 0.713 was obtained. The experimental validation demonstrated a significant result in the sense that C2FSM provided an efficient and feasible solution. The result of this research could assist the service consumer agents in verifying the behaviour of the Web service in selecting appropriate services for web service composition

Informatics in the Future: Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015

Big data; Computing ethics; Women in computing; Research ethic