Informal and formal modelling of engineering processes for design automation using knowledge based engineering

Trehan, V. and Chapman, C. and Raju, P. (2015) Informal and formal modelling of engineering processes for design automation using knowledge based engineering. Journal of Zhejiang University: Science A, 16 (9). pp. 706-723. ISSN 1673565X

Full text not available from this repository. (Request a copy)

Abstract

Knowledge based engineering (KBE) as a design method helps formulate a comprehensive knowledge base as a virtual prototype which includes design intent, requirements, rationale, and logic along with geometric information, which can then be utilised for representing the product design process, and to achieve complex design automation. One of the identified shortcomings in the field of design process automation using KBE as a holistic approach is a suitable neutral representation technique of a process model with well-defined syntax, axioms, and semantics for it to be shared across multiple platforms and to enable interoperability. To achieve design process automation, two steps are very important. First, a modelling method should be able to informally capture all critical aspects of a process to enable design automation. Second, the informal model should be able to be mapped onto a formal representation technique in a system, which will then enable automation by running a query through this representation. This paper discusses all the critical aspects in the form of design decomposition features and narrows down informal modelling approaches based on the criteria formulated for design automation from the literature. Formal representation techniques are discussed with the help of an example to ensure correct mapping of the informal model to a formal representation. The next steps of this research would be recommendation of the formal representation techniques of the informal model based on the discussion in this paper and for future work that will enable process automation. © 2015, Zhejiang University and Springer-Verlag Berlin Heidelberg.

Item Type: Article
Uncontrolled Keywords: Design automation, Formal representation, Knowledge based engineering (KBE), Process automation, Process model, Automation, Computer aided design, Design, Engineering research, Knowledge based systems, Process control, Semantics, Design automations, Formal representations, Knowledge based engineerings (KBE), Process automation, Process Modeling, Product design
Subjects: G400 Computer Science
Divisions: Faculty of Computing, Engineering and the Built Environment
Faculty of Computing, Engineering and the Built Environment > School of Engineering and the Built Environment
Faculty of Computing, Engineering and the Built Environment > School of Engineering and the Built Environment > Advanced Design Engineering
UoA Collections > UoA11: Computer Science and Informatics
Depositing User: Hussen Farooq
Date Deposited: 15 Jul 2016 12:29
Last Modified: 15 Jul 2016 12:29
URI: http://www.open-access.bcu.ac.uk/id/eprint/1167

Actions (login required)

View Item View Item

Research

In this section...