Modeling the Integration Between Specifications and Verification for Cylindricity Based on Category Theory

Xiangqian Jiang, P. Scott, Qunfen Qi, Wenlong Lu, Xiaojun Liu

Research output: Contribution to journalArticle

10 Citations (Scopus)

Abstract

Geometrical product specifications (GPS) is a standard system defined by ISO/TC213 which covers the standardization for micro-and macro-geometry specifications to make it suitable for the requirements of modern technologies. In addition, it integrates specifications and verification to make geometrical specifications more unambiguous and unique. Data modeling is a primary task in building an integrated information system for the application of geometrical characteristics consistent with the GPS standard system. It is feasible to extend this data modeling method to the whole GPS information system. This paper presents data modeling for the integration between specifications and verification for cylindricity consistent with GPS based on the category theory. The categorical data modeling method represents and stores all the elements and the relationships between them concerning the specifications and the verification process for cylindricity by categories, objects and morphisms; the established categories can be extended flexibly; the relationships between the objects were refined by pull back structures; and the manipulations of the model, such as query and the closure of query, are realized successfully by functor transforms in category theory.

LanguageEnglish
Article number115107
JournalMeasurement Science and Technology
Volume21
Issue number11
DOIs
Publication statusPublished - 13 Oct 2010

Fingerprint

Category Theory
specifications
Specification
Specifications
Data Modeling
Modeling
Data structures
information systems
products
Modeling Method
Information Systems
Information systems
Query
Nominal or categorical data
Pullback
standardization
Integrated System
Standardization
Morphisms
Functor

Cite this

@article{563ece8cd03f4d9280f77296b1ebbef5,
title = "Modeling the Integration Between Specifications and Verification for Cylindricity Based on Category Theory",
abstract = "Geometrical product specifications (GPS) is a standard system defined by ISO/TC213 which covers the standardization for micro-and macro-geometry specifications to make it suitable for the requirements of modern technologies. In addition, it integrates specifications and verification to make geometrical specifications more unambiguous and unique. Data modeling is a primary task in building an integrated information system for the application of geometrical characteristics consistent with the GPS standard system. It is feasible to extend this data modeling method to the whole GPS information system. This paper presents data modeling for the integration between specifications and verification for cylindricity consistent with GPS based on the category theory. The categorical data modeling method represents and stores all the elements and the relationships between them concerning the specifications and the verification process for cylindricity by categories, objects and morphisms; the established categories can be extended flexibly; the relationships between the objects were refined by pull back structures; and the manipulations of the model, such as query and the closure of query, are realized successfully by functor transforms in category theory.",
keywords = "Category Theory, Cylindricity, Data Modeling, GPS",
author = "Xiangqian Jiang and P. Scott and Qunfen Qi and Wenlong Lu and Xiaojun Liu",
year = "2010",
month = "10",
day = "13",
doi = "10.1088/0957-0233/21/11/115107",
language = "English",
volume = "21",
journal = "Measurement Science and Technology",
issn = "0957-0233",
publisher = "IOP Publishing",
number = "11",

}

Modeling the Integration Between Specifications and Verification for Cylindricity Based on Category Theory. / Jiang, Xiangqian; Scott, P.; Qi, Qunfen; Lu, Wenlong; Liu, Xiaojun.

In: Measurement Science and Technology, Vol. 21, No. 11, 115107, 13.10.2010.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Modeling the Integration Between Specifications and Verification for Cylindricity Based on Category Theory

AU - Jiang, Xiangqian

AU - Scott, P.

AU - Qi, Qunfen

AU - Lu, Wenlong

AU - Liu, Xiaojun

PY - 2010/10/13

Y1 - 2010/10/13

N2 - Geometrical product specifications (GPS) is a standard system defined by ISO/TC213 which covers the standardization for micro-and macro-geometry specifications to make it suitable for the requirements of modern technologies. In addition, it integrates specifications and verification to make geometrical specifications more unambiguous and unique. Data modeling is a primary task in building an integrated information system for the application of geometrical characteristics consistent with the GPS standard system. It is feasible to extend this data modeling method to the whole GPS information system. This paper presents data modeling for the integration between specifications and verification for cylindricity consistent with GPS based on the category theory. The categorical data modeling method represents and stores all the elements and the relationships between them concerning the specifications and the verification process for cylindricity by categories, objects and morphisms; the established categories can be extended flexibly; the relationships between the objects were refined by pull back structures; and the manipulations of the model, such as query and the closure of query, are realized successfully by functor transforms in category theory.

AB - Geometrical product specifications (GPS) is a standard system defined by ISO/TC213 which covers the standardization for micro-and macro-geometry specifications to make it suitable for the requirements of modern technologies. In addition, it integrates specifications and verification to make geometrical specifications more unambiguous and unique. Data modeling is a primary task in building an integrated information system for the application of geometrical characteristics consistent with the GPS standard system. It is feasible to extend this data modeling method to the whole GPS information system. This paper presents data modeling for the integration between specifications and verification for cylindricity consistent with GPS based on the category theory. The categorical data modeling method represents and stores all the elements and the relationships between them concerning the specifications and the verification process for cylindricity by categories, objects and morphisms; the established categories can be extended flexibly; the relationships between the objects were refined by pull back structures; and the manipulations of the model, such as query and the closure of query, are realized successfully by functor transforms in category theory.

KW - Category Theory

KW - Cylindricity

KW - Data Modeling

KW - GPS

UR - http://www.scopus.com/inward/record.url?scp=78149448111&partnerID=8YFLogxK

U2 - 10.1088/0957-0233/21/11/115107

DO - 10.1088/0957-0233/21/11/115107

M3 - Article

VL - 21

JO - Measurement Science and Technology

T2 - Measurement Science and Technology

JF - Measurement Science and Technology

SN - 0957-0233

IS - 11

M1 - 115107

ER -