www.entitymodelling.org - entity modelling introduced from first principles - relational database design theory and practice - dependent type theory
This website a personal website written and maintained by John Cartmell; you can find me on LinkedIn or you could email me as john.w.cartmell on gmail.
The ideas and notations described here were developed and implemented at the now long defunct Ipsys Software. The technology line that we developed at Ipsys came to nought in that the software products we built went nowhere ... but the concepts survive and transform and you find some of them here in various guises; others — their siblings in arms — will come along to join them soon enough I hope and, currently, in mid 2016, they are on duty at Cyprotex Discovery on the metaphorical nail that is the writing of LCMS Chromatography Analysis Software. At Cyprotex, we implement entity models in XML and generate code in java script and python. For xslt I am gratefully for and acknowledge and recommend the Saxon xslt implementation which is also used to produce the svg images on this website; likewise I have benefitted from excellent articles on xslt from Lenz Consulting (for example How XSLT Works).
Cartmell J. (1978) Generalised Algebraic Theories and Contextual Categories, PhD Thesis, Oxford.
Cartmell J. (1986) Generalised Algebraic Theories and Contextual Categories, in Annals of Pure and Applied Logic, 32 North Holland.
Cartmell J. (1986) Formalising the Network and Hierarchical Data Models - an Application of Categorical Logic, in Category Theory and Computer Programming, Lecture Notes in Computer Science 240, Springer-Verlag.
Alderson A. and Cartmell J. (1987) The Eclipse Two-Tier Database Interface, in ESEC’87 Proceedings of the 1st European Software Engineering Conference, Strasbourg, Springer-Verlag, 1987.
Cartmell J. (1988) The Evaluation of Project Support Environments for the STARTS USER GUIDE, in Software Engineering Environments, Ellis Horwood.
Cartmell J. and Alderson A. (1988) The Eclipse Data Model - A Functional Account, in Software Engineering Environments, P.Brereton (Ed.), Ellis Horwood.
Alderson A. and Cartmell J. (1989) The Evolution of the Eclipse Kernel, in ECLIPSE An Integrated Project Support Environment, M.F.Bott (Ed.), Peter Peregrinus.
Cartmell J. and Alderson A. (1989) The Eclipse Two-Tier Database, in ECLIPSE An Integrated Project Support Environment, M.F.Bott (Ed.), Peter Peregrinus.
Alderson A., Elliott A. and Cartmell J. (1990) The Eclipse Programme, in Proceedings of the First International Conference on Systems Development Environments and Factories, Berlin 1989, N.Madhavji, W.Schafer and H.Weber (Eds), Springer-Verlag.
Alderson A., Cartmell J., Elliott A., (1997), The Concepts Underlying a Meta-CASE Tool, SOCTR/97/02, School of Computing, Staffordshire University.
Alderson A., Cartmell J., Elliott A., (1997), Data Transformation Based on Data Model Derivation, SOCTR/97/03, School of Computing, Staffordshire University.
Alderson A., Cartmell J.W. and Elliott A., (1997), On the Scope of Relationships, in Proceedings of the Eighth International Workshop on Software Technology and Engineering Practice (STEP 97), London, England 14-18th July 1997, IEEE Computer Society Press, 279-287.
Alderson A., Cartmell J.W. and Elliott A., (1999), ToolBuilder: From CASE Tool Components to Method Engineering, Proceedings of COSET’99 (Workshop WTM3 of ICSE’99), 17-18 May 1999, Los Angeles, CA, University of South Austrailia Press, ISBN 0868036293.
Cartmell J., Enoch S., Krstajic D., Leahy D.E., (2005), Automated QSAR through Competitive Workflow, Journal of Computer-Aided Molecular Design, 19(11):821-33.