Michael Johnson

Professor

  • 399 Citations
  • 10 h-Index
1981 …2018
If you made any changes in Pure these will be visible here soon.

Research Output 1981 2018

Filter
Conference proceeding contribution
2018

Confidentiality in the process of (model-driven) software development

Johnson, M. & Stevens, P., 9 Apr 2018, Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming: Programming 2018. New York, NY: Association for Computing Machinery, Vol. Part F137691. p. 1-8 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Software engineering
Restoration

Cospans and symmetric lenses

Johnson, M. & Rosebrugh, R., 9 Apr 2018, Proceedings of 2nd International Conference on Art, Science, and Engineering of Programming (<Programming'18> Companion). New York, NY: Association for Computing Machinery, p. 21-29 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Lenses
2017

Universal updates for symmetric lenses

Johnson, M. & Rosebrugh, R., 2017, BX 2017: Bidirectional Transformations: Proceedings of the 6th International Workshop on Bidirectional Transformations. Eramo, R. & Johnson, M. (eds.). Aachen: Rheinisch-Westfaelische Technische Hochschule Aachen, p. 39-53 15 p. (CEUR workshop proceedings; vol. 1827). (CEUR Workshop Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Open Access
File
Lenses
Equivalence classes
2014

What can programming languages say about data exchange?

Johnson, M., Pérez, J. & Terwilliger, J. F., 2014, Advances in Database Technology - EDBT 2014: 17th International Conference on Extending Database Technology, Proceedings. Amer-Yahia, S., Christophides, V., Kementsietsidis, A., Garofalakis, M., Idreos, S. & Leroy, V. (eds.). OpenProceedings.org, University of Konstanz, University Library, p. 223-228 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Open Access
File
Electronic data interchange
Computer programming languages
Lenses
2010

A Relational model of incomplete data without nulls

Johnson, M. & Kasangian, S., 2010, Conferences in Research and Practice in Information Technology: proceedings of the Sixteenth Computing--the Australasian Theory Symposium (CATS 2010), Brisbane, Australia, January 18-21 2010. Viglas, T. & Potanin, A. (eds.). Sydney: Australian Computer Society, p. 89-94 6 p. (Conferences in research and practice in information technology series; vol. 109).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Relational Model
Incomplete Data
Cartesian
Partial
Morita Equivalence
2008

Constant complements, reversibility and universal view updates

Johnson, M. & Rosebrugh, R., 2008, Algebraic methodology and software technology: 12th International Conference, AMAST 2008, Urbana, IL, USA, July 2008, proceedings. Meseguer, J. & Roşu, G. (eds.). Berlin: Springer, Springer Nature, p. 238-252 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5140 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Reversibility
Data structures
Complement
Update
Information systems

Implementing a categorical information system

Johnson, M. & Rosebrugh, R., 2008, Algebraic methodology and software technology: 12th International Conference, AMAST 2008, Urbana, IL, USA, July 2008, proceedings. Meseguer, J. & Roşu, G. (eds.). Berlin: Springer, Springer Nature, p. 232-237 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5140 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Categorical
Information Systems
Information systems
Database Design
Rapid Prototyping

Mathematical support for ensemble engineering

Johnson, M., 2008, Software-intensive systems and new computing paradigms: challenges and visions. Wirsing, M., Banâtre, J-P., Hölzl, M. & Rauschmayer, A. (eds.). Berlin: Springer, Springer Nature, p. 179-189 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5380 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Category Theory
Universal Algebra
Data Modeling
Missing Data
Inconsistency
2007

Enterprise software with half-duplex interoperations

Johnson, M., 2007, Enterprise interoperability: new challenges and approaches. Doumeingts, G., Muller, J., Morel, G. & Vallespir, B. (eds.). London: Springer, Springer Nature, p. 521-530 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

2003

Experience in developing interoperations among legacy information systems using partial reverse engineering

Johnson, M. & Dampney, C. N. G., Sep 2003, International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings.. Pfleeger, S. L., Verhoef, C. & van Vliet, H. (eds.). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 369-372 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Legacy systems
Reverse engineering
Information systems
Interoperability
Health

Oriented combinatorial topology and concurrency

Johnson, M. & Verity, D., 2003, Preliminary Proceedings of the Workshop on Geometry and Topology in Concurrency Theory. Cousot, P., Fajstrup, L., Goubault, E., Herlihy, M., Kurtz, A., Raussen, M. & Sassone, V. (eds.). Denmark: BRICS: Basic Research in Computer Science, Vol. NS-03-01. p. 51-54 4 p. (BRICS Notes Series; vol. 03, no. 1).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Topology
Software engineering
2002

Enterprise information systems: specifying the links among project data models using category theory

Johnson, M. & Dampney, C. N. G., 2002, Enterprise Information Systems III. Filipe, J., Sharp, B. & Miranda, P. (eds.). Dordrecht, The Netherlands: Kluwer Academic Publishers, p. 191-197 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

2001

Coproducts in Categorical Information System Specification

Johnson, M. & Rosebrugh, R., 2001, World Multi Conferences on Systemics, Cybernetics and Informatics Proceedings Volume XIV Computer Science and Engineering: Part II. Callaos, N., Tinetti, F. G., Champarnaud, J. M. & Lee, J. K. (eds.). Orlando, USA: International Institute of Informatics and Systemics, p. 145-150 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Enterprise information systems: specifying the links among project data models using category theory

Johnson, M. & Dampney, C. N. G., 2001, ICEIS 2001 - Proceedings of the 3rd International Conference on Enterprise Information Systems. Miranda, P., Sharp, B., Pakstas, A. & Filipe, J. (eds.). Setubal, Portugal: ICEIS Press, Vol. 2. p. 619-626 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Telecommunication links
Data structures
Information systems
Industry
Telecommunication

Half-Duplex Interoperations for Cooperating Information Systems

Johnson, M. & Dampney, C. N. G., 2001, Advances in Concurrent Engineering. Roy, R. & Prasad, B. (eds.). Tustin, USA: CETEAM International, p. 565-571 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Harmonising Health Information Models- a critical analysis of current practice

Dampney, C. N. G., Pegler, G. & Johnson, M., 2001, Health Informatics Conference 2001 Proceedings. Canberra

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearch

On category theory as a (meta) ontology for information systems research

Johnson, M. & Dampney, C. N. G., 2001, Formal Ontology in Information Systems: Collected Papers from the Second International Conference. Welty, C. & Smith, B. (eds.). New York: ACM, p. 59-69 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Ontology
Information systems
Computer programming languages
Algebra
Semantics

Reverse engineering legacy information systems for internet based interoperation

Johnson, M. & Rosebrugh, R., 2001, IEEE International Conference on Software Maintenance, ICSM. Nesi, P. (ed.). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 32-39 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Reverse engineering
Information systems
Internet
Legacy systems
Interoperability

Update algorithms for the sketch data model

Johnson, M. & Rosebrugh, R., 2001, Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design. Shen, W., Lin, Z., Barthes, J-P. & Kamel, M. (eds.). Ottawa, Canada: National Research Council of Canada, p. 367-376 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Data structures
Software engineering
Computer supported cooperative work
Interoperability
Specifications

View updatability based on the models of a formal specification

Johnson, M. & Rosebrugh, R., 2001, FME 2001: Formal Methods for Increasing Software Productivity - International Symposium of Formal Methods Europe, Proceedings. Heidelberg, Germany: Springer, Springer Nature, Vol. 2021 LNCS. p. 534-549 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2021 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Formal Specification
Information Systems
Information systems
Update
Formal methods

View updates in a semantic data modelling paradigm

Johnson, M., Rosebrugh, R. & Dampney, C. N. G., 2001, Proceedings - 12th Australasian Database Conference, ADC 2001. Orlowska, M. E. & Roddick, J. F. (eds.). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 29-36 8 p. 904461

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Data structures
Semantics
Algebra
Industry
2000

A formal method for enterprise interoperability: a case study in a Major Health Informatics Information System

Johnson, M. & Dampney, C. N. G., 2000, ICSSEA 2000 Proceedings. Rault, J. (ed.). Paris: CNAM, p. 1-6 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearch

BWW Ontology - the ultimate form and frame of reference?

Dampney, C. N. G. & Johnson, M., 2000, Proceedings of the Information Systems Foundations Workshop - Ontology, Semiotics and Practice 1999. Dampney, C. N. G. (ed.). Sydney: Macquarie University Lighthouse Press, p. 67-80 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearch

Database interoperability through state-based logical data independence

Johnson, M. & Rosebrugh, R., 2000, Proceedings of CSCW2000. You, J. (ed.). Hong Kong: Institute of Electrical and Electronics Engineers (IEEE), p. 161-166 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Revelations from large scale information analysis-action to classification

Dampney, C. N. G. & Johnson, M., 2000, Proceedings of DAMA 2000 Australain National Conference. Sydney: DAMA

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearch

Universal arrow foundations for visual modeling

Diskin, Z., Kadish, B., Piessens, F. & Johnson, M., 2000, Theory and Application of Diagrams: First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 2000 Proceedings. Anderson, M., Cheng, P. & Haarslev, V. (eds.). Berlin; Heidelberg: Springer, Springer Nature, Vol. 1889. p. 345-360 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1889).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Formal logic
Directed graphs
Visualization
Specifications
Modeling
1996

Death and lightness: using a demographic model to find support verbs

Dras, M. & Johnson, M., 1996, CSNLP '96: Proceedings of the Fifth International Conference on the Cognitive Science of Natural Language Processing. Monaghan, A. I. C. (ed.). Dublin, Ireland: Dublin City University Natural Language Group, 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Demographics
Verbs
Nouns
Props

Echidna: a system for manipulating explicit choice higher dimensional automata

Buckland, R. & Johnson, M., 1996, Algebraic methodology and software technology: 5th international conference, AMAST 1996, proceedings. Wirsing, M. & Nivat, M. (eds.). Berlin ; Heidelberg ; New York: Springer, Springer Nature, Vol. 1101. p. 587-590 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1101).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Automata
High-dimensional
Software engineering
Demonstrations
Software Engineering
1995

Application of “consistent dependency” to corporate and project information models

Dampney, C. N. G. & Johnson, M., 1995, OOER 1995: Object-Oriented and Entity-Relationship Modeling - 14th International Conference, Proceedings. Berlin; Heidelberg: Springer, Springer Nature, Vol. 1021. p. 445-446 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1021).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

1992

Remarks on representations of universal algebras by sheaves of quotient algebras

Johnson, M. & Sun, S-H., 1992, Category Theory 1991: Proceedings of the 1991 Summer Category Theory Meeting, Montreal, Canada. Seely, R. A. G. (ed.). Canadian Mathematical Society, p. 299-307 9 p. (Canadian Mathematical Society; vol. 13). (Canadian Mathematical Society Conference Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Congruence Lattice
Universal Algebra
Sheaves
Quotient
Representation Theorem