Research

Here you will find an overview of past and present research projects of KSE Lab.


Research Areas

handshake

Advanced Knowledge Technologies/Ontologies

KSE lab performs ongoing research into the areas of configuration and mass customisation, and the integration of private ontologies. Both areas deal with reasoning over businesses’ domain knowledge in an attempt improve business services and and interaction between businesses. Read more


2008.1..25 - The physician

Model-Based Reasoning and Diagnosis

A central issue in knowledge representation is to effectively describe the behaviour of complex systems, so that software agents can use these descriptions for flexible problem solving. Model-Based Reasoning is an approach that allows these agents to discover solutions to problems such as, “why doesn’t this device work?” (diagnosis) or “how can I put these parts together to get a functioning system” (configuration and design). Read more


Image Info: 'Not bad for 90 Eurocent' by  Marek Kubica, on Flickr

Natural Language Processing and Understanding

With so much information stored in textual documents and resources, it is necessary to improve the way in which users query and extract useful information from them. To that end, KSE Lab is investigating knowledge-based approaches for Natural Language Processing... Read more


Current Research Projects

Multi-Level Modelling

Multi-level modelling is a conceptual modelling approach that supports the representation of concepts across more than two modelling levels, unlike traditional modelling languages such as those in the UML family. We are developing a multi-level modelling framework and approach which we refer to as Open Multi-Level Modelling (OMLM). The framework is open to be extended/implemented by different implementation languages, for example, the logic-based Flora-2 or traditional OO languages such as Java. Read more


Doctrine to Code featured image

DSTO Doctrine to Code Project

The Doctrine to Code Project for DSTO is investigating novel methods for supporting the full process of executing combat simulations, starting from the textual documentation describing the requisite behaviours. It involves the development of a general behaviour meta-model for representing the scenario descriptions, the use of natural language processing to extract behaviour models from text, and model transformations to generate documentation and code from the models. Read more


Integrated Policing Project - D2D CRC

Federated Data Platform for Analytics Applications / Integrated Law Enforcement (D2D CRC)

The Integrated Law Enforcement Project, part of the D2D CRC, aims to develop an open architecture for federated data access over a heterogeneous data sources and front-end analytic applications. The project will systematically integrate (meta-)data and analytic processes across different tool chains. Read more


Transformations - OGI Pilot

Standard-Driven Data Transformation between Software Ecosystems in the Oil & Gas Interoperability Pilot

In association with the OGI Pilot, we aim to develop flexible data transformation software to enable operators of capital facilities, such as an oil refinery, make effective use of data. This project is developing a software interoperability platform, the UniSA Transformation Engine, to bridge information silos through the upload and translation of large volumes of raw data into a standardised format. Read more


Past Research Projects

Puzzle

Automated Support for Service Composition

Representing the semantics of web services and utilising the described semantic knowledge to develop and use within intelligent applications is an active research domain. Automatic composition of web services and reconfiguration of composed web services are some of the likely functions the intelligent applications ought to be performing by exploiting the semantic descriptions of services. Read more


code bug

Model-Based Software Debugging

Model-based debugging applies model-based diagnosis techniques to software artefacts. This project focuses on the automated modelling of, and reasoning about, imperative and object-oriented source code to help software engineers isolate root causes of program failures. Rather than rely on formal specifications, the model-based approach obtains the necessary information from test cases used to test the program under consideration. Read more


Driving Cars in a Traffic Jam

Ontology-based Design Environment Integration (AutoCRC)

This project aims to enable systematic re-use of process and product knowledge across functionally separated design areas by developing methods and approaches for unifying concepts across areas. Artefacts such as design rules, vehicle platforms, templates, and parametrics exist in various forms, but a coherent strategy to enforce structured reassessment of design knowledge is absent. Read more


e-commerce

Behaviour Oriented Business Process Integration

Business rules and processes are more and more being considered as separate design entities independent from data and application programs. The Unified Modelling Language (UML) provides elementary features to support the modelling of business rules and processes, but lacks corresponding application-oriented consistency notions and techniques for their specialisation and integration. Read more


Salem and hope Creek Nuclear Reactors

Improved OPAL Monitoring and Management System (CIEAM)

This project aims at the development of advanced monitoring and plant management capability for the new Open Pool Australian Light-water reactor (OPAL), by examining the use of model-based condition monitoring techniques, the use of advanced integration technology to incorporate other databases and data sets, the implementation of an integrated plant management visualisation interface, and streaming data processing and warehousing technology. Read more


logo-cieam-trans

Standards-Based Interoperability of Asset Management Information Systems

Since the start of CIEAM, researchers have successfully performed a range of research topics through various projects spread across the different areas of Engineering Asset Management (EAM). While these projects have focussed on the differing needs of industry partners, it... Read more


businessprocess

Dynamic Semantic Interoperability for Business Processes

The development of distributed, heterogeneous applications has seen an explosion in both research and practical interest in recent years through techniques such as Business Process Modelling and Service-Oriented Architectures (in particular Web Service Architectures) that provide a new and flexible... Read more


Decentralised Rule-Based Peer-to-Peer Framework for Real-Time SOA

Decentralised Rule-Based Peer-to-Peer Framework for Real-Time SOA Systems

The emergence of collaborative information systems has seen a movement away from systems thinking involving simple, orderly and static categorisation of things. Indeed, it is inconceivable that future information systems will be designed as monolithic units that are unable to... Read more


CLUE4SBVR Feature Image

Formal Models from Controlled Natural Language via Cognitive Grammar and Configuration

This PhD project investigates the computer aided formalisation of textual software requirements to improve their quality and consistency as well as their communication between stakeholders. It develops a general framework, and a prototype implementation, for the flexible analysis of a restricted form of English that can assist in the identification of errors and inconsistencies in the text. Read more