Normalizing XML Documents. Our work will be of great benefit, both to the research community and to the ICT industry. The project addresses one of the most important problems in XML usage and we expect our results to be published in important international forums, as has our preliminary research on the topic. This will significantly improve Australia's reputation in research in the ICT area. In the longer term, we intend to build commercial software tools based on the results of our research ....Normalizing XML Documents. Our work will be of great benefit, both to the research community and to the ICT industry. The project addresses one of the most important problems in XML usage and we expect our results to be published in important international forums, as has our preliminary research on the topic. This will significantly improve Australia's reputation in research in the ICT area. In the longer term, we intend to build commercial software tools based on the results of our research and this will be of direct benefit to the Australian economy and the Australian ICT industry.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE120100776
Funder
Australian Research Council
Funding Amount
$375,000.00
Summary
Designing process models to support communication and decision-making. This project will develop guidelines to assist analysts in describing business processes by identifying theoretical factors of process model quality. The outcomes will make it easier to make informed decisions about process re-design, business innovation or software development, thus contributing to project cost savings and better processes.
Components for Active Knowledge Portals. Businesses require people to collaborate and share knowledge in their work processes especially when they are in different locations. Such collaboration emerges by dynamically creating parallel and disconnected collaborative tasks that must be coordinated to meet organizational goals. This project will define the semantics of such emerging processes in the context of software digital workspaces that support them. It will then identify ways of constructing ....Components for Active Knowledge Portals. Businesses require people to collaborate and share knowledge in their work processes especially when they are in different locations. Such collaboration emerges by dynamically creating parallel and disconnected collaborative tasks that must be coordinated to meet organizational goals. This project will define the semantics of such emerging processes in the context of software digital workspaces that support them. It will then identify ways of constructing and using workspaces by creating active knowledge portals to support emerging processes. These portals will include software agents that are sensitive to the business context and help coordinate tasks within the emerging process.Read moreRead less
Business process decomposition. This project will develop guidelines to assist analysts in managing complex business processes by decomposing them into more manageable processes. The project outcomes will make it easier to make informed decisions about process re-design, business innovation or software development, thus contributing to project cost savings.
Modelling in the Large. Business modelling supports a variety of approaches, which are currently of significant interest for Australian organisations. This includes business process management, risk management or Enterprise Architecture design. The trend to centralised and integrated business modelling leads to projects with a high number of models, modellers, users, and modelling purposes. This phenomenon is called modelling in the large. The proposed research project explores the major issues ....Modelling in the Large. Business modelling supports a variety of approaches, which are currently of significant interest for Australian organisations. This includes business process management, risk management or Enterprise Architecture design. The trend to centralised and integrated business modelling leads to projects with a high number of models, modellers, users, and modelling purposes. This phenomenon is called modelling in the large. The proposed research project explores the major issues within these projects and develops improved modelling techniques and project management approaches for large modelling initiatives. The outcomes will streamline the design, integration, maintenance and communication of models with a focus on Enterprise Systems.Read moreRead less
Asynchronous Continuous Time Conditioning. Methodology for reasoning about Asynchronous Temporal Conditional Events (ATCE) obtains, complete with logical calculus for causal relations, reasoning about continuous time belief change, and markov chain algorithms calculating joint distributions of ATCE's.
Current techniques, including bayesian nets, are oblivious to temporal aspects; within our model they can be enhanced to recognize dynamic time changes. Ours is the first such unified model and ....Asynchronous Continuous Time Conditioning. Methodology for reasoning about Asynchronous Temporal Conditional Events (ATCE) obtains, complete with logical calculus for causal relations, reasoning about continuous time belief change, and markov chain algorithms calculating joint distributions of ATCE's.
Current techniques, including bayesian nets, are oblivious to temporal aspects; within our model they can be enhanced to recognize dynamic time changes. Ours is the first such unified model and first to link conditional objects with continuous time constraints.
Need for structures we propose arises in diagnostic reasoning, bayesian learning, temporal databases, and time-dependent data mining. Several commercial products (like Microsoft Office Assistant)could apply them forthwith.Read moreRead less
Cost-aware business process management. The project aims to inform business process management (BPM) with the latest insights from the field of management accounting in order to make BPM systems cost-aware. By incorporating the cost dimension, organisations can obtain an accurate and immediate overview of the true cost of their processes and make cost-informed decisions.
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
Formally-Based Security Evaluation Procedures. Guaranteeing information security is of critical national importance, especially in the current political climate. Devices intended to safeguard Australia's electronic communications must be proven secure using leading-edge techniques. Currently, evaluation of such devices relies on informal procedures and the experience of individuals. This project will introduce more rigour into security evaluations by adapting techniques from the fields of saf ....Formally-Based Security Evaluation Procedures. Guaranteeing information security is of critical national importance, especially in the current political climate. Devices intended to safeguard Australia's electronic communications must be proven secure using leading-edge techniques. Currently, evaluation of such devices relies on informal procedures and the experience of individuals. This project will introduce more rigour into security evaluations by adapting techniques from the fields of safety analysis and formal methods. In particular, mathematical concepts will be introduced using notations suitable for use by security personnel with no prior formal methods experience. The outcomes of this project will enable more efficient and effective information security evaluations.Read moreRead less
A Formal Framework for Developing and Managing Adaptable Service Oriented Business Collaboration. Business collaboration and integration is at the heart of ICT objectives and initiatives global wide. The project aims to be of unique value to Australian industry and provide a means to achieve excellence in the field of research that promises to shape the future of e-business technology. The research conducted within this project will position Australia as one of the leaders in the business collab ....A Formal Framework for Developing and Managing Adaptable Service Oriented Business Collaboration. Business collaboration and integration is at the heart of ICT objectives and initiatives global wide. The project aims to be of unique value to Australian industry and provide a means to achieve excellence in the field of research that promises to shape the future of e-business technology. The research conducted within this project will position Australia as one of the leaders in the business collaboration area. The project outcomes in the form of framework, formal models and specifications will provide generic solutions that are applicable to many Australian and international companies involved in business process development and management in particular and e-business technologies in general.Read moreRead less