Multi-Ontologies meet UML: Improving the Software Engineering of Multi-Agent Systems. Multi-agent systems are a new style of software well suited for open, dynamic, distributed, global, heterogeneous environments such as the Internet. Systematic methods are needed to allow multi-agent systems to reason effectively with high level knowledge. This research draws on software engineering practice to develop a theory and methodology for multi-ontologies for expressing knowledge within multi-agent sys ....Multi-Ontologies meet UML: Improving the Software Engineering of Multi-Agent Systems. Multi-agent systems are a new style of software well suited for open, dynamic, distributed, global, heterogeneous environments such as the Internet. Systematic methods are needed to allow multi-agent systems to reason effectively with high level knowledge. This research draws on software engineering practice to develop a theory and methodology for multi-ontologies for expressing knowledge within multi-agent systems that facilitate adaptation and change.
Read moreRead less
Agent-Oriented Concept Management. This project will develop innovative agent-oriented approaches to managing information. An understanding of the concepts used by a system will enhance its ability to share information. Knowledge and concept management are key components of an information economy, and it is widely accepted that the success of the next generation of information systems will be their agent-oriented capability and their ability to interact with each other. In response, internation ....Agent-Oriented Concept Management. This project will develop innovative agent-oriented approaches to managing information. An understanding of the concepts used by a system will enhance its ability to share information. Knowledge and concept management are key components of an information economy, and it is widely accepted that the success of the next generation of information systems will be their agent-oriented capability and their ability to interact with each other. In response, international funding agencies have targeted agent-oriented technologies as essential ingredients for prosperity in the 21st century. This project will help to ensure that Australia shares in that prosperity.Read moreRead less
Model Update with Localisation, Constraints and Abstraction. This project will fundamentally provide a new paradigm and a system prototype for advanced computer aided system modification. It will significantly enhance Australia's leading role in the cutting edge research in computer aided system development. By applying the new methodology and technology, Australian IT industry will significantly improve its capacity for developing highly complex hardware and software systems for various applica ....Model Update with Localisation, Constraints and Abstraction. This project will fundamentally provide a new paradigm and a system prototype for advanced computer aided system modification. It will significantly enhance Australia's leading role in the cutting edge research in computer aided system development. By applying the new methodology and technology, Australian IT industry will significantly improve its capacity for developing highly complex hardware and software systems for various applications. With a strong research program across different areas such as knowledge system update, model checking and software development, and a collaborative research training environment, this project will strengthen Australia's international reputation as a leader in computing and IT research.Read moreRead less
Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost ....Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost savings, highly beneficial to
the ICT industry. Lessons learned from the demonstration prototype,
can be directly carried over into commercial tool development. In
addition, the project strengthens links to high quality European
research laboratories.Read moreRead less
Model-based error location in concurrent software. The construction of modern software requires extensive testing and debugging in addition to using appropriate specification, design, and verification techniques. Testing and debugging are very time-consuming and costly, drawing - according to recent articles - ``typically 50\% or more of the resources for software projects''. By extending the power of a new, flexible debugging approach, this project offers the potential of significant cost savin ....Model-based error location in concurrent software. The construction of modern software requires extensive testing and debugging in addition to using appropriate specification, design, and verification techniques. Testing and debugging are very time-consuming and costly, drawing - according to recent articles - ``typically 50\% or more of the resources for software projects''. By extending the power of a new, flexible debugging approach, this project offers the potential of significant cost savings, highly beneficial to any industry with a significant ICT component, e.g., defense. Lessons learned from the demonstration prototype, can be directly carried over into commercial tool development. The project strengthens links to high quality European research laboratories.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE140100017
Funder
Australian Research Council
Funding Amount
$394,800.00
Summary
Adaptive Optimisation of Complex Combinatorial Problems. One of the most common problems faced by planners, whether in industry or government, is optimisation, finding the optimal solution to a problem. Even a one per cent improvement in a solution can make a difference of millions of dollars in some cases. Traditionally optimisation problems are solved by analytic means or exact optimisation methods. Today, however, many optimisation problems involve complex combinatorial systems that make such ....Adaptive Optimisation of Complex Combinatorial Problems. One of the most common problems faced by planners, whether in industry or government, is optimisation, finding the optimal solution to a problem. Even a one per cent improvement in a solution can make a difference of millions of dollars in some cases. Traditionally optimisation problems are solved by analytic means or exact optimisation methods. Today, however, many optimisation problems involve complex combinatorial systems that make such traditional approaches unsuitable or intractable. This project aims to assist researchers and practitioners in solving complex combinatorial optimisation problems by adapting the optimisation strategy to the problem being solved, based on problem features such as search space difficulty. Read moreRead less
Advanced Software Engineering Support for Intelligent Agent Systems. Software Agents are an important technology for developing the complex software systems that are increasingly required to meet the needs of society. A crucial obstacle to the widespread adoption of agent technology is the lack of an appropriate software engineering methodology. This project proposes to explore support for design processes addressing advanced issues in agent systems, such as goal-based requirements, debugging ....Advanced Software Engineering Support for Intelligent Agent Systems. Software Agents are an important technology for developing the complex software systems that are increasingly required to meet the needs of society. A crucial obstacle to the widespread adoption of agent technology is the lack of an appropriate software engineering methodology. This project proposes to explore support for design processes addressing advanced issues in agent systems, such as goal-based requirements, debugging using design artefacts, component-based design, and reuse. We will also extend the methodology to support teamwork and open systems. We will be building on successful work we have already done in establishing a basic agent oriented software design methodology.Read moreRead less
Agent-based coordination and negotiation technologies for decentralised service workflow management. This project will enhance the nation's expertise in ICT in general and smart information use in particular. In the real world, process management is a key issue in any workplace organisation which needs to be supported by workflow systems, particularly in this Internet and Web services era. This project will develop an innovative framework and the corresponding technologies for service workflow m ....Agent-based coordination and negotiation technologies for decentralised service workflow management. This project will enhance the nation's expertise in ICT in general and smart information use in particular. In the real world, process management is a key issue in any workplace organisation which needs to be supported by workflow systems, particularly in this Internet and Web services era. This project will develop an innovative framework and the corresponding technologies for service workflow management. The research will assist many organisations to effectively develop and deliver more efficient, reliable, flexible and adaptive business applications. Consequently, this will enhance the ability of many Australian organisations to run more productively and more competitively.Read moreRead less
Intelligent Collaborative Care Management. The project will provide the basis for new models of consumer care in both social and commercial settings. In a commercial setting, customer care means looking after the customer, with the hope of retaining their business. By developing a formal model of evidence-based care, together with the information technologies to implement this model, the project will result in higher quality, safer, more efficient and more effective care. This will produce si ....Intelligent Collaborative Care Management. The project will provide the basis for new models of consumer care in both social and commercial settings. In a commercial setting, customer care means looking after the customer, with the hope of retaining their business. By developing a formal model of evidence-based care, together with the information technologies to implement this model, the project will result in higher quality, safer, more efficient and more effective care. This will produce significant economic and social benefits for Australia across a wide range of service industries. The project will also generate export opportunities for information technology services and products in health care and other service industries. In addition, it will drive collaboration with leading global businesses, providing new paths to market for Australian research, technologies and innovations.Read moreRead less
Integrating Model Checking and Knowledge Dynamics for System Verification. The task of system verification is to ensure the correctness of system design and specification in some automatic way. The aim of this project is to develop a new methodology and technology for computer software system verification by integrating traditional model checking approach and knowledge dynamics modeling. By deriving the results of this project, we will understand how model checking and knowledge dynamics modelin ....Integrating Model Checking and Knowledge Dynamics for System Verification. The task of system verification is to ensure the correctness of system design and specification in some automatic way. The aim of this project is to develop a new methodology and technology for computer software system verification by integrating traditional model checking approach and knowledge dynamics modeling. By deriving the results of this project, we will understand how model checking and knowledge dynamics modeling can be integrated for more effective software verification and modification, which will significantly improve current software design and development procedures, increase the correctness and stability of software systems, and provide high security for e-Commerce transaction systems.Read moreRead less