Enabling metrology-oriented specification of geometrical variability: A categorical approach

Research output: Contribution to journalArticle

Abstract

In this paper a metrology-oriented specification schema is proposed to enrich the specification semantics with sufficient metrological information. It is designed particularly for applications where non-traditional measurement methods are applied; and it can also identify any redundancies, inconsistencies or incompletenesses of a specification. The proposed schema is based on category theoretical semantics which uses category theory as the foundation to model the semantics. A set of verification operations that derived from the measurement process was firstly formalised using the categorical semantics. Then a set of full faithful functors were constructed to map the set of verification operations to a set of specification operations. A set of simplification rules was then developed to deduce all of the necessary specification objects which are independent to each other. Then the residual specification objects provide a compact structure of the specification. Three test cases were conducted to validate the proposed schema. An industrial computed tomography (CT) measurement process for an impeller manufacturing using selective laser sintering (SLS) technique, was modelled and a set of independent specification elements was then deduced. The other two test cases for checking redundancy and incompleteness on general ISO specifications were carried out. The results show that the proposed schema works for proposing semantic enriched specification that are characterised by non-traditional measurement methods and for testing redundancy and incompleteness of specifications based on geometrical product specifications and verification (GPS) standards system.
LanguageEnglish
Pages347-358
Number of pages12
JournalAdvanced Engineering Informatics
Volume39
DOIs
Publication statusPublished - 25 Feb 2019

Fingerprint

Specifications
Semantics
Redundancy
Tomography
Sintering
Lasers
Testing

Cite this

@article{27703740ec6e4c339e77e6f8ea7c56f6,
title = "Enabling metrology-oriented specification of geometrical variability: A categorical approach",
abstract = "In this paper a metrology-oriented specification schema is proposed to enrich the specification semantics with sufficient metrological information. It is designed particularly for applications where non-traditional measurement methods are applied; and it can also identify any redundancies, inconsistencies or incompletenesses of a specification. The proposed schema is based on category theoretical semantics which uses category theory as the foundation to model the semantics. A set of verification operations that derived from the measurement process was firstly formalised using the categorical semantics. Then a set of full faithful functors were constructed to map the set of verification operations to a set of specification operations. A set of simplification rules was then developed to deduce all of the necessary specification objects which are independent to each other. Then the residual specification objects provide a compact structure of the specification. Three test cases were conducted to validate the proposed schema. An industrial computed tomography (CT) measurement process for an impeller manufacturing using selective laser sintering (SLS) technique, was modelled and a set of independent specification elements was then deduced. The other two test cases for checking redundancy and incompleteness on general ISO specifications were carried out. The results show that the proposed schema works for proposing semantic enriched specification that are characterised by non-traditional measurement methods and for testing redundancy and incompleteness of specifications based on geometrical product specifications and verification (GPS) standards system.",
keywords = "Geometrical variability, Category theory, Knowledge modelling, Computed tomography, Specification semantics",
author = "Qunfen Qi and Luca Pagani and Xiangqian Jiang and Paul Scott",
year = "2019",
month = "2",
day = "25",
doi = "10.1016/j.aei.2018.11.001",
language = "English",
volume = "39",
pages = "347--358",
journal = "Advanced Engineering Informatics",
issn = "1474-0346",
publisher = "Elsevier Limited",

}

TY - JOUR

T1 - Enabling metrology-oriented specification of geometrical variability

T2 - Advanced Engineering Informatics

AU - Qi, Qunfen

AU - Pagani, Luca

AU - Jiang, Xiangqian

AU - Scott, Paul

PY - 2019/2/25

Y1 - 2019/2/25

N2 - In this paper a metrology-oriented specification schema is proposed to enrich the specification semantics with sufficient metrological information. It is designed particularly for applications where non-traditional measurement methods are applied; and it can also identify any redundancies, inconsistencies or incompletenesses of a specification. The proposed schema is based on category theoretical semantics which uses category theory as the foundation to model the semantics. A set of verification operations that derived from the measurement process was firstly formalised using the categorical semantics. Then a set of full faithful functors were constructed to map the set of verification operations to a set of specification operations. A set of simplification rules was then developed to deduce all of the necessary specification objects which are independent to each other. Then the residual specification objects provide a compact structure of the specification. Three test cases were conducted to validate the proposed schema. An industrial computed tomography (CT) measurement process for an impeller manufacturing using selective laser sintering (SLS) technique, was modelled and a set of independent specification elements was then deduced. The other two test cases for checking redundancy and incompleteness on general ISO specifications were carried out. The results show that the proposed schema works for proposing semantic enriched specification that are characterised by non-traditional measurement methods and for testing redundancy and incompleteness of specifications based on geometrical product specifications and verification (GPS) standards system.

AB - In this paper a metrology-oriented specification schema is proposed to enrich the specification semantics with sufficient metrological information. It is designed particularly for applications where non-traditional measurement methods are applied; and it can also identify any redundancies, inconsistencies or incompletenesses of a specification. The proposed schema is based on category theoretical semantics which uses category theory as the foundation to model the semantics. A set of verification operations that derived from the measurement process was firstly formalised using the categorical semantics. Then a set of full faithful functors were constructed to map the set of verification operations to a set of specification operations. A set of simplification rules was then developed to deduce all of the necessary specification objects which are independent to each other. Then the residual specification objects provide a compact structure of the specification. Three test cases were conducted to validate the proposed schema. An industrial computed tomography (CT) measurement process for an impeller manufacturing using selective laser sintering (SLS) technique, was modelled and a set of independent specification elements was then deduced. The other two test cases for checking redundancy and incompleteness on general ISO specifications were carried out. The results show that the proposed schema works for proposing semantic enriched specification that are characterised by non-traditional measurement methods and for testing redundancy and incompleteness of specifications based on geometrical product specifications and verification (GPS) standards system.

KW - Geometrical variability

KW - Category theory

KW - Knowledge modelling

KW - Computed tomography

KW - Specification semantics

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

U2 - 10.1016/j.aei.2018.11.001

DO - 10.1016/j.aei.2018.11.001

M3 - Article

VL - 39

SP - 347

EP - 358

JO - Advanced Engineering Informatics

JF - Advanced Engineering Informatics

SN - 1474-0346

ER -