Location of Repository

The exploration of a category theory-based virtual\ud Geometrical product specification system for design and manufacturing

By Yuanping Xu


In order to ensure quality of products and to facilitate global outsourcing, almost all\ud the so-called “world-class” manufacturing companies nowadays are applying various\ud tools and methods to maintain the consistency of a product’s characteristics\ud throughout its manufacturing life cycle. Among these, for ensuring the consistency of\ud the geometric characteristics, a tolerancing language − the Geometrical Product\ud Specification (GPS) has been widely adopted to precisely transform the functional\ud requirements from customers into manufactured workpieces expressed as tolerance\ud notes in technical drawings. Although commonly acknowledged by industrial users as\ud one of the most successful efforts in integrating existing manufacturing life-cycle\ud standards, current GPS implementations and software packages suffer from several\ud drawbacks in their practical use, possibly the most significant, the difficulties in\ud inferring the data for the “best” solutions. The problem stemmed from the foundation\ud of data structures and knowledge-based system design. This indicates that there need\ud to be a “new” software system to facilitate GPS applications.\ud The presented thesis introduced an innovative knowledge-based system − the\ud VirtualGPS − that provides an integrated GPS knowledge platform based on a stable\ud and efficient database structure with knowledge generation and accessing facilities.\ud The system focuses on solving the intrinsic product design and production problems\ud by acting as a virtual domain expert through translating GPS standards and rules into\ud the forms of computerized expert advices and warnings. Furthermore, this system can\ud be used as a training tool for young and new engineers to understand the huge amount\ud of GPS standards in a relative “quicker” manner.\ud The thesis started with a detailed discussion of the proposed categorical modelling\ud mechanism, which has been devised based on the Category Theory. It provided a\ud unified mechanism for knowledge acquisition and representation, knowledge-based\ud system design, and database schema modelling. As a core part for assessing this\ud knowledge-based system, the implementation of the categorical Database\ud Management System (DBMS) is also presented in this thesis. The focus then moved\ud on to demonstrate the design and implementation of the proposed VirtualGPS system.\ud The tests and evaluations of this system were illustrated in Chapter 6. Finally, the\ud thesis summarized the contributions to knowledge in Chapter 7.\ud After thoroughly reviewing the project, the conclusions reached construe that the\ud III\ud entire VirtualGPS system was designed and implemented to conform to Category\ud Theory and object-oriented programming rules. The initial tests and performance\ud analyses show that the system facilitates the geometric product manufacturing\ud operations and benefits the manufacturers and engineers alike from function designs,\ud to a manufacturing and verification

Topics: T1, TJ
OAI identifier: oai:eprints.hud.ac.uk:6135

Suggested articles



  1. (2006). A comprehensive technical overview of Objectivity/DB and related options [online] Available at: ew.pdf> [Accessed 7th
  2. (2001). A general approach to workpiece characterization in the frame of doi
  3. (2004). A Knowledge-Based Intelligent System for Engineering and Bio-medical Engineering Surface Texture (VirtualSurf). Huddersfield: Research project report for
  4. (1994). A nested graph model for the representation and manifpulation of complex objects’ doi
  5. (1990). Abstract and Concrete Categories: The Joy of Cats.
  6. (2003). Achievements and Weaknesses of Object-Oriented Databases’ doi
  7. (1997). Algebraic graph-oriented = Category Theory based. Manifesto of categorizing database theory’ Frame Inform Systems,
  8. (2001). An exploration of object oriented database management systems [online] Available at:
  9. (1991). An object-oriented data model formalised through hypergraphs’ doi
  10. (2005). An Overview of GPS – A Cost Saving Tool. Denmark: Institute for Geometrical Product Specifications
  11. (1991). Basic Category Theory for Computer Scientists. doi
  12. (1998). Basic Posets. London: World Scientific
  13. (2000). Beginning E-commerce with Visual Basic,
  14. (1990). BS 1134-2:1990 Assessment of surface texture — Part 2: Guidance and general information.
  15. (1992). Building an Object-Oriented Database System: The Story of O2. doi
  16. (1998). Categories for the Working Mathematician. doi
  17. (1996). Category Theory for Computing Science.
  18. (2008). Category theory-based objectoriented data management for web-based virtual manufacturing’, doi
  19. (2001). Category-Theoretic Fibration as an Abstraction Mechanism in doi
  20. (1990). Committee for Advanced DBMS Function doi
  21. (2006). Comparison of relational database management systems doi
  22. (1977). Computer Database Organization.
  23. (1996). Conceptual Data Modelling from a Categorical Perspective’ doi
  24. (1994). Database Requirements for doi
  25. (2001). Database systems: a practical approach to design, implementation, and management. 3rd ed. London:
  26. (2005). Eclipse for Java and Web Developers [online] Available at: doi
  27. (2007). Eclipse Plugin Central (EPIC) [online] Available at:
  28. (2004). Effective XML.
  29. (1990). Extension of the relational database semantic processing model’ doi
  30. (1985). Formalising the Network and Hierarchical Data Models: An Application of Categorical Logic’ doi
  31. (1989). From Data to Wisdom’
  32. (1997). Functional Database Languages and the Functional Data Model. In: A position paper for the FDM workshop,
  33. (2001). Geometrical Product Specifications course for Technical Universities.
  34. (2002). Hierarchical modelling of large-scale systems using relational databases.
  35. (2001). Intelligent System for Engineers and Scientists. doi
  36. (2002). International Organisation for Standardisation doi
  37. (2000). Introduction to manufacturing processes.
  38. (1996). ISO 13565-1:1996 Geometrical Product Specifications (GPS) — Surface texture: Profile method; Surfaces having stratified functional properties — Part 1: Filtering and general measurement conditions. doi
  39. (1996). ISO 13565-2:1996 Geometrical Product Specifications (GPS) — Surface texture: Profile method; Surfaces having stratified functional properties — Part 2: Height characterization using the linear material ratio curve. doi
  40. (2000). ISO 13565-3:2000 Geometrical Product Specifications (GPS) — Surface texture: Profile method; Surfaces having stratified functional properties — Part 3: Height characterization using the material probability curve. doi
  41. (1996). ISO 3274:1996 Geometrical Product Specifications (GPS) - Surface texture: Profile method -Nominal characteristics of contact (stylus) instruments. doi
  42. (1997). ISO 4287:1997 Geometrical Product Specifications (GPS) — Surface texture: Profile method — Terms, definitions and surface texture parameters. doi
  43. (1996). ISO 4288:1996 Geometrical Product Specifications (GPS) -Surface texture: Profile method -Rules and procedures for the assessment of surface texture. doi
  44. (2008). Java Data Objects (JDO) [online] Available at: doi
  45. (1995). Knowledge Based Information Systems.
  46. (2000). Knowledge Representation: Logical, Philosophical, and Computational Foundations. doi
  47. (1995). Monadic I/O in Haskell 1.3. In: proceedings of the haskell workshop, California, pp.50-68 public void setArrows(Arrow interObjId_id, Arrow interObjId_partition_dirSym,
  48. (1997). Object Database vs. Object-Relational Databases [online] Available at:
  49. (2008). Object oriented data model [online] Available at:
  50. (2003). Object-Oriented Database Systems: A Survey [online] Available at:
  51. (2007). Object-Oriented Databases db4o: doi
  52. (1992). Object-Oriented Databases: A semantic data model Approach. doi
  53. (2001). Object-Relational Database Systems - doi
  54. (1987). Object, Object Types and Object Identification in categorical methods in doi
  55. (2004). Pattern analysis and metrology: the extraction of stable features from observable measurements’ doi
  56. (1988). Petri nets are monoids: A new algebraic foundation for net theory. In: doi
  57. (2003). Process selection: from design to manufacture. London Elsevier Butterworth-Heinemann doi
  58. (2002). Processing XML with Java(TM): A Guide to
  59. (1995). Prototyping a Categorical Database in P/FDM. In: proceedings of the second international workshop on ADBIS,
  60. (2006). SICStus Prolog User’s doi
  61. (1990). Surface Texture Analysis - The Handbook.
  62. (2002). Surfaces and their measurement. doi
  63. (2006). The case of surface texture parameter RSm’ doi
  64. (1994). The Categorical Product Data Model as a Formalism for Object-Relational Database.
  65. (1994). The Functorial Data Model – An Extension to Functional Database.
  66. (2002). The knowledge bases for selecting the surface modification treatment.
  67. (2000). The Object Data Standard: ODMG3.0.
  68. (1990). The object-oriented database system manifesto. doi
  69. (1998). The patterns handbook: techniques, strategies, and applications. London:
  70. (2004). The structure of surface texture knowledge, doi
  71. (2004). The unified software development process.
  72. (2000). The whys and why nots Of Java accessors [online] Available at:
  73. (1993). Theory and Practice of Relational Databases.
  74. (1998). To Formalise and Implement a Categorical ObjectRelational Database System.
  75. (2005). Towards a Mathematical Theory of Knowledge’ doi
  76. (1995). User's Manual for P/FDM doi
  77. (2002). Using Category Theory to Model Software Component Dependencies. In: doi
  78. (2003). VisVSA guidance [online] Available at:
  79. (2007). Welcome To JFreeChart! [online] Available at:
  80. (2001). What is Eclipse, and how do I use it?
  81. (1997). Why we need a Functional Data Model! [online] Available at:

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.