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
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
Implementing Bioinformatics Algorithms using .NET-based Stored Procedures in a Database Cluster. We will create the technology for significantly improving the management, processing and sharing of biological data. Areas in which Australia has a large stake, including the development of new drugs, disease research, and agricultural genetic engineering, stand to benefit considerably from these advances. This contribution by Australian researchers to a global problem will have a positive impact on ....Implementing Bioinformatics Algorithms using .NET-based Stored Procedures in a Database Cluster. We will create the technology for significantly improving the management, processing and sharing of biological data. Areas in which Australia has a large stake, including the development of new drugs, disease research, and agricultural genetic engineering, stand to benefit considerably from these advances. This contribution by Australian researchers to a global problem will have a positive impact on our own health industry, and will provide the foundation for improvements in agriculture and financial services.Read moreRead less
Building Peer-to-Peer Middleware Infrastructure with Web Services. Peer-to-Peer (P2P) computing is a framework defining the interactions between systems acting as both clients and servers. Web services technology is an evolving set of Web standards based on eXtensible Markup Language (XML), and is considered as the newest approach to distributed computing. In this project, we aim to build a new type of P2P architectural framework that is truly interoperable and distributed, being platform and la ....Building Peer-to-Peer Middleware Infrastructure with Web Services. Peer-to-Peer (P2P) computing is a framework defining the interactions between systems acting as both clients and servers. Web services technology is an evolving set of Web standards based on eXtensible Markup Language (XML), and is considered as the newest approach to distributed computing. In this project, we aim to build a new type of P2P architectural framework that is truly interoperable and distributed, being platform and language independent in an Internet-wide context. Using Web services and message queuing, this project also aims to develop a robust middleware infrastructure consisting of a set of tools and programming libraries to ease the development of verifiable P2P applications on heterogeneous platforms.Read moreRead less
Special Research Initiatives - Grant ID: SR0354693
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Australian e-Research Grid. The e-Research Grid program will research and implement core Grid technologies on APAC and partner's deployed HPC resources, to underpin a broad range of Australian research. The computer science CIs will form collaborative links with international programs, adapting developments to local circumstances. The applications-domain CIs will leverage those into their scientific simulations and databases, using grid integrative techniques and portals. Many CIs participate in ....Australian e-Research Grid. The e-Research Grid program will research and implement core Grid technologies on APAC and partner's deployed HPC resources, to underpin a broad range of Australian research. The computer science CIs will form collaborative links with international programs, adapting developments to local circumstances. The applications-domain CIs will leverage those into their scientific simulations and databases, using grid integrative techniques and portals. Many CIs participate in other RNs linking to their motivating applications, enhancing prospects for research and integration. They participate in the APAC Grid program, leveraging 75 HPC staff nationally. A key aim is interoperability with "real-world Grids": eg e-learning & e-health programs.Read moreRead less
Metamodel-based Methodology for Developing Agent-Oriented Systems. In the context of building high quality software, agent technology offers substantial promise. However, its widespread deployment by industry is hampered by the lack of commercially acceptable development methodologies. Here, we expand a metamodel-based process framework (the OPEN Process Framework) to support agent-oriented (AO) software development that will eventually both form a de facto standard for AO methodologies and be ....Metamodel-based Methodology for Developing Agent-Oriented Systems. In the context of building high quality software, agent technology offers substantial promise. However, its widespread deployment by industry is hampered by the lack of commercially acceptable development methodologies. Here, we expand a metamodel-based process framework (the OPEN Process Framework) to support agent-oriented (AO) software development that will eventually both form a de facto standard for AO methodologies and be acceptable for commercial software application development. To create this extension, significant research in AO software engineering is required. Our basis will be the OPF plus elements from existing AO methodologies, notably Tropos and Gaia, whose authors will collaborate actively.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.
Cooperative Management of Virtual Teams and Enterprises. Thanks to the proliferation of the Internet and web technologies, it is now possible to exploit the power of these technologies to facilitate the cooperation of teams of workers across distances. Such virtual teams and virtual enterprises are expected to overcome many problems associated in the modern service industry spanning continents. Countries (such as Australia) that are located far from the main markets (e,g, Europe and North Americ ....Cooperative Management of Virtual Teams and Enterprises. Thanks to the proliferation of the Internet and web technologies, it is now possible to exploit the power of these technologies to facilitate the cooperation of teams of workers across distances. Such virtual teams and virtual enterprises are expected to overcome many problems associated in the modern service industry spanning continents. Countries (such as Australia) that are located far from the main markets (e,g, Europe and North America) stand to gain substantially from successful deployment of such virtual organisations. Researchers from UNSW and LORIA France have been working together on the development of cooperative management models for virtual enterprises. This application seeks funding for the travel of researchers across these countries to facilitate this research.Read moreRead less
Conceptual Knowledge Processing. The aim of this collaboration between Computer Science and Mathematics disciplines is to develop a theoretical, methodological and practical understanding of how to support a range of tasks concerning conceptual knowledge processing. The view of the project is that knowledge processing takes place primarily in the human mind and that human communication can only be effectively supported by appropriate design means and devices. Developing prototype software that d ....Conceptual Knowledge Processing. The aim of this collaboration between Computer Science and Mathematics disciplines is to develop a theoretical, methodological and practical understanding of how to support a range of tasks concerning conceptual knowledge processing. The view of the project is that knowledge processing takes place primarily in the human mind and that human communication can only be effectively supported by appropriate design means and devices. Developing prototype software that demonstrates these devices in practical domains continues to be a key feature of the collaboration that benefits from existing DFG (Deutsche Forschungsgemeinschaft) support and has been on going since 1999.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.