Formalising and automating the elicitation and reconciliation of requirements from multiple stakeholders. It is well recognised that requirements specifications are often error-prone and that it is much cheaper to detect and fix these errors early in the software development life cycle than later. A major problem with requirements determination is that each and every stakeholder has his/her own representation of the enterprise reality. This project seeks to take these views and use set-theore ....Formalising and automating the elicitation and reconciliation of requirements from multiple stakeholders. It is well recognised that requirements specifications are often error-prone and that it is much cheaper to detect and fix these errors early in the software development life cycle than later. A major problem with requirements determination is that each and every stakeholder has his/her own representation of the enterprise reality. This project seeks to take these views and use set-theoretical techniques from Formal Concept Analysis (FCA) to automatically generate and compare the underlying conceptual models. A process model based on FCA has been proposed which we will extend and empirically evaluate in this project. The result will be a more rigorous and yet pragmatic approach to requirements engineering which offers the greatest economic leverage.Read moreRead less
Next-generation spatial keyword search. Spatial keyword search is like a normal web search plus additional location information, which helps users to obtain a better ranking of results by considering the spatial proximity. The success of this project will deliver a next-generation spatial keyword search system that overcomes the severe usability limitations experienced by users today.
Socially Oriented Requirements Engineering - Software Engineering meets Ethnography. The project should lead to the design and development of better software/information and communications technologies in the homes of Australians, that encourage flexible social ineractions, and has been designed with the user in mind.
A Platform for Rapid and Flexible Development of Context-Aware Web Services. Context awareness is one of the most exciting trends in computing today, and it holds the potential to make our daily life more productive, convenient and enjoyable. The proposed project will produce a comprehensive platform for developing context-aware Web services, which will facilitate ready implementation of many innovative applications and make important contributions to Australian society and the national economy. ....A Platform for Rapid and Flexible Development of Context-Aware Web Services. Context awareness is one of the most exciting trends in computing today, and it holds the potential to make our daily life more productive, convenient and enjoyable. The proposed project will produce a comprehensive platform for developing context-aware Web services, which will facilitate ready implementation of many innovative applications and make important contributions to Australian society and the national economy. One such application is an intelligent seniors assistance service that will improve quality of life for senior citizens while helping them maintain an independent lifestyle. This project will also place Australia at the forefront of Web service development.Read moreRead less
Cooperation and reciprocity at the local scale enabled by social and mobile technologies: an empirically derived theoretical framework. The project aims to build new theories, design tools and social and mobile information technologies to support sharing of resources in local communities. Designs developed through agile software development will be built in communities to support new forms of community communication, agile ride sharing and distributed energy generation and use.
Escaping the concurrency trade-off: a new approach to enterprise software. Enterprise software manages the operations of all business and government organisations. Designers of this often rely on their intuition or luck, by using high-performance database facilities whose correctness is not guaranteed. This project will show designers how to use these facilities while still having the assurance that the data will not be corrupted. This will improve the quality of the data used by Australian ent ....Escaping the concurrency trade-off: a new approach to enterprise software. Enterprise software manages the operations of all business and government organisations. Designers of this often rely on their intuition or luck, by using high-performance database facilities whose correctness is not guaranteed. This project will show designers how to use these facilities while still having the assurance that the data will not be corrupted. This will improve the quality of the data used by Australian enterprises, and thus improve their operations. Australian software designers will also benefit, as they will be able to produce software that combines high performance with assurance that concurrency errors will not occur.Read moreRead less
Embedding Enterprise Systems in IoT Fog Networks through Microservices. The project will enable automated re-engineering of enterprise systems, to allow them to reused in Internet-of-Things (IoT) applications. It will support efficient ways in which the core business logic of these large scale and monolithic systems can be extended into resource control and data sensing functions managed through the IoT. The project will develop a novel, fine-grained software architecture style suitable for loca ....Embedding Enterprise Systems in IoT Fog Networks through Microservices. The project will enable automated re-engineering of enterprise systems, to allow them to reused in Internet-of-Things (IoT) applications. It will support efficient ways in which the core business logic of these large scale and monolithic systems can be extended into resource control and data sensing functions managed through the IoT. The project will develop a novel, fine-grained software architecture style suitable for localised IoT execution, through microservices executing autonomously on nodes of IoT fog networks. It will develop new techniques for automated discovery of microservices from enterprise systems and the verification of future-state system execution based on current-state behavioural and other properties such as security.Read moreRead less
Constrained numerical optimisation techniques for automatic graph drawing. Network visualisation (graph drawing) is an enabling technology that is valuable to many important Australian interests. This project aims to develop new techniques that are more easily adapted to specific applications than current methods. There are a range of benefits in developing this technology including but not limited to: improved mapping of terrorist networks that can aid early identification of security threats ....Constrained numerical optimisation techniques for automatic graph drawing. Network visualisation (graph drawing) is an enabling technology that is valuable to many important Australian interests. This project aims to develop new techniques that are more easily adapted to specific applications than current methods. There are a range of benefits in developing this technology including but not limited to: improved mapping of terrorist networks that can aid early identification of security threats; improved design and analysis of communication networks, either for the telecommunications industry or for emergency and disaster management scenarios such as bushfires; improved access to biological network databases used in the study of metabolic processes critical to drug development and genetic research.Read moreRead less
Efficient databases for flash memory. This project will bring significant benefits to Australia. It will place Australia at the fore-front of the emerging field of flash memory databases. The lack of prior research in this field, coupled with the significant performance benefits of flash memory, means this project will make significant breakthroughs in this frontier technology. The algorithms developed will be directly incorporated into a state-of-the-art open source database and disseminated ....Efficient databases for flash memory. This project will bring significant benefits to Australia. It will place Australia at the fore-front of the emerging field of flash memory databases. The lack of prior research in this field, coupled with the significant performance benefits of flash memory, means this project will make significant breakthroughs in this frontier technology. The algorithms developed will be directly incorporated into a state-of-the-art open source database and disseminated throughout the international community, thereby boosting Australia's international research reputation. The database developed will significantly increase the speed of large database servers as well as bring significant energy savings to databases running on small portable devices.Read moreRead less
Sociophysical Interactions: understanding the role of social and tangible technologies in maintaining good habits into old age. How can technology help us 'age well'? The project will study, design and evaluate novel information systems that integrate and support social engagement and physical activity in order to build foundational knowledge about these technologies and maintain the opportunities for social engagement and physical activity in our ageing population.