Skip to content

Publications

Journal Articles

Conference Articles

  • [2007,inproceedings] bibtex
    M. Lawley and K. Raymond, "Implementing a Practical Declarative Logic-based Model Transformation Engine," in Proceedings of the 2007 ACM Symposium on Applied Computing, 2007, pp. 971-977.
    @inproceedings{ACMSAC07, title={{Implementing a Practical Declarative Logic-based Model Transformation Engine}},
      author={Lawley, M. and Raymond, K.},
      booktitle={Proceedings of the 2007 {ACM Symposium on Applied Computing}},
      pages={971--977},
      year={2007},
      publisher={ACM Press New York, NY, USA}
    }
  • [2006,inproceedings] bibtex
    D. Hearnden, M. Lawley, and K. Raymond, "Incremental Model Transformation for the Evolution of Model-Driven Systems," in Proceedings 9th International Conference, MoDELS 2006, Genova, Italy, 2006, pp. 321-335.
    @inproceedings{models06, title={{Incremental Model Transformation for the Evolution of Model-Driven Systems}},
      author={D. Hearnden and M. Lawley and K. Raymond},
      booktitle={Proceedings 9th International Conference, MoDELS 2006},
      pages={321--335},
      address={Genova, Italy},
      editor={Oscar Nierstrasz and Jon Whittle and David Harel and Gianna Reggio},
      year={2006}
    }
  • [2005,inproceedings] bibtex Go to document
    L. Grunske, L. Geiger, and M. J. Lawley, "A Graphical Specification of Model Transformations with TrInformation Processing Letterse Graph Grammars," in Proc. European Conference on Model Driven Architecture – Foundations and Applications (ECMDA-FA), Nuremberg, Germany, 2005, pp. 284-298.
    @inproceedings{ecmda05,
      author = {L. Grunske and L. Geiger and M.J. Lawley},
      title = {A Graphical Specification of Model Transformations with TrInformation Processing Letterse Graph Grammars},
      booktitle = {Proc. European Conference on Model Driven Architecture - Foundations and Applications ({ECMDA-FA})},
      address = {Nuremberg, Germany},
      month = nov, year = {2005},
      pages = {284-298},
      url = {http://dx.doi.org/10.1007/11581741_21},
      }
  • [2005,inproceedings] bibtex Go to document
    M. J. Lawley and J. Steel, "Practical Declarative Model Transformation with Tefkat," in Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International Workshops OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, NfC, MDD, WUsCAM, Montego Bay, JamArtificial Intelligenceca, 2005.
    @inproceedings{mtip05,
      author = {M.J. Lawley and J. Steel},
      title = {Practical Declarative Model Transformation with {Tefkat}},
      booktitle = {{Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International Workshops OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, NfC, MDD, WUsCAM}},
      editor = {Jean-Michel Bruel},
      series = Lecture Notes in Computer Science, volume = {3844},
      publisher = {Springer Verlag},
      address = {Montego Bay, JamArtificial Intelligenceca},
      month = oct, year = {2005},
      note = {Revised selected papers},
      url = {{http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/11663430_15}}
    }
  • [2004,inproceedings] bibtex
    D. Hearnden, B. P. Intelligenceles, M. J. Lawley, and K. Raymond, "Automating Software Evolution," in IEEE 7th International Workshop on PrincInformation Processing Letterses of Software Evolution (IWPSE 2004), Kyoto, Japan, 2004, pp. 95-100.
    @inproceedings{iwpse04,
      author = {D. Hearnden and P. BArtificial Intelligenceles and M.J. Lawley and K. Raymond},
      title = {Automating Software Evolution},
      booktitle = {{IEEE} 7th International Workshop on PrincInformation Processing Letterses of Software Evolution {(IWPSE 2004)}},
      address = {Kyoto, Japan},
      pages = {95--100},
      month = sep, year = {2004},
      }
  • [2004,inproceedings] bibtex
    R. M. Colomb, A. Gerber, and M. J. Lawley, "Issues in Mapping Metamodels in the Ontology Development Metamodel," in EDOC workshop on Model-Driven Semantic Web (MDSW), Monterey, USA, 2004.
    @inproceedings{mdsw04,
      author = {R.M. Colomb and A. Gerber and M.J. Lawley},
      title = {Issues in Mapping Metamodels in the Ontology Development Metamodel},
      booktitle = {{EDOC} workshop on Model-Driven Semantic Web {(MDSW)}},
      address = {Monterey, USA},
      month = sep, year = {2004},
      }
  • [2004,inproceedings] bibtex Go to document
    A. Gerber and M. J. Lawley, "Generating Model-Specific Editors for MDA," in 4th OOPSLA Workshop on DomArtificial Intelligencen-Specific Modeling, Vancouver, Canada, 2004.
    @inproceedings{dsm04,
      author = {A. Gerber and M.J. Lawley},
      title = {Generating Model-Specific Editors for {MDA}},
      booktitle = {4th {OOPSLA} Workshop on DomArtificial Intelligencen-Specific Modeling},
      address = {Vancouver, Canada},
      month = oct, year = {2004},
      url = {http://www.lawley.id.au/publications/mse4mda.pdf},
      }
  • [2004,inproceedings] bibtex Go to document
    A. Gerber, E. Glynn, A. MacDonald, M. J. Lawley, and K. Raymond, "Modeling for Knowledge Discovery," in EDOC workshop on Model-Driven Evolution of Legacy Systems (MELS), Monterey, USA, 2004.
    @inproceedings{mels04,
      author = {A. Gerber and E. Glynn and A. MacDonald and M.J. Lawley and K. Raymond},
      title = {Modeling for Knowledge Discovery},
      booktitle = {{EDOC} workshop on Model-Driven Evolution of Legacy Systems {(MELS)}},
      address = {Monterey, USA},
      month = sep, year = {2004},
      url = {http://www.cis.uab.edu/EDOC-MELS/Papers/Gerber.pdf}
    }
  • [2004,inproceedings] bibtex Go to document
    J. Steel and M. J. Lawley, "Model-Based Test Driven Development of the Tefkat Model-Transformation Engine," in Proc. 15th IEEE International Symposium on Software Reliabililty Engineering (ISSRE), SArtificial Intelligencent-Malo, France, 2004.
    @inproceedings{issre04,
      author = {J. Steel and M.J. Lawley},
      title = {{Model-Based Test Driven Development of the Tefkat Model-Transformation Engine}},
      booktitle = {Proc. 15th {IEEE} International Symposium on Software Reliabililty Engineering {(ISSRE)}},
      address = {SArtificial Intelligencent-Malo, France},
      month = nov, year = {2004},
      url = {http://www.lawley.id.au/publications/issre04-testing-tarzan.pdf},
      }
  • [2004,inproceedings] bibtex Go to document
    M. J. Lawley, K. Duddy, A. Gerber, and K. Raymond, "Language Features for Re-Use and MArtificial IntelligencentArtificial Intelligencenability of MDA Transformations," in OOPSLA Workshop on Best Practices for Model-Driven Software Development, Vancouver, Canada, 2004.
    @inproceedings{oopsla04,
      author = {M.J. Lawley and K. Duddy and A. Gerber and K. Raymond},
      title = {Language Features for Re-Use and MArtificial IntelligencentArtificial Intelligencenability of {MDA} Transformations},
      booktitle = {{OOPSLA} Workshop on Best Practices for Model-Driven Software Development},
      address = {Vancouver, Canada},
      month = oct, year = {2004},
      url = {http://www.lawley.id.au/publications/bp4mdsd-language-features.pdf},
      }
  • [2004,inproceedings] bibtex
    K. Duddy, M. J. Lawley, and Z. Milosevic, "Elemental and Pegamento: The Final Cut — Applying the MDA Pattern," in Proc. 8th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2004, Monterey, USA, 2004, pp. 240-252.
    @inproceedings{edoc04,
      author = {K. Duddy and M.J. Lawley and Z. Milosevic},
      title = {{Elemental} and {Pegamento}: The Final Cut -- Applying the {MDA} Pattern},
      booktitle = {Proc. 8th {IEEE} International Enterprise Distributed Object Computing Conference, {EDOC} 2004},
      address = {Monterey, USA},
      pages = {240--252},
      month = sep, year = {2004},
      }
  • [2003,inproceedings] bibtex Go to document
    K. Duddy, A. Gerber, M. J. Lawley, K. Raymond, and J. Steel, "Modelware for Middleware," in 1st Workshop on Model-driven Approaches to Middleware Applications Development, MAMAD 2003, Middleware Workshops, Rio de Janeiro, Brazil, 2003, pp. 277-281.
    @inproceedings{modelware03,
      author = {K. Duddy and A. Gerber and M.J. Lawley and K. Raymond and J. Steel},
      title = {Modelware for Middleware},
      booktitle = {1st Workshop on Model-driven Approaches to Middleware Applications Development, {MAMAD} 2003, Middleware Workshops},
      address = {Rio de Janeiro, Brazil},
      pages = {277--281},
      month = jun, year = {2003},
      url = {http://purl.org/NET/lawley/publications/mamad03-modelware.pdf}
    }
  • [2003,inproceedings] bibtex Go to document
    K. Duddy, A. Gerber, M. J. Lawley, K. Raymond, and J. Steel, "Model Transformation: A Declarative, Reusable Patterns Approach," in Proc. 7th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2003, Brisbane, Australia, 2003, pp. 174-195.
    @inproceedings{edoc03,
      author = {K. Duddy and A. Gerber and M.J. Lawley and K. Raymond and J. Steel},
      title = {Model Transformation: A Declarative, Reusable Patterns Approach},
      booktitle = {Proc. 7th {IEEE} International Enterprise Distributed Object Computing Conference, {EDOC} 2003},
      address = {Brisbane, Australia},
      pages = {174--195},
      month = sep, year = {2003},
      url = {http://purl.org/NET/lawley/publications/edoc2003-reusable-patterns.pdf}
    }
  • [2002,inproceedings] bibtex Go to document
    A. Gerber, M. J. Lawley, K. Raymond, J. Steel, and A. Wood, "Transformation: The Missing Link of MDA," in Proc. 1st International Conference on Graph Transformation, ICGT’02, 2002, pp. 90-105.
    @InProceedings{ICGT02,
      author = {A. Gerber and M.J. Lawley and K. Raymond and J. Steel and A. Wood},
      title = {Transformation: The Missing Link of {MDA}},
      booktitle = {Proc. 1st International Conference on Graph Transformation, {ICGT}'02},
      year = {2002},
      series = Lecture Notes in Computer Science, publisher = {Springer Verlag},
      volume = {2505},
      pages = {90--105},
      abstract = {In this paper we explore the issue of transforming models to models, an essential part of the OMG`s Model Driven Architecture (MDA) vision. Drawing from the literature and our experiences implementing a number of transformations using different technologies, we explore the strengths and weaknesses of the different technologies and identify requirements for a transformation language for performing the kind of model-to-model transformations required to realise the MDA vision. },
      url = {http://purl.org/NET/lawley/publications/missing-link.pdf}
    }
  • [2000,inproceedings] bibtex Go to document
    S. Abraham, K. Duddy, M. J. Lawley, Z. Milosevic, K. Raymond, and A. Wood, "Mapping Enterprise Events to the CORBA Notification Service," in Proc. 4th International Enterprise Distributed Object Computing Conference, EDOC 2000, Makuhari, Japan, 2000, pp. 124-134.
    @inproceedings{EDOC2000,
      author = {S. Abraham and K. Duddy and M.J. Lawley and Z. Milosevic and K. Raymond and A. Wood},
      title = {Mapping Enterprise Events to the {CORBA} Notification Service},
      booktitle = {Proc. 4th International Enterprise Distributed Object Computing Conference, {EDOC} 2000},
      publisher = {{IEEE} Computer Society},
      pages = {124--134},
      address = {Makuhari, Japan},
      month = sep, year = {2000},
      url = {http://purl.org/NET/lawley/publications/edoc2000-mapping-events.pdf}
    }
  • [2000,inproceedings] bibtex Go to document
    A. P. Barros, K. Duddy, M. J. Lawley, Z. Milosevic, K. Raymond, and A. Wood, "Processes, Roles, and Events: UML Concepts for Enterprise Architecture," in \guillemotleftUML\guillemotright~2000~– The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, 2000, pp. 62-77.
    @inproceedings{UML2000,
      author = {A.P. Barros and K. Duddy and M.J. Lawley and Z. Milosevic and K. Raymond and A. Wood},
      title = {Processes, Roles, and Events: {UML} Concepts for Enterprise Architecture},
      booktitle = {\guillemotleft{}UML\guillemotright~2000~-- The Unified Modeling Language, Advancing the Standard, Third International Conference},
      address = {York, {UK}},
      month = oct, publisher = {Springer},
      series = Lecture Notes in Computer Science, volume = {1939},
      year = {2000},
      pages = {62-77},
      url = {http://purl.org/NET/lawley/publications/UML2000-processes-roles-events.pdf}
    }
  • [2000,inproceedings] bibtex Go to document
    A. P. Barros, K. Duddy, M. J. Lawley, Z. Milosevic, K. Raymond, and A. Wood, "Mapping Enterprise Roles to CORBA Objects Using Trader," in Trends in Distributed Systems: Towards a Universal Service Market , Third International IFIP/GI Working Conference, USM~2000, Munich, Germany, 2000, pp. 54-66.
    @InProceedings{USM2000,
      author = {A.P. Barros and K. Duddy and M.J. Lawley and Z. Milosevic and K. Raymond and A. Wood},
      title = {Mapping Enterprise Roles to {CORBA} Objects Using Trader},
      booktitle = {Trends in Distributed Systems: Towards a Universal Service Market , Third International IFIP/GI Working Conference, {USM}~2000},
      address = {Munich, Germany},
      publisher = {Springer},
      series = Lecture Notes in Computer Science, volume = {1890},
      pages = {54-66},
      month = sep, year = {2000},
      url = {http://purl.org/NET/lawley/publications/usm2000-mapping-enterprise-roles.pdf}
    }
  • [1998,inproceedings] bibtex
    D. Abel, L. Hegarty, and M. J. Lawley, "The QUEST Project: A New Approach to Spatial Data Infrastructures," in Proc. of the Australian Urban and Regional Information Systems Association, AURISA’98, Perth, 1998.
    @inproceedings{abel98,
      author = {D. Abel and L. Hegarty and M.J. Lawley},
      title = {The {QUEST} Project: A New Approach to Spatial Data Infrastructures},
      booktitle = {Proc. of the Australian Urban and Regional Information Systems Association, {AURISA}'98},
      address = {Perth},
      year = {1998}
    }
  • [1998,inproceedings] bibtex Go to document
    N. Ward, M. J. Lawley, and S. Finnigan, "ZORBA: Information Retrieval using Distributed Object Technologies," in Proc. of the Earth Observation and Geo-Spatial Web and Internet Workshop, EO/GEO’98, Salzburg, Austria, 1998.
    @inproceedings{ward98,
      author = {N. Ward and M.J. Lawley and S. Finnigan},
      title = {{ZORBA}: Information Retrieval using Distributed Object Technologies},
      booktitle = {Proc. of the Earth Observation and Geo-Spatial Web and Internet Workshop, {EO/GEO}'98},
      address = {Salzburg, Austria},
      year = {1998},
      url = {http://www.sbg.ac.at/geo/eogeo/authors/ward/ward.htm}
    }
  • [1996,inproceedings] bibtex
    D. Kuo, M. J. Lawley, C. Liu, and M. E. Orlowska, "A Model for Transactional Workflows," in Australasian Database Conference, Melbourne, Australia, 1996, pp. 139-146.
    @inproceedings{kuo96model,
      author = {D. Kuo and M.J. Lawley and C. Liu and M.E. Orlowska},
      title = {A Model for Transactional Workflows},
      booktitle = {Australasian Database Conference},
      pages = {139--146},
      address = {Melbourne, Australia},
      year = {1996}
    }
  • [1996,inproceedings] bibtex
    D. Kuo, M. J. Lawley, C. Liu, and M. E. Orlowska, "A General Model for Nested Transactional Workflows," in Proc. of the International Workshop on Advanced Transaction Models and Architecture, ATMA’96, Bombay, India, 1996, pp. 18-35.
    @inproceedings{atma:kuo96,
      author = {D. Kuo and M.J. Lawley and C. Liu and M.E. Orlowska},
      title = {A General Model for Nested Transactional Workflows},
      booktitle = {Proc. of the International Workshop on Advanced Transaction Models and Architecture, {ATMA}'96},
      pages = {18--35},
      address = {Bombay, India},
      month = sep, year = {1996}
    }
  • [1995,inproceedings] bibtex Go to document
    L. Bell, D. Kuo, M. J. Lawley, M. Orlowska, and R. Topor, "An Architectural Overview of DISTOPIA," in Proc. of the First DSTC Symposium, Brisbane, Australia, 1995.
    @inproceedings{symp:Bell95,
      author = {L. Bell and D. Kuo and M.J. Lawley and M. Orlowska and R. Topor},
      title = {An Architectural Overview of {DISTOPIA}},
      booktitle = {Proc. of the First {DSTC} Symposium},
      address = {Brisbane, Australia},
      month = jul, year = {1995},
      url = {http://www.dstc.edu.au/DDU/publications/papers/doia.html}
    }
  • [1995,inproceedings] bibtex
    M. J. Lawley, "Transaction Safety in Deductive Object-Oriented Databases," in Proc. Fourth " DOO, Singapore, 1995, pp. 395-410.
    @inproceedings{International Conference on Deductive and Object-Oriented Databases:lawley95,
      author = {M.J. Lawley},
      title = {Transaction Safety in Deductive Object-Oriented Databases},
      booktitle = "Proc. Fourth " International Conference on Deductive and Object-Oriented Databases, pages = {395--410},
      address = {Singapore},
      publisher = {Springer},
      series = Lecture Notes in Computer Science, volume = {1013},
      month = dec, year = {1995},
      isbn = {3-540-60608-4}
    }
  • [1994,inproceedings] bibtex Go to document
    M. J. Lawley and R. W. Topor, "A Query Language for EER Schemas," in Proc. 5th Australasian Database Conference, Christchurch, New Zealand, 1994, pp. 292-304.
    @inproceedings{adc:LaTo94,
      author = {M.J. Lawley and R.W. Topor},
      address = {Christchurch, New Zealand},
      title = {A Query Language for {EER} Schemas},
      booktitle = {Proc. 5th Australasian Database Conference},
      month = jan, pages = {292--304},
      year = {1994},
      url = {http://purl.org/NET/lawley/publications/adc94-eer-query.pdf}
    }
  • [1993,inproceedings] bibtex Go to document
    M. J. Lawley, R. W. Topor, and M. Wallace, "Using Weakest Preconditions to Simplify Integrity ConstrArtificial Intelligencent Checking," in Proc. 4th Australian Database Conference, Brisbane, Australia, 1993, pp. 161-170.
    @inproceedings{adc:LaToWa93,
      author = {M.J. Lawley and R.W. Topor and M. Wallace},
      address = {Brisbane, Australia},
      booktitle = {Proc. 4th Australian Database Conference},
      editor = {M.E. Orlowska and M. Papazoglou},
      institution = {Department of Computer Science, University of Melbourne},
      month = feb, pages = {161--170},
      title = {Using Weakest Preconditions to Simplify Integrity ConstrArtificial Intelligencent Checking},
      year = {1993},
      url = {http://purl.org/NET/lawley/publications/adc93-wp.pdf}
    }
  • [1992,inproceedings] bibtex Go to document
    M. J. Lawley, "On the Power of Database Update Languages," in Proc. of the 15th Australian Computer Science Conference, Hobart, Australia, 1992, pp. 517-528.
    @inproceedings{acsc:Lawley92,
      author = {M.J. Lawley},
      address = {Hobart, Australia},
      booktitle = {Proc. of the 15th Australian Computer Science Conference},
      editor = {G.K. Gupta and C.D. Keen},
      institution = {Department of Computer Science, University of Melbourne},
      month = jan, pages = {517--528},
      title = {On the Power of Database Update Languages},
      year = {1992},
      url = {http://lawley.id.au/publications/acsc15-update.pdf}
    }

Book Chapters

  • [2004,incollection] bibtex Go to document
    K. Duddy, A. Gerber, M. J. Lawley, K. Raymond, and J. Steel, "Declarative Transformation for Object-Oriented Models," , van~Bommel, P., Ed., Idea Group Publishing, 2004.
    @incollection{tkid04,
      author = {K. Duddy and A. Gerber and M.J. Lawley and K. Raymond and J. Steel},
      title = {Declarative Transformation for Object-Oriented Models},
      booktitle = {Transformation of Knowledge, Information, and Data: Theory and Applications},
      publisher = {Idea Group Publishing},
      editor = {P. van~Bommel},
      year = {2004},
      url = {http://purl.org/NET/lawley/publications/dtoom.pdf}
    }

Other

  • [2004,misc] bibtex Go to document
    DSTC, Knowledge Discovery MetaModel, Initial Submission, 2004.
    @misc{ad/04-04-01,
      author = {DSTC},
      title = {{Knowledge Discovery MetaModel},
      Initial Submission},
      month = mar, year = {2004},
      url = {http://www.dstc.edu.au/Research/Projects/Pegamento/publications/ad-04-04-01.pdf}
    }
  • [2004,misc] bibtex Go to document
    DSTC, IBM, and CBOP, MOF Query/View/Transformation, Second Revised Submission, 2004.
    @misc{ad/04-01-06,
      author = {DSTC and IBM and CBOP},
      title = {{MOF Query/View/Transformation},
      Second Revised Submission},
      month = jan, year = {2004},
      url = {http://www.dstc.edu.au/Research/Projects/Pegamento/publications/ad-04-01-06.pdf}
    }
  • [2003,misc] bibtex Go to document
    DSTC, IBM, and CBOP, MOF Query/View/Transformation, First Revised Submission, 2003.
    @misc{ad/03-08-03,
      author = {DSTC and IBM and CBOP},
      title = {{MOF Query/View/Transformation},
      First Revised Submission},
      month = aug, year = {2003},
      url = {http://www.dstc.edu.au/Research/Projects/Pegamento/publications/ad-03-08-03.pdf}
    }
  • [2003,misc] bibtex Go to document
    DSTC, IBM, and CBOP, MOF Query/View/Transformation, Initial Submission, 2003.
    @misc{ad/03-02-03,
      author = {DSTC and IBM and CBOP},
      title = {{MOF Query/View/Transformation},
      Initial Submission},
      month = feb, year = {2003},
      url = {http://www.dstc.edu.au/Research/Projects/Pegamento/publications/ad-03-02-03.pdf}
    }
  • [2001,misc] bibtex Go to document
    OMG, UML Profile for Enterprise Distributed Object Computing, Draft Adopted Specification, 2001.
    @misc{ptc/01-12-04,
      author = {OMG},
      title = {{UML Profile for Enterprise Distributed Object Computing},
      Draft Adopted Specification},
      month = dec, year = {2001},
      url = {http://www.dstc.edu.au/Research/Projects/Pegamento/publications/ptc-01-12-04.pdf}
    }
  • [2000,misc] bibtex Go to document
    OMG, Workflow Management Facility Specification, V1.2, 2000.
    @misc{formal/00-05-02,
      author = {OMG},
      title = {Workflow Management Facility Specification, V1.2},
      month = may, year = {2000},
      url = {http://www.dstc.edu.au/Research/Projects/Pegamento/publications/formal-00-05-02.pdf}
    }
  • [2000,phdthesis] bibtex Go to document
    M. J. Lawley, "Program Transformation for Proving Database Transaction Safety," PhD Thesis , Brisbane, Australia, 2000.
    @PhdThesis{lawley2000,
      author = {M.J. Lawley},
      title = {Program Transformation for Proving Database Transaction Safety},
      school = {School of Computing and Information Technology, Griffith University},
      address = {Brisbane, Australia},
      year = {2000},
      url = {http://purl.org/NET/lawley/publications/phd-lawley.pdf}
    }
  • [1991,techreport] bibtex
    M. J. Lawley, "On the Power of Database Update Languages," Department of Computer Science, University of Melbourne, 91/14, 1991.
    @techreport{tr:Lawley91,
      author = {M.J. Lawley},
      institution = {Department of Computer Science, University of Melbourne},
      number = {91/14},
      title = {On the Power of Database Update Languages},
      year = {1991},
      }