ARC Research Network in Enterprise Information Infrastructure. EII targets consolidated research towards the comprehensive development & establishment of advanced information infrastructures. Its prime purpose is to provide a forum for intellectual exchange by diverse yet complementary research groups, to address the fundamental research problems faced by scientific & business communities when dealing with deployment of information technology to globally distributed, and data intensive environme ....ARC Research Network in Enterprise Information Infrastructure. EII targets consolidated research towards the comprehensive development & establishment of advanced information infrastructures. Its prime purpose is to provide a forum for intellectual exchange by diverse yet complementary research groups, to address the fundamental research problems faced by scientific & business communities when dealing with deployment of information technology to globally distributed, and data intensive environments. EII will address 3 tightly coupled research themes: Ability to interoperate across existing heterogenous platforms & applications; Efficient processing of very large data sets; Technology adoption & impact. Generic results will be applicable to e-science and large business information systems installations.Read moreRead less
Special Research Initiatives - Grant ID: SR0354832
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Dependable Distributed Enterprises and Services. Distributed systems (clusters, grids, peer-to-peer) are the mainstay of many new applications. This has the potential of providing consumers with much more timely, accurate, and comprehensive information on which to base major decisions in financial, medical, and other areas. As with any new technology, related applications should be designed and implemented in such a way that users can depend on the application's availability and results, which i ....Dependable Distributed Enterprises and Services. Distributed systems (clusters, grids, peer-to-peer) are the mainstay of many new applications. This has the potential of providing consumers with much more timely, accurate, and comprehensive information on which to base major decisions in financial, medical, and other areas. As with any new technology, related applications should be designed and implemented in such a way that users can depend on the application's availability and results, which is the main focus of this network. The CIs will collaborate in several ways, ranging from basic research to applications, to enable the creation and maintenance of highly dependable computer systems and networked applications.
Read moreRead less
Secure and Efficient Cryptographic Hashing. This project will enhance information security, which is absolutely crucial for rapidly growing e-commerce, e-government services and for national security (Priority 4 -Safeguarding Australia - Protection against Terrorism and Crime). The project will strengthen international collaboration by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. At the same time, the project will he ....Secure and Efficient Cryptographic Hashing. This project will enhance information security, which is absolutely crucial for rapidly growing e-commerce, e-government services and for national security (Priority 4 -Safeguarding Australia - Protection against Terrorism and Crime). The project will strengthen international collaboration by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. At the same time, the project will help to maintain high research profile of Australian researchers, to increase the capacity for consultancy and contract work, and provide a cutting-edge information technology for the Australian telecommunications industry, business and government (Priority 3 - Frontier Technologies). Read moreRead less
Personalized, Adaptive, and Semantic-driven Selection and Composition of Web Services. Web services are the pillar of the new generation of Internet technologies. They provide standardized access to functionality that would otherwise be hidden inside enterprise information systems. As the existing base of web services expands, there is a need for techniques to select, configure, assemble, and coordinate web services to perform complex user tasks. This project will advance the fundamental underst ....Personalized, Adaptive, and Semantic-driven Selection and Composition of Web Services. Web services are the pillar of the new generation of Internet technologies. They provide standardized access to functionality that would otherwise be hidden inside enterprise information systems. As the existing base of web services expands, there is a need for techniques to select, configure, assemble, and coordinate web services to perform complex user tasks. This project will advance the fundamental understanding and know-how in this area by addressing three complementary research challenges: how to, organize and search semantically rich service descriptions; select services with respect to flexible and personalized criteria; and coordinate services in an adaptive and context-aware manner.Read moreRead less
Expressiveness Comparison and Interchange Facilitation between Business Process Execution Languages. Developments in the area of business process management are currently hindered by the plethora of diverse business process execution languages. This project will develop techniques for dealing with interoperability issues induced by this language heterogeneity. The project combines theoretical research, grounded in concurrency theory and workflow patterns, with pragmatic research focusing on lang ....Expressiveness Comparison and Interchange Facilitation between Business Process Execution Languages. Developments in the area of business process management are currently hindered by the plethora of diverse business process execution languages. This project will develop techniques for dealing with interoperability issues induced by this language heterogeneity. The project combines theoretical research, grounded in concurrency theory and workflow patterns, with pragmatic research focusing on languages supported by commercial tools. The outcome will be a framework for comparing the expressiveness of process execution languages and defining mappings between them. This will place Australia at the forefront of developments in business process management systems: a crucial technology in today's global, dynamic, and heterogeneous environments.
Read moreRead less
Reconciling Activity-centric and Business Object-centric Approaches to Business Process Modelling. Business process models are a fundamental instrument for analysing and automating the operations of organisations. At present, the space of business process modelling techniques is characterised by fragmentation with various approaches striking different tradeoffs. Two major families of approaches can be distinguished: activity-centric and business object-centric. These approaches correspond to com ....Reconciling Activity-centric and Business Object-centric Approaches to Business Process Modelling. Business process models are a fundamental instrument for analysing and automating the operations of organisations. At present, the space of business process modelling techniques is characterised by fragmentation with various approaches striking different tradeoffs. Two major families of approaches can be distinguished: activity-centric and business object-centric. These approaches correspond to complementary viewpoints. We see great potential in creating a level of integration between them. Accordingly, the project will investigate the relative expressiveness of these approaches, identify incompatibilities and synergies, and design model transformations. This will establish a foundation for next-generation business process modelling tools.Read moreRead less
Next-Generation Reference Process Models. Business process modelling is a key tool for organisations striving to create efficiencies by leveraging their IT infrastructure. This project will develop techniques for increasing the productivity of business process analysts by allowing them to reuse as much as possible existing models rather than systematically desigining new ones from scratch. Specifically, the project will develop and validate a language for designing highly configurable process mo ....Next-Generation Reference Process Models. Business process modelling is a key tool for organisations striving to create efficiencies by leveraging their IT infrastructure. This project will develop techniques for increasing the productivity of business process analysts by allowing them to reuse as much as possible existing models rather than systematically desigining new ones from scratch. Specifically, the project will develop and validate a language for designing highly configurable process models. This language will enable superior approaches to business process modelling and hence smarter use of information. This will place Australia at the forefront of developments in business process management: a crucial technology in today's global, dynamic and heterogeneous environments.Read moreRead less
User-Driven Composition of Web Services. Web service composition technology promises to revolutionise the way in which organisations interact over the Web. However existing environments for the composition of Web services are too complex to use and are usually intended for experienced application developers as they rely either on scripting languages, or on a process-modelling notations intended to be used by IT experts. However, the need for customised composition of Web services is likely to em ....User-Driven Composition of Web Services. Web service composition technology promises to revolutionise the way in which organisations interact over the Web. However existing environments for the composition of Web services are too complex to use and are usually intended for experienced application developers as they rely either on scripting languages, or on a process-modelling notations intended to be used by IT experts. However, the need for customised composition of Web services is likely to emanate from non IT-experts.
The project aims at designing, implementing, and evaluating an environment for the specification and execution of composite Web services by non-expert.Read moreRead less
Efficient and Fair Traffic Control for a Multi-Service Internet. Australia relies very heavily on its
telecommunications infrastructure due to its
geographic dispersion. For the same reason,
it cannot afford to invest in inefficient infrastructure.
Our novel and practical Internet congestion control scheme will overcome current weaknesses in the Internet, and will enable the Australian telecommunication service industry to provide a better quality of service to the customers (including Aust ....Efficient and Fair Traffic Control for a Multi-Service Internet. Australia relies very heavily on its
telecommunications infrastructure due to its
geographic dispersion. For the same reason,
it cannot afford to invest in inefficient infrastructure.
Our novel and practical Internet congestion control scheme will overcome current weaknesses in the Internet, and will enable the Australian telecommunication service industry to provide a better quality of service to the customers (including Australian industries and rural communities) and at lower cost. This project will put Australia on the international stage as a leading contributor to Internet technology. We will provide training for PhD students and postdoctoral fellows in the important area of Internet traffic engineering and control.Read moreRead less
Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is mo ....Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is more efficient than a traditional model checker during the design phase because it does only a minimum amount of work in its search for a fault.Read moreRead less