Coordination and communication in critical care: Assessing potential technology support. This project will examine temporal coordination demands of busy critical care environments, with the goal of developing better models and tools for evaluating the impact of information and communication technology (ICT) innovation. Millions of dollars can be wasted on healthcare ICT updates when the nature of critical care work, the means of communication, and temporal coordination demands are not fully unde ....Coordination and communication in critical care: Assessing potential technology support. This project will examine temporal coordination demands of busy critical care environments, with the goal of developing better models and tools for evaluating the impact of information and communication technology (ICT) innovation. Millions of dollars can be wasted on healthcare ICT updates when the nature of critical care work, the means of communication, and temporal coordination demands are not fully understood. The outcome of this project will be better conceptual and computational tools for assessing the impact of ICT innovation on safety-critical systems such as healthcare, so providing more cost-effective ICT solutions where there is rapidly-evolving ICT innovation.Read moreRead less
A Formal Approach to Resource Allocation in Service Oriented Marketplaces. There was a strong opinion at the 2004 World Economic Forum that interorganisational computing was a major factor in productivity improvements underpinning continuing economic growth in the developed world, and will continue to be so for the foreseeable future. The results of the proposed research are directed to advanced systems of this type, and will add momentum to Australia's Information Technology research community. ....A Formal Approach to Resource Allocation in Service Oriented Marketplaces. There was a strong opinion at the 2004 World Economic Forum that interorganisational computing was a major factor in productivity improvements underpinning continuing economic growth in the developed world, and will continue to be so for the foreseeable future. The results of the proposed research are directed to advanced systems of this type, and will add momentum to Australia's Information Technology research community. Increased international recognition will positively impact on future interactions with the service composition research groups in Europe and the USA.Read moreRead less
A New Formal Framework for Service Oriented Process Communication. Cross organizational communication in current business environments is highly dynamic, process driven and web centric. The web services paradigm is emerging as a powerful new technology solution to facilitate complex interactions between heterogeneous and autonomous systems within the enterprise and often between trading partners. Although the industry is inundated with initiatives on web services, most are heavily focussed on th ....A New Formal Framework for Service Oriented Process Communication. Cross organizational communication in current business environments is highly dynamic, process driven and web centric. The web services paradigm is emerging as a powerful new technology solution to facilitate complex interactions between heterogeneous and autonomous systems within the enterprise and often between trading partners. Although the industry is inundated with initiatives on web services, most are heavily focussed on the underlying specification platforms and technology components. We see a great need and potential for developing a formal framework for service oriented process communication. The design of such a formal framework is the focus of this project. Project outcomes not only hold great potential to contribute to fundamental research questions in process specification, validation and ontological evaluation, but will also deliver significant impact on related technologies of messaging middleware, integration platforms and workflow management systems.Read moreRead less
Human interaction with context-aware computing systems. Context-aware systems can provide seamless support of IT applications in a variety of technologies and therefore can improve: (i) work performance and adoption of IT in many industries; and (ii) the quality of life through better support for health services, education, and everyday tasks. Currently proposed solutions for context-aware systems fail to deliver systems which are usable for non-IT professionals. The proposed project will show h ....Human interaction with context-aware computing systems. Context-aware systems can provide seamless support of IT applications in a variety of technologies and therefore can improve: (i) work performance and adoption of IT in many industries; and (ii) the quality of life through better support for health services, education, and everyday tasks. Currently proposed solutions for context-aware systems fail to deliver systems which are usable for non-IT professionals. The proposed project will show how to design context-aware systems that are usable and whose autonomic decisions can be trusted. Additional benefits include increased scientific competitiveness of Australia, strengthened collaboration with international research institutions, and high quality graduates (PhDs, Masters, Honours).Read moreRead less
Building crowd sourced data curation processes. This project aims to tackle the growing problem of data curation. The capacity to effectively utilise the increasing number of datasets available to organisations for timely decision making is diminishing, due to onerous data preparation and curation tasks that have to be performed before the data can be consumed by analytics platforms. The project will be a first attempt at using a novel process-oriented approach in micro-task crowdsourcing, and w ....Building crowd sourced data curation processes. This project aims to tackle the growing problem of data curation. The capacity to effectively utilise the increasing number of datasets available to organisations for timely decision making is diminishing, due to onerous data preparation and curation tasks that have to be performed before the data can be consumed by analytics platforms. The project will be a first attempt at using a novel process-oriented approach in micro-task crowdsourcing, and will create new knowledge to harness the full potential of crowd sourced data curation. This is expected to make a significant benefit towards enhanced organisational capacity to accelerate the time-to-value from data analytics projects.Read moreRead less
An Empirically Derived Experimentally Validated Framework for Interactions in Information Environments. This project will investigate and design ways of interacting with the information infrastructure that maintain natural social interactions, take advantage of physical space and utilise our extensive human abilities to recognise and manipulate physical objects.
Expected outcomes include:
? a theoretical framework that describes the range of possible interactions that mediate information b ....An Empirically Derived Experimentally Validated Framework for Interactions in Information Environments. This project will investigate and design ways of interacting with the information infrastructure that maintain natural social interactions, take advantage of physical space and utilise our extensive human abilities to recognise and manipulate physical objects.
Expected outcomes include:
? a theoretical framework that describes the range of possible interactions that mediate information between the physical and virtual worlds.
? a prototype instrumented information environment that demonstrates and validates naturalistic information transactions identified in the framework.
This research is highly innovative in its field. It will use an iterative cycle of video observation, interaction analysis, user-centred device design, deployment and evaluation.
Read moreRead less
Cost-effective use of assertions in the verification and validation of distributed and real-time systems. The project will reinforce Australia as a world leader in empirical software engineering and software verification and validation research, thus building on Australia's strengths in ICT research and innovation. Through the involvement of a local software verification and validation company and through industrial case studies, this project will also improve the software verification and valid ....Cost-effective use of assertions in the verification and validation of distributed and real-time systems. The project will reinforce Australia as a world leader in empirical software engineering and software verification and validation research, thus building on Australia's strengths in ICT research and innovation. Through the involvement of a local software verification and validation company and through industrial case studies, this project will also improve the software verification and validation capabilities of local industry, allow them to save software development costs, and improve the quality of the software produced.Read moreRead less
Practical Tools and Techniques for the Testing of Concurrent Software Components. This project will develop tools and techniques for the practical, systematic testing of concurrent software components. Testing is a major means for ensuring that software performs as expected, but testing concurrent software is poorly understood even though the majority of complex, computer-based systems are concurrent in nature. The complexities arising from the non-deterministic nature of such software means tha ....Practical Tools and Techniques for the Testing of Concurrent Software Components. This project will develop tools and techniques for the practical, systematic testing of concurrent software components. Testing is a major means for ensuring that software performs as expected, but testing concurrent software is poorly understood even though the majority of complex, computer-based systems are concurrent in nature. The complexities arising from the non-deterministic nature of such software means that testing tools and techniques used for simpler, sequential software are inadequate. The outcomes of this project will consist of practical techniques for the effective testing of concurrent software components in general and tools for the testing of Java components in particular.Read moreRead less
Formalizing Software Design Pattern Concepts and Pattern Specifications using Metamodeling. Software design is currently an ad-hoc process that relies too heavily on each designer's personal experience. Software design patterns capture design know-how and make it reusable by identifying the problem and context in which a family of solutions can be applied. This project will use a formal metamodeling approach to define the concepts underlying software design patterns and hence will create precise ....Formalizing Software Design Pattern Concepts and Pattern Specifications using Metamodeling. Software design is currently an ad-hoc process that relies too heavily on each designer's personal experience. Software design patterns capture design know-how and make it reusable by identifying the problem and context in which a family of solutions can be applied. This project will use a formal metamodeling approach to define the concepts underlying software design patterns and hence will create precise and rigorous pattern specifications. Through this approach, we will incorporate patterns into the Unified Modeling Language (UML), the dominant object-oriented modeling language. Our pattern specifications will assist UML tool developers integrate software design patterns into their tools.Read moreRead less
Enhancing model-driven architecture with support for verification and validation. The proposed project will augment emerging methodologies for applying model-driven architecture to include verification and validation tools and techniques. This will decrease the time and effort required to develop software systems, and lead to better quality systems. It will evaluate and integrate existing verification and validation tools and techniques into the standards currently being developed to facilitate ....Enhancing model-driven architecture with support for verification and validation. The proposed project will augment emerging methodologies for applying model-driven architecture to include verification and validation tools and techniques. This will decrease the time and effort required to develop software systems, and lead to better quality systems. It will evaluate and integrate existing verification and validation tools and techniques into the standards currently being developed to facilitate model-driven architecture. This will strengthen Australia's software-based industries and its prominent role in defining international standards in this area.Read moreRead less