• A Little Information about Description Logics
  by Deborah McGuinness
  • Description Logics
• Description Logics Org
  • http://dl.kr.org
• “The Description Logic Handbook Theory, Implementation and Applications”
  Edited by Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, Cambridge University Press 2003
  • The Description Logic Handbook is available at amazon.com
• “Knowledge Representation Logical, Philosophical, and Computational Foundations”
  by John F. Sowa, Brooks/Cole 2000
  • Knowledge Representation is available at amazon.com
• “Conceptual Structures Information Processing in Mind and Machine”
  J. F. Sowa, Addison-Wesley 1984
  • Conceptual Structures is available at amazon.com
• John Sowa's Common Logic Proposal
  • http://www.jfsowa.com/talks/clprop.htm

• “Model Driven Architecture” by David Frankel, OMG Press 2003
  • Model Driven Architecture is available at amazon.com

• “Objects, Components, and Frameworks with UML The Catalysis Approach” Desmond D’Souza and Alan Cameron Wills, Addison-Wesley 1999
  Catalysis is available online at http://catalysis.org/books/ocf/

• EDOC Introduction
  • DatEdocPres.ppt
• Enterprise Systems Architecture -
  A general view of what an EDOC-MDA enabled system looks like.
  This is a good place to start
  • Enterprise-Systems-Architecture-CBP.pdf
• EDOC Standard
  • Vision
  • Component Collaboration Architecture Summary
• EDOC article
  • EdocArticle1b.pdf
• EDOC Service Provisioning Environment
  What an MDA development environment may look like
  • EdocSPE.pdf

• “UML Formalization and Transformation”
  • http://www1.coe.neu.edu/~jsmith/Publications/thesis.pdf
  • Powerpoint version http://www1.coe.neu.edu/~jsmith/Publications/defense.ppt
• “Category Theoretic Approaches of Representing Precise UML Semantics”
  • http://www1.coe.neu.edu/~jsmith/Publications/ecoop.pdf
• “Metamodeling Facilities” (formalizing MOF with category theory and Slang)
  • http://www1.coe.neu.edu/~jsmith/Publications/mof.pdf
• Jeff Smith’s Publications page
  • http://www1.coe.neu.edu/~jsmith/Publications/publications.html
• Kestrel Institute
  • http://www.kestrel.edu/
• Specware
  • http://www.specware.org/

• “Extending UML for Ontology Development”
• http://www1.coe.neu.edu/~jsmith/Publications/SoSyM0008.pdf
• "A Semantically-Rich Graphical Environment for Collaborative Ontology Development in Agentcities"
  by Luigi Ceccaroni and Elisa Kendall
  • collaborative-ontology-modeling.pdf
• "Towards a Commercial Tool for Ontology Development"
  by Elisa Kendall, Mark Dutra, and Deborah McGuinness, June 2002
  • Towards-a-Commercial-Tool-for-Ontology-Development-2002-Sandpiper.pdf
• "Ontology Enabled Analysis and Interoperability"
  by Elisa Kendall, January 31, 2003
  • Ontology-enabled-analysis-interoperability-01-31-03.ppt
• OMG Ontology Definition Metamodel RFP
  • http://www.omg.org/docs/ad/03-03-40.pdf
• "An Introduction and UML Profile for the Web Ontology Language (OWL)",
  by Elisa Kendall, October 23, 2002
• UML-Profile-for-Ontologies-and-OWL-SandpiperOMGMDA2002.ppt
• "A MOF Metamodel & UML Profile for the Web Ontology Language (OWL)"
  by Elisa Kendall, January 30, 2003
  • MOF-metamodel-for-ontologies-SandpiperOMG-01-2003.ppt

• “Using Multidimensional Separation of Concerns to (Re)Shape Evolving Software”
  Harold Ossher and Peri Tarr, Communications of the ACM, October 2001 Vol. 44 #10 pp.43-50
  • http://portal.acm.org/citation.cfm?id=383845.383856&dl=GUIDE&dl=ACM&CFID=11589225&CFTOKEN=74878579
• Special ACM Issue on Aspect Oriented Programming,
  Communications of the ACM, October 2001
  • http://portal.acm.org/toc.cfm?id=383845&dl=ACM&dl=ACM&type=issue&CFID=11589225&CFTOKEN=74878579
• First and Second International Conferences on Aspect-oriented software development
  • http://portal.acm.org/toc.cfm?id=SERIES10702&type=series&coll=GUIDE&dl=ACM&CFID=11589225&CFTOKEN=74878579

• The Information Flow Framework
  • http://suo.ieee.org/IFF/
  • http://suo.ieee.org/IFF/FAQ.html This FAQ is a good starting point
• “Information Flow The Logic of Distributed Systems”
  Jon Barwise and Jerry Seligman, Cambridge University Press 1997
  • "Information Flow" is available at amazon.com
• “Formal Concept Analysis Mathematical Foundations”
  Bernhard Ganter and Rudolph Wille, Springer 1996
  • "Formal Concept Analysis" is available at amazon.com
• "Formal or Axiomatic Semantics in the IFF", Robert Kent , 2003
  • http://suo.ieee.org/IFF/semantics.pdf

• “Conceptual Mathematics A first introduction to categories”
  F. William Lawvere and Stephen H. Schanuel, Cambridge University Press 1997 1998 2000
  • "Conceptual Mathematics" is available at amazon.com
• “Categories and Computer Science”
  R. F. C. Walters, Cambridge University Press 1991
  • "Categories and Computer Science" is available at amazon.com
• “Basic Category Theory for Computer Scientists”
  Benjamin C. Pierce, MIT Press 1991, 1998
  • "Basic Category Theory..." is available at amazon.com

Computing Fabrics & Grids

• Computing Fabrics: Grids, IBM's On-Demand Computing, HP's Adaptive Enterprise, and Sun's N1 are all movements towards Computing Fabrics as first predicted by Infomaniacs in 1998.
  
  • Computing Fabrics

Other Related Books

• “Fork Algebras in Algebra, Logic and Computer Science”,
  Marcelo Fabian Frias, World Scientific 2002
  • "Fork Algebras..." is available from amazon.com
• “Generative Programming Methods, Tools, and Applications”
  Krzysztof Czarnecki and Ulrich W. Eisenecker, Addison-Wesley 2000
  • “Generative Programming..." is available from amazon.com
• “Invasive Software Composition”
  Uwe Abmann, Springer 2003
  • "Invasive Software Composition" is available from amazon.com