Michael Lawley - Academia.edu (original) (raw)

Papers by Michael Lawley

Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148), 2001

A deadlock avoidance algorithm for flexible manufacturing systems containing both multiple capaci... more A deadlock avoidance algorithm for flexible manufacturing systems containing both multiple capacity resources and mixed choices in part routing is presented. The method determines whether moving a part to its next step is safe, unsafe, or undetermined. That classification is linear in complexity. Undetermined part movements are further analyzed using another procedure, which attempts to empty the system virtually to

Studies in health technology and informatics, 2012

A large scale, long term clinical study faced significant quality issues with its medications use... more A large scale, long term clinical study faced significant quality issues with its medications use data which had been collected from participants using paper forms and manually entered into a data capture system. A method was developed that automatically mapped 72.2% of the unique medication names collected for the study to the AMT and SNOMED CT-AU using Ontoserver, a terminology server for clinical ontologies. These initial results are promising and, with further improvements to the algorithms and evaluation, are expected to greatly improve the analysis of medication data gathered from the study.

Studies in health technology and informatics, 2011

An exploratory exercise in mapping approximately 8000 medication terms from the Queensland Health... more An exploratory exercise in mapping approximately 8000 medication terms from the Queensland Health iPharmacy Medication File to the Australian Medicines Terminology (AMT) was carried out to determine coverage, build specialist knowledge, and inform future clinical terminology strategies. Snapper was the mapping tool selected for this exercise. The Automap function of the tool mapped 39.2% of the items that were successfully mapped, and the remainder were manually mapped. A total of 51.8% of the sample items were mapped to a semantically equivalent AMT concept with 50.0% of terms being mapped to a satisfactory fully specified term, and 1.8% of terms being mapped to a fully specified term that was considered unsuitable for QH clinical purposes. Rules and guidelines on how to deal with the emerging differences between the two terminologies were developed during the course of the project. Snapper was found to be an appropriate tool for this exercise; its functionality is being constantly...

Lecture Notes in Computer Science, 2005

Models and model transformations are the core concepts of OMG's MDA T M approach. Within this app... more Models and model transformations are the core concepts of OMG's MDA T M approach. Within this approach, most models are derived from the MOF and have a graph-based nature. In contrast, most of the current model transformations are specified textually. To enable a graphical specification of model transformation rules, this paper proposes to use triple graph grammars as declarative specification formalism. These triple graph grammars can be specified within the FUJABA tool and we argue that these rules can be more easily specified and they become more understandable and maintainable. To show the practicability of our approach, we present how to generate Tefkat rules from triple graph grammar rules, which helps to integrate triple graph grammars with a state of a art model transformation tool and shows the expressiveness of the concept.

Lecture Notes in Computer Science, 2007

Software bugs occur in model-driven development, just as they do with traditional development tec... more Software bugs occur in model-driven development, just as they do with traditional development techniques. We explore the types of bugs that occur in model transformations and identify debugging approaches that can be applied or adapted to a model-driven context. Investigation shows that the detailed source-to-target traceability available with model transformations enables effective post-hoc, or forensic, debugging. Forensic debugging techniques are introduced for automated bug localisation in model transformations. The methods discussed are grounded with examples using the Eclipse Modeling Framework (EMF) and Tefkat, a declarative model transformation engine.

... Generating model-specific editors for MDA. Gerber, Anna and Lawley, Michael (2004). Generatin... more ... Generating model-specific editors for MDA. Gerber, Anna and Lawley, Michael (2004). Generating model-specific editors for MDA. In: 4th ACM Conference on Object Oriented Programming Systems Languages and Applications ...

... Use as Interface Terminologies David P Hansen, Marcel Giermanski, Monika Dujmovic, Josh Passe... more ... Use as Interface Terminologies David P Hansen, Marcel Giermanski, Monika Dujmovic, Josh Passenger and Michael J Lawley ... 4. Hellier D, Passenger J, Appleyard MN, Ourselin S. Develop-ment of a new Colonoscopy Skills Trainer using Virtual Reality and Haptic Feedback. ...

Software Reliability Engineering, 2004. …, Nov 2, 2004

Tefkat is an implementation of a rule-and pattern-based engine for the transformation of models d... more Tefkat is an implementation of a rule-and pattern-based engine for the transformation of models defined using the Object Management Group's (OMG) Model-Driven Architecture (MDA). The process for the development of the engine included the concurrent development of a unit test suite for the engine. The test suite is constructed as a number of models, whose elements comprise the test cases, and which are passed to a test harness for processing. The paper discusses the difficulties and opportunities ...

The transactional work ows (TWF) model can be regarded as a merging point of extended transaction... more The transactional work ows (TWF) model can be regarded as a merging point of extended transaction models and general work ow model, it emphasizes both transactional aspect and business process aspect. In this report, we present a hierarchical approach for representing transactional work ows and discuss both transactional and business process aspects that a TWF should capture. We also introduce an execution model which allows us to reason about the correctness of a TWF, and to generate and execute TWF schedules.

This paper applies concepts from transaction processing to workflows, thus enabling workflows to ... more This paper applies concepts from transaction processing to workflows, thus enabling workflows to exhibit relaxed transactional behaviour. A general model for transactional workflows is presented. We define correctness of transactional workflows in terms of the model, and ...

We present a procedure for deriving the weakest precondition for a data- base update and an integ... more We present a procedure for deriving the weakest precondition for a data- base update and an integrity constraint. We show how to simplify the weak- est precondition to produce a condition to be evaluated before the update is performed. This provides an ecient means to ensure that database updates maintain integrity constraints.

The Australian e-Health Research Centre and Queensland University of Technology re-cently partici... more The Australian e-Health Research Centre and Queensland University of Technology re-cently participated in the TREC 2011 Medical Records Track. This paper reports on our methods, results and experience using a concept-based information retrieval approach. Our concept-based approach is intended to overcome specific challenges we identify in searching medical records. Queries and documents are transformed from their term-based originals into medical concepts as defined by the SNOMED-CT ontology. Results show our concept-based approach performed above the median in all three performance metrics: bref (+12%), R-prec (+18%) and Prec@10 (+6%).

We present a proposed query language for extended entity relationship schemas. The language impro... more We present a proposed query language for extended entity relationship schemas. The language improves on previous proposals by using only concepts explicitly in a given schema. It includes quantiers and aggregates to allow complex queries to be expressed, and it allows derived subtypes, attributes and relation- ships to be dened and used in queries. Further extensions are discussed.

This chapter provides a context and motivation for a language to describe transformations of mode... more This chapter provides a context and motivation for a language to describe transformations of models within an object-oriented framework. The requirements for such a language are given, and then an object-oriented model of the language's abstract syntax is provided that meets these requirements. A concrete syntax is introduced along with some example transformations. Finally we discuss the tools required to use the language within a model-driven software engineering paradigm. The authors aim to demonstrate the principles of model transformation within an object-oriented framework, and show how this can be applied to the development of software systems.

Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148), 2001

A deadlock avoidance algorithm for flexible manufacturing systems containing both multiple capaci... more A deadlock avoidance algorithm for flexible manufacturing systems containing both multiple capacity resources and mixed choices in part routing is presented. The method determines whether moving a part to its next step is safe, unsafe, or undetermined. That classification is linear in complexity. Undetermined part movements are further analyzed using another procedure, which attempts to empty the system virtually to

Studies in health technology and informatics, 2012

A large scale, long term clinical study faced significant quality issues with its medications use... more A large scale, long term clinical study faced significant quality issues with its medications use data which had been collected from participants using paper forms and manually entered into a data capture system. A method was developed that automatically mapped 72.2% of the unique medication names collected for the study to the AMT and SNOMED CT-AU using Ontoserver, a terminology server for clinical ontologies. These initial results are promising and, with further improvements to the algorithms and evaluation, are expected to greatly improve the analysis of medication data gathered from the study.

Studies in health technology and informatics, 2011

An exploratory exercise in mapping approximately 8000 medication terms from the Queensland Health... more An exploratory exercise in mapping approximately 8000 medication terms from the Queensland Health iPharmacy Medication File to the Australian Medicines Terminology (AMT) was carried out to determine coverage, build specialist knowledge, and inform future clinical terminology strategies. Snapper was the mapping tool selected for this exercise. The Automap function of the tool mapped 39.2% of the items that were successfully mapped, and the remainder were manually mapped. A total of 51.8% of the sample items were mapped to a semantically equivalent AMT concept with 50.0% of terms being mapped to a satisfactory fully specified term, and 1.8% of terms being mapped to a fully specified term that was considered unsuitable for QH clinical purposes. Rules and guidelines on how to deal with the emerging differences between the two terminologies were developed during the course of the project. Snapper was found to be an appropriate tool for this exercise; its functionality is being constantly...

Lecture Notes in Computer Science, 2005

Models and model transformations are the core concepts of OMG's MDA T M approach. Within this app... more Models and model transformations are the core concepts of OMG's MDA T M approach. Within this approach, most models are derived from the MOF and have a graph-based nature. In contrast, most of the current model transformations are specified textually. To enable a graphical specification of model transformation rules, this paper proposes to use triple graph grammars as declarative specification formalism. These triple graph grammars can be specified within the FUJABA tool and we argue that these rules can be more easily specified and they become more understandable and maintainable. To show the practicability of our approach, we present how to generate Tefkat rules from triple graph grammar rules, which helps to integrate triple graph grammars with a state of a art model transformation tool and shows the expressiveness of the concept.

Lecture Notes in Computer Science, 2007

Software bugs occur in model-driven development, just as they do with traditional development tec... more Software bugs occur in model-driven development, just as they do with traditional development techniques. We explore the types of bugs that occur in model transformations and identify debugging approaches that can be applied or adapted to a model-driven context. Investigation shows that the detailed source-to-target traceability available with model transformations enables effective post-hoc, or forensic, debugging. Forensic debugging techniques are introduced for automated bug localisation in model transformations. The methods discussed are grounded with examples using the Eclipse Modeling Framework (EMF) and Tefkat, a declarative model transformation engine.

... Generating model-specific editors for MDA. Gerber, Anna and Lawley, Michael (2004). Generatin... more ... Generating model-specific editors for MDA. Gerber, Anna and Lawley, Michael (2004). Generating model-specific editors for MDA. In: 4th ACM Conference on Object Oriented Programming Systems Languages and Applications ...

... Use as Interface Terminologies David P Hansen, Marcel Giermanski, Monika Dujmovic, Josh Passe... more ... Use as Interface Terminologies David P Hansen, Marcel Giermanski, Monika Dujmovic, Josh Passenger and Michael J Lawley ... 4. Hellier D, Passenger J, Appleyard MN, Ourselin S. Develop-ment of a new Colonoscopy Skills Trainer using Virtual Reality and Haptic Feedback. ...

Software Reliability Engineering, 2004. …, Nov 2, 2004

Tefkat is an implementation of a rule-and pattern-based engine for the transformation of models d... more Tefkat is an implementation of a rule-and pattern-based engine for the transformation of models defined using the Object Management Group's (OMG) Model-Driven Architecture (MDA). The process for the development of the engine included the concurrent development of a unit test suite for the engine. The test suite is constructed as a number of models, whose elements comprise the test cases, and which are passed to a test harness for processing. The paper discusses the difficulties and opportunities ...

The transactional work ows (TWF) model can be regarded as a merging point of extended transaction... more The transactional work ows (TWF) model can be regarded as a merging point of extended transaction models and general work ow model, it emphasizes both transactional aspect and business process aspect. In this report, we present a hierarchical approach for representing transactional work ows and discuss both transactional and business process aspects that a TWF should capture. We also introduce an execution model which allows us to reason about the correctness of a TWF, and to generate and execute TWF schedules.

This paper applies concepts from transaction processing to workflows, thus enabling workflows to ... more This paper applies concepts from transaction processing to workflows, thus enabling workflows to exhibit relaxed transactional behaviour. A general model for transactional workflows is presented. We define correctness of transactional workflows in terms of the model, and ...

We present a procedure for deriving the weakest precondition for a data- base update and an integ... more We present a procedure for deriving the weakest precondition for a data- base update and an integrity constraint. We show how to simplify the weak- est precondition to produce a condition to be evaluated before the update is performed. This provides an ecient means to ensure that database updates maintain integrity constraints.

The Australian e-Health Research Centre and Queensland University of Technology re-cently partici... more The Australian e-Health Research Centre and Queensland University of Technology re-cently participated in the TREC 2011 Medical Records Track. This paper reports on our methods, results and experience using a concept-based information retrieval approach. Our concept-based approach is intended to overcome specific challenges we identify in searching medical records. Queries and documents are transformed from their term-based originals into medical concepts as defined by the SNOMED-CT ontology. Results show our concept-based approach performed above the median in all three performance metrics: bref (+12%), R-prec (+18%) and Prec@10 (+6%).

We present a proposed query language for extended entity relationship schemas. The language impro... more We present a proposed query language for extended entity relationship schemas. The language improves on previous proposals by using only concepts explicitly in a given schema. It includes quantiers and aggregates to allow complex queries to be expressed, and it allows derived subtypes, attributes and relation- ships to be dened and used in queries. Further extensions are discussed.

This chapter provides a context and motivation for a language to describe transformations of mode... more This chapter provides a context and motivation for a language to describe transformations of models within an object-oriented framework. The requirements for such a language are given, and then an object-oriented model of the language's abstract syntax is provided that meets these requirements. A concrete syntax is introduced along with some example transformations. Finally we discuss the tools required to use the language within a model-driven software engineering paradigm. The authors aim to demonstrate the principles of model transformation within an object-oriented framework, and show how this can be applied to the development of software systems.