A Framework for Supporting Consistent and Reliable Collaborative Business Transactions. Business integration and enterprise computing 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 transacti ....A Framework for Supporting Consistent and Reliable Collaborative Business Transactions. Business integration and enterprise computing 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 transaction area. The project outcomes in the form of specifications and formal models will provide generic solutions that are applicable to many Australian and international companies involved in distributed computing and e-business technologies. 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
Federated Cloud Services Configuration and Orchestration. Cloud computing allows organisations to expand or contract their computing footprint based on existing demand. However, existing cloud delivery models support individual segregated and heterogeneous functionalities, which prevent effective coordinated combination of on-premise and off-premise applications, services, and resources. This project aims to significantly contribute to the scientific foundations for the model-driven and elastic ....Federated Cloud Services Configuration and Orchestration. Cloud computing allows organisations to expand or contract their computing footprint based on existing demand. However, existing cloud delivery models support individual segregated and heterogeneous functionalities, which prevent effective coordinated combination of on-premise and off-premise applications, services, and resources. This project aims to significantly contribute to the scientific foundations for the model-driven and elastic configuration and orchestration of resources over heterogeneous cloud services. The outcomes of the project aim to contribute to lifting productivity and economic growth through interoperable and elastic cloud service technologies as well as delivering appropriate skills for the new digital economy.Read moreRead less
Intelligent Agent and Semantic Web empowered eFinance: A Knowledge Management Approach to enable and sustain Innovation. This research project will build new methods for adopting and deploying emerging Intelligent Agent and Semantic Web technologies for the purpose of enabling and sustaining innovation. Intelligent Agents and the Semantic Web are frontier technologies that facilitate information sharing and knowledge integration from multiple resources, and empower complex information systems ....Intelligent Agent and Semantic Web empowered eFinance: A Knowledge Management Approach to enable and sustain Innovation. This research project will build new methods for adopting and deploying emerging Intelligent Agent and Semantic Web technologies for the purpose of enabling and sustaining innovation. Intelligent Agents and the Semantic Web are frontier technologies that facilitate information sharing and knowledge integration from multiple resources, and empower complex information systems for independent action in open unpredictable environments such as a competitive global marketplace. We apply our methods in the Wholesale Financial Services Industry. Hence, the project supports both the ARC designated priority area, Frontier Technologies, and a National Priority to establish Australia as a financial services centre in the Asia Pacific Region.Read moreRead less
Semantic Compliance in Complex Enterprise Information Systems. Large organisations have invested heavily to reduce the number of dependent information systems they support. Larger integrated systems should provide increased information reach and better coordination of activities. However there are major problems in practice - integration requires common meaning and context. Information-sharing within cooperating organisations is improved by enforcing compliance of databases with a master model. ....Semantic Compliance in Complex Enterprise Information Systems. Large organisations have invested heavily to reduce the number of dependent information systems they support. Larger integrated systems should provide increased information reach and better coordination of activities. However there are major problems in practice - integration requires common meaning and context. Information-sharing within cooperating organisations is improved by enforcing compliance of databases with a master model. Our research refines, extends and tests an approach for semantic compliance checking based on mathematical category theory. It investigates structures that help detect irregular data. The research uses models from NSW Health. Outcomes include improved processes and software for checking compliance and data anomalies.Read moreRead less
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
A New Approach to Air Traffic Management to Deliver Significantly Reduced Environmental Impact and System-wide Efficiencies. Aviation is often cited as a major contributor to harmful emissions in the upper atmosphere. The primary outcome of this project is the development of tools that will enable aviation industry stakeholders to optimise the deployment of 4-Dimensional User Preferred Trajectories across Australian airspace. It is expected that this will result in significant environmental bene ....A New Approach to Air Traffic Management to Deliver Significantly Reduced Environmental Impact and System-wide Efficiencies. Aviation is often cited as a major contributor to harmful emissions in the upper atmosphere. The primary outcome of this project is the development of tools that will enable aviation industry stakeholders to optimise the deployment of 4-Dimensional User Preferred Trajectories across Australian airspace. It is expected that this will result in significant environmental benefit, through reductions in fuel burn for each flight, and increases in system effectiveness. The project will enable better analysis of Australian aviation environmental effect, whilst at the same time allowing the aviation industry to continue to contribute to Australia's sustainable economic growth. Read moreRead less
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
Practical methodologies for agent-oritented conceptual modelling. Conceptual modelling involves using knowledge representation techniques to support the requirements engineering phase of the software life-cycle. Agent-oriented conceptual modelling is a relatively new technique that offers significant benefits in modelling complex organisational information systems. However, several problems need to be addressed with current agent-oriented conceptual modelling languages and methodologies. In the ....Practical methodologies for agent-oritented conceptual modelling. Conceptual modelling involves using knowledge representation techniques to support the requirements engineering phase of the software life-cycle. Agent-oriented conceptual modelling is a relatively new technique that offers significant benefits in modelling complex organisational information systems. However, several problems need to be addressed with current agent-oriented conceptual modelling languages and methodologies. In the context of a PhD dissertation, this project will develop an improved agent-oriented conceptual modelling framework and related requirements elicitation techniques drawing on advances in Artificial intelligenct, Requireents Engineering and Organisational Semiotics. The practical deliverables of this project will address the needs of a large complex government organisation.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