Quality of Service-based Scheduling of e-Research Application Workflows on Global Grids. e-Research has the potential to offer Australia significant economic and social benefits as it enables researchers from different disciplines and organisations to engage in collaborative scientific investigation. In e-Research environments, users need to have secure access to remote resources owned by different organisations. Since these resources are not directly under the control of e-Research applications ....Quality of Service-based Scheduling of e-Research Application Workflows on Global Grids. e-Research has the potential to offer Australia significant economic and social benefits as it enables researchers from different disciplines and organisations to engage in collaborative scientific investigation. In e-Research environments, users need to have secure access to remote resources owned by different organisations. Since these resources are not directly under the control of e-Research applications, they need to negotiate with resource providers for access time, duration, and the level of quality of service expected to make sure that the interlinked operations are performed as required. This project develops information and communications technologies that enable the creation of such e-Research environments.Read moreRead less
A Novel Software System for .NET-based Enterprise Grid Computing. This ARC Linkage project, in partnership with Microsoft, aims to develop a novel Grid computing platform that enables organisations to effectively harness various IT resources and allocate them for different applications depending on their demands and priorities. The project outcomes will revolutionise the computing field by enhancing the productivity of software engineering for enterprise applications and accelerate their executi ....A Novel Software System for .NET-based Enterprise Grid Computing. This ARC Linkage project, in partnership with Microsoft, aims to develop a novel Grid computing platform that enables organisations to effectively harness various IT resources and allocate them for different applications depending on their demands and priorities. The project outcomes will revolutionise the computing field by enhancing the productivity of software engineering for enterprise applications and accelerate their execution on enterprise Grids.Read moreRead less
Ontology-based agent-oriented development methodologies. Establishing an industry strength unified agent-oriented methodology which focuses on interoperability and reusability will create stronger commitment to the new technology and stability in the commercial sector in Australia. Our methodology will create significant potential for Australian software companies, due to the added productivity and long term customer satisfaction through reusability, interoperability and pay-off of the developed ....Ontology-based agent-oriented development methodologies. Establishing an industry strength unified agent-oriented methodology which focuses on interoperability and reusability will create stronger commitment to the new technology and stability in the commercial sector in Australia. Our methodology will create significant potential for Australian software companies, due to the added productivity and long term customer satisfaction through reusability, interoperability and pay-off of the developed systems. This not only brings profits to Australian companies through the exploitation of this frontier technology, but also enhances the standard of living through increased satisfaction of the Australian public in their increasing use of software as they interact with today's computer-controlled world.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
Designing for Reliability and Maintainability in Service-Oriented Architectures. This project aims to build expertise in the design of computer software, especially enterprise systems in domains such as finance and logistics that are vast in scale and highly complex and geographically separated. By fostering and formalising techniques for improving developer productivity and the reliability and maintainability of enterprise systems, Australia can secure a place as a world leader in software meth ....Designing for Reliability and Maintainability in Service-Oriented Architectures. This project aims to build expertise in the design of computer software, especially enterprise systems in domains such as finance and logistics that are vast in scale and highly complex and geographically separated. By fostering and formalising techniques for improving developer productivity and the reliability and maintainability of enterprise systems, Australia can secure a place as a world leader in software methodology, with an emphasis on technology production rather than consumption. Australian computer consulting services are a $19.5b industry, whilst the wider services sector, which is increasingly reliant on automation to stay competitive, accounts for 70% of Australia's GNP.Read moreRead less
Managing conflicts in requirements engineering with argumentation frameworks. This project proposes to employ argumentation theory and frameworks to tackle the problem of conflict management and resolution in requirements engineering. Australia has a strong competitive advantage in the areas of belief change and conflict management. The outcomes of this project will provide an improved infrastructure for several areas of software engineering, including requirements engineering and software evol ....Managing conflicts in requirements engineering with argumentation frameworks. This project proposes to employ argumentation theory and frameworks to tackle the problem of conflict management and resolution in requirements engineering. Australia has a strong competitive advantage in the areas of belief change and conflict management. The outcomes of this project will provide an improved infrastructure for several areas of software engineering, including requirements engineering and software evolution management. More broadly, the work proposed here will enable the IT industry to adopt and utilise the techniques developed in a number of research fields of Artificial Intelligence in developing the robust and reliable software systems for the rapidly changing knowledge economy of the 21st century.Read moreRead less
Computing with nearly-consistent data. This project will help programmers correctly use data that originates at various times and places, and spreads unevenly through a system. Computation will combine data that comes from different situations, and is not exactly consistent. Capability to develop high quality software on platforms with this feature will enhance the value of the Australian IT industry. As well, the industries which use the software benefit from correctly working with their data. ....Computing with nearly-consistent data. This project will help programmers correctly use data that originates at various times and places, and spreads unevenly through a system. Computation will combine data that comes from different situations, and is not exactly consistent. Capability to develop high quality software on platforms with this feature will enhance the value of the Australian IT industry. As well, the industries which use the software benefit from correctly working with their data. Sensor networks have data like this, and they play a vital role in environmental monitoring. Cloud computing platforms also have this type of data, and these allow smaller enterprises to grow smoothly, without needing large up-front investments in computing infrastructure.Read moreRead less
Efficient Pre-Processing of Hard Problems: New Approaches, Basic Theory and Applications. Computers store even larger amounts of data about all aspects of human and industrial activity. However, they have not become significantly better at solving common problems in optimization and search. Traditional complexity theory indicates many of these problems require algorithms that are very unlikely to exist. The Parameterized Complexity approach allows us to obtain very efficient algorithms for a lar ....Efficient Pre-Processing of Hard Problems: New Approaches, Basic Theory and Applications. Computers store even larger amounts of data about all aspects of human and industrial activity. However, they have not become significantly better at solving common problems in optimization and search. Traditional complexity theory indicates many of these problems require algorithms that are very unlikely to exist. The Parameterized Complexity approach allows us to obtain very efficient algorithms for a large variety of problems, but the machinery required was diverse and complicated. This research will organize the machinery into a new approach that systematically finds good algorithms by applying simplifications around a parameter of the domain of the problem. As a result, efficient algorithms are obtained for many diverse areas.Read moreRead less
Applying Method Engineering Techniques to the Construction of Agile Methodologies. Agile approaches to software development provide flexibility within the method but provide no assistance for improving the selected method. This second kind of flexibility is important to permit organizations to improve with time. To accomplish such improvement, a method engineering approach is proposed for agile method construction using the OPEN Process Framework, which consists of a metamodel and a collection ....Applying Method Engineering Techniques to the Construction of Agile Methodologies. Agile approaches to software development provide flexibility within the method but provide no assistance for improving the selected method. This second kind of flexibility is important to permit organizations to improve with time. To accomplish such improvement, a method engineering approach is proposed for agile method construction using the OPEN Process Framework, which consists of a metamodel and a collection of method components, stored in a repository. In collaboration with Eagle Datamation International, we will devise methods of constructing an agile method tailored to their business needs and then evaluate it in practice, monitoring as the method evolves and improves.Read moreRead less
Audit Security Models for Multiparty Internet Transactions. The aim of this project is to conduct the study for a secure, low overhead means of auditing secure transactions between two parties over the Internet, especially where some doubt surrounds the trustfulness of the other party.
A study will be conducted in this project by investigating security models for multiparty secure transactions in order to identify a number of likely applications for the technology, to develop a high level arch ....Audit Security Models for Multiparty Internet Transactions. The aim of this project is to conduct the study for a secure, low overhead means of auditing secure transactions between two parties over the Internet, especially where some doubt surrounds the trustfulness of the other party.
A study will be conducted in this project by investigating security models for multiparty secure transactions in order to identify a number of likely applications for the technology, to develop a high level architecture of the solution.Read moreRead less