Publications, 2000 -

[31]
Michael Johnson, Robert Rosebrugh.
Database Interoperability Through State Based Logical Data Independence.
Proceedings of CSCW2000, the Fourth International Conference on Computer Supported Collaborative Work, IEEE Hong Kong, 161-166, 2000.
[32]
Zinovy Diskin, Michael Johnson, Boris Kadish, Frank Piessens.
Universal Arrow Foundations for Visual Modelling.
LNAI, 1889, 345-360, 2000.
[ Springer version ] © Springer-Verlag
[33]
Michael Johnson, Robert Rosebrugh, Richard Wood.
Modelling a sketch in an object in a 2-category with applications to database theory.
Abstracts of the AMS, 2000. © American Mathematical Society
[34]
Robert Colomb, C.N.G. Dampney, Michael Johnson.
The use of category-theoretic fibration as an abstraction mechanism in information systems.
Acta Informatica, 38, 1, (2001) 1--44.
[ Springer version ]
[35]
Michael Johnson, Robert Rosebrugh.
Update algorithms for the sketch data model.
Proceedings of the Fifth International Conference on Computer Supported Cooperative Work in Design, London, Ontario, 367--376, 2001.
[ ps.gz (~50k) | ps (~120k) ]
[36]
C.N.G. Dampney, Michael Johnson, Robert Rosebrugh.
View updates in a semantic data modelling paradigm.
Proceedings of the twelfth Australasian Database Conference ADC2001, 29--36, IEEE Press, 2001.
[ ps.gz (~75k) | ps (~175k) ] © IEEE
[37]
C.N.G. Dampney, Michael Johnson.
A Formal Method for Enterprise Interoperability: A Case Study in a Major Health Informatics Information System.
13th International Conference on Software and Systems Engineering and their Applications, Paris, vol 3, 12-5, pp 1-6, 2000.
[ .rtf (Word97) (~750k) ]
[38]
Michael Johnson, Robert Rosebrugh.
View Updatability Based on the Models of a Formal Specification.
LNCS, 2021, 534-549, 2001.
[ ps.gz (~160k) | ps (~340k) | pdf (~173k) | Springer version ] © Springer-Verlag
[39]
Michael Johnson, Robert Rosebrugh.
Coproducts in Categorical Information System Specification.
Proceedings of SCI2001, Volume XIV, 145--150, 2001.
[ ps.gz (~78k) | ps (~194k) ]
[40]
Michael Johnson, Robert Rosebrugh, Richard Wood.
Entity Relationship Attribute Designs and Sketches.
Theory and Application of Categories Volume 10, 3, 94-112, 2002.
[ ps.gz (~62k) | ps (~159k) | TAC pdf (~210k) | Local pdf (~210k) ]
[41]
C.N.G Dampney and Michael Johnson.
BWW Ontology - the ultimate form and frame of reference?
Proceedings of the Information Systems Foundations Workshop - Ontology, Semiotics and Practice 1999.
Lighthouse press, ISBN: 1 86408 524 X, 2000.
[ via (~62k) ]
[42]
C.N.G Dampney and Michael Johnson.
Revelations from Large Scale Information Analysis -- Action to Classification.
Fifth National DAMA conference, December 2000.
[43]
C.N.G Dampney and Michael Johnson.
Enterprise Information Systems: Specifying the links among project data models using category theory.
Proceedings of the International Conference on Enterprise Information Systems, 619--626, 2001.
[ ps.gz (~65k) | ps (~150k) ]
[44]
C.N.G Dampney and Michael Johnson.
Half-duplex interoperations for cooperating information systems.
Advances in Concurrent Engineering, 2001.
[45]
Michael Johnson.
Rewriting techniques and coherence theorems.
Working document, January 2001.
[46]
Michael Johnson and Robert Rosebrugh.
Reverse Engineering Legacy Information Systems for Internet Based Interoperation.
Proceedings of the IEEE Conference on Software Maintenance, 32--39, 2001.
[ ps.gz (~73k) | ps (~165k) ] © IEEE
[47]
C.N.G Dampney and Michael Johnson.
On Category Theory as a (meta) Ontology for Information Systems Research.
In Formal Ontology in Information Systems edited by Chris Welty and Barry Smith, 59--69, 2001, ACM Press.
[ ps.gz (~35k) | ps (~85k) ] © ACM
[48]
Anne Heyworth, Michael Johnson.
Logged rewriting and finite derivation type for monoids.
Working document, September 2000.
[ ps.gz (~127k) | ps (~316k) ]
[49]
C.N.G Dampney, Graham Pegler and Michael Johnson.
Harmonising Health Information Models - a critical analysis of current practice.
Proceedings of the Health Informatics Conference 2001, 8pp. ISBN: 0 9585370 8 9
[ pdf (~54k) ]
[50]
Michael Johnson, David Naumann and John Power.
Category Theoretic Models of Data Refinement.
Manuscript, 18pp, July 2001. See [69] for final version.
[51]
Michael Johnson and Robert Rosebrugh.
Sketch Data Models, Relational Schema and Data Specifications.
ENTCS, Volume 61, 6, 1-13, 2002.
[ ps.gz (~50k) | ps (~130k) | pdf (~110k) | DOI for published article ] © Elsevier Science
[52]
Michael Johnson and Robert Rosebrugh.
Semantics: Initial, Absolute, and Relative.
Proceedings of the Tenth OOPSLA Workshop on Behavioral Semantics, Tampa, Florida, October 2001, 121-132.
[53]
Michael Johnson and Robert Rosebrugh.
Universal view updatability.
Manuscript. See [64] for extended published version.
[54]
C.N.G Dampney and Michael Johnson.
Enterprise Information Systems: Specifying the links among project data models using category theory.
Extended version of [43], Enterprise Information Systems III,
Eds J. Filipe, B. Sharp, and P. Miranda, 191-197, 2002. © Kluwer
[55]
Richard Buckland, Michael Johnson and Dominic Verity.
On the specification of Higher Dimensional Automata.
ENTCS, Volume 68, 1, 1-13, 2002.
[ ps.gz (~40k) | ps (~120k) | DOI for published article ] © Elsevier Science
[56]
Michael Johnson and Robert Rosebrugh.
Database Interoperability Through State Based Logical Data Independence.
Extended version of [31]
International Journal of Computer Applications in Technology, vol 16, number 2-3, (2003) 97-102. © Inderscience
[57]
Michael Johnson and Robert Rosebrugh.
Three approaches to partiality in the sketch data model.
ENTCS, Volume 78, 1-18, 2003.
[ ps.gz (~70k) | ps (~210k) | DOI for published article ] © Elsevier Science
[58]
C.N.G. Dampney and Michael Johnson.
Experience in developing interoperations among legacy information systems using partial reverse engineering.
Proceedings of the IEEE International Conference on Software Maintenance,
269-272, 2003.
[ ps.gz (~17k) | ps (~44k) ] © IEEE Computer Society
[59]
Michael Johnson and Dominic Verity.
Oriented combinatorial topology and concurrency.
Abstract, June, 2003.
[ ps.gz (~19k) | ps (~61k) ]
[60]
Catherine Menon, Michael Johnson and Charles Lakos.
Inconsistency Management and View Updates.
ENTCS, Volume 141, 3, Pages 27-51, 2005.
[ pdf (~380k) | Published article ] © Elsevier Science
[61]
Michael Johnson.
Enterprise Software with Half-Duplex Interoperations.
In Doumeingts, Mueller, Morel and Vallespir (eds),
Enterprise Interoperability: New Challenges and Approaches, 521--530,
Springer-Verlag, 2007.
[ pdf (~120k) | Published article ] © Springer-Verlag
[62]
Michael Johnson and Varmo Vene (eds).
Algebraic Methodology and Software Technology. LNCS 4019 387pp, 2006.
[DOI for published book ] © Springer-Verlag
[63]
Michael Johnson and Robert Rosebrugh.
Constant Complements, Reversibility and Universal View Updates.
LNCS, 5140, 238-252, 2008.
[ pdf (~460k) | Springer version ]
[64]
Michael Johnson and Robert Rosebrugh.
Fibrations and Universal View Updatability.
Theoretical Computer Science, 388, 109--129, 2007.
[ pdf (~294k) | Published version ]
[65]
Alexei Davydov, Michael Batanin, Michael Johnson, Stephen Lack and Amnon Neeman (eds).
Categories in Algebra, Geometry and Mathematical Physics,
Contemporary Mathematics, 431, 2007 (467pp).
[Published volume] © American Mathematical Society
[66]
Michael Johnson and Robert Rosebrugh.
Implementing a categorical information system.
LNCS, 5140, 232-237, 2008.
[ pdf (~295k) | Springer version ] © Springer-Verlag
[67]
Michael Johnson.
Mathematical support for ensemble engineering.
LNCS, 5380, 179-189, 2008.
[ pdf (~330) | Springer version ] © Springer-Verlag
[68]
Michael Johnson and Robert Rosebrugh.
Ontology engineering, universal algebra and category theory.
Invited book chapter in Theory and Applications of Ontologies volume 2:
The Information-science Stance (edited by Roberto Poli, Achilles Kameas and Michael Healy). Chapter 24, 565--576, 2010.
[ pdf (~160k) | Springer version ] © Springer-Verlag.
[69]
Michael Johnson, John Power and David Naumann.
Category Theoretic Models of Data Refinement. (Extended final version of [50])
ENTCS, volume 225 (2009), 21-38.
[DOI for published article ] © Elsevier Science
[70]
Michael Johnson, Robert Rosebrugh and Richard Wood.
Algebras and Update Strategies.
Journal of Universal Computer Science, vol. 16, no. 6 (2010), 729-748.
[pdf (~275k) | published article (~213k) ]
[71]
Michael Johnson, and Stefano Kasangian.
A Relational Model of Incomplete Data without {\tt NULL}s
CRPIT (Conferences in Research and Practice in Information Technology), Vol 109 (2010) 89-94.
[ pdf (~154k) ] © ACS
[72]
Michael Johnson, Robert Rosebrugh and Richard Wood.
Lenses, Fibrations, and Universal Translations.
Mathematical Structures in Computer Science, 22, 25-42
Cambridge University Press, 2012.
[pdf (~350k) ]
[DOI for published article ]
[73]
Michael Johnson and Dusko Pavlovic (eds).
Algebraic Methodology and Software Technology.
LNCS 6486, 238pp, 2011.
[DOI for published book ] © Springer-Verlag
[74]
Jeremy Gibbons and Michael Johnson.
Relating algebraic and coalgebraic descriptions of lenses.
ECEASST, vol 49 (2012), 15pp.
[pdf (~210k) | published article ]
[75]
Michael Johnson and Robert Rosebrugh.
Lens put-put laws: Monotonic and mixed.
ECEASST, vol 49 (2012), 13pp.
[ local pdf (~155k) | published article ]
[76]
Michael Johnson and Robert Rosebrugh.
Delta lenses and opfibrations.
ECEASST, vol 57 (2013), 18pp.
[ local pdf (~155k) | published article ]
[77]
Michael Johnson, Jorge Perez and James Terwilliger.
What can programming languages say about data exchange?
Proceedings of the 17th International Conference on Extending Database Technology (EDBT)
Edited by Sihem Amer-Yahia, Vassilis Christophides, Anastasios Kementsietsidis, Minos Garofalakis, Stratos Idreos and Vincent Leroy,
223-228 (2014).
[ local pdf (~580k) | published article ]
[78]
Michael Johnson and Robert Rosebrugh.
Spans of lenses.
CEUR Proceedings, vol 1133, 112-118 (2014).
[ local pdf (~273k) | published article ]
[79]
Michael Johnson and Robert Rosebrugh.
Spans of delta lenses.
CEUR Proceedings, vol 1396, 1-15 (2015).
[ local pdf (~327k) | published article ]
[80]
Michael Johnson and Robert Rosebrugh.
Distributing commas, and the monad of anchored spans.
CEUR Proceedings, vol 1396, 31-42 (2015).
[ local pdf (~280k) | published article ]
[81]
Michael Johnson and Robert Rosebrugh.
Unifying set-based, delta-based and edit-based lenses.
CEUR Proceedings, vol 1571, 1-13 (2016).
[ local pdf (~282k) | published article ]
[82]
Michael Johnson and Robert Rosebrugh.
Symmetric delta lenses and spans of asymmetric delta lenses.
Journal of Object Technology, vol 16, 2:1-32 (2017).
doi:10.5381/jot.2017.16.1.a2
[ local pdf (~660k) | published article]
[83]
Michael Johnson and Robert Rosebrugh.
Universal updates for symmetric lenses.
CEUR Proceedings, vol 1827, 39-53 (2017).
[ local pdf (~340k) | published article]
[84]
Romina Eramo and Michael Johnson (eds).
Bidirectional Transformations.
Proceedings of the 6th International Workshop on Bidirectional Transformations
CEUR Proceedings, vol 1827, ETAPS (2017).
[Journal site]
[85]
Michael Johnson and Perdita Stevens.
Confidentiality in the process of (model driven) software development.
Programming'18, Second International Conference on Art, Science and Engineering of Programmming, 1-8 (2018).
[ local pdf (~580k) | published article] © ACM
[86]
Michael Johnson and Robert Rosebrugh.
Cospans and Symmetric Lenses.
Programming'18, Second International Conference on Art, Science and Engineering of Programmming, 21-29 (2018).
[ local pdf (~875k) | published article] © ACM
[87]
Michael Johnson and Francois Renaud.
Symmetric c-lenses and symmetric d-lenses are not co-extensive.
CEUR Proceedings, vol 2355, 66-70 (2019).
[ local pdf (~700k) | published article]
[88]
Michael Johnson and Robert Rosebrugh.
Multicategories of multiary lenses.
CEUR Proceedings, vol 2355, 30-44 (2019).
[ local pdf (~830k) | published article]
[89]
Brendan Fong and Michael Johnson.
Lenses and Learners.
CEUR Proceedings, vol 2355, 16-29 (2019).
[ local pdf (~800k) | published article]
[90]
Michael Johnson and Robert Rosebrugh.
The more legs the merrier: A new composition for symmetric (multi-)lenses.
EPTCS, vol 333, 92-107 (2021).
[ local pdf (~200k) | published article ]
[91]
Emma Chollet, Bryce Clarke, Michael Johnson, Maurine Songa, Vincent Wang and Gioele Zardini.
Limits and colimits in a category of lenses.
EPTCS, vol 372, 164-177 (2022).
[ local pdf (~221k) | published article ]