Full Text:   <2467>

Summary:  <1824>

CLC number: TP302

On-line Access: 2015-09-03

Received: 2015-05-29

Revision Accepted: 2015-08-26

Crosschecked: 2015-08-30

Cited: 0

Clicked: 4476

Citations:  Bibtex RefMan EndNote GB/T7714


Vibhor Trehan


Pathmeswaran Raju


-   Go to

Article info.
Open peer comments

Journal of Zhejiang University SCIENCE A 2015 Vol.16 No.9 P.706-723


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

Author(s):  Vibhor Trehan, Craig Chapman, Pathmeswaran Raju

Affiliation(s):  Knowledge Based Engineering (KBE) Lab, Birmingham City University, Birmingham B4 7XG, UK

Corresponding email(s):   vibhor.trehan@mail.bcu.ac.uk, craig.chapman@bcu.ac.uk, path.raju@bcu.ac.uk

Key Words:  Knowledge based engineering (KBE), Design automation, Process model, Formal representation, Process automation

Vibhor Trehan, Craig Chapman, Pathmeswaran Raju. Informal and formal modelling of engineering processes for design automation using knowledge based engineering[J]. Journal of Zhejiang University Science A, 2015, 16(9): 706-723.

@article{title="Informal and formal modelling of engineering processes for design automation using knowledge based engineering",
author="Vibhor Trehan, Craig Chapman, Pathmeswaran Raju",
journal="Journal of Zhejiang University Science A",
publisher="Zhejiang University Press & Springer",

%0 Journal Article
%T Informal and formal modelling of engineering processes for design automation using knowledge based engineering
%A Vibhor Trehan
%A Craig Chapman
%A Pathmeswaran Raju
%J Journal of Zhejiang University SCIENCE A
%V 16
%N 9
%P 706-723
%@ 1673-565X
%D 2015
%I Zhejiang University Press & Springer
%DOI 10.1631/jzus.A1500140

T1 - Informal and formal modelling of engineering processes for design automation using knowledge based engineering
A1 - Vibhor Trehan
A1 - Craig Chapman
A1 - Pathmeswaran Raju
J0 - Journal of Zhejiang University Science A
VL - 16
IS - 9
SP - 706
EP - 723
%@ 1673-565X
Y1 - 2015
PB - Zhejiang University Press & Springer
ER -
DOI - 10.1631/jzus.A1500140

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.

This is a good paper on the State of the Art regarding knowledge modeling for Design Automation. I consider this article a great collection of infos and knowledge I would recommend to researchers who are interested in KBE and Design Automation.


方法:1. 对非规范化建模方法进行分析对比(表1); 2. 分析过程建模技术应该满足的功能,细化成不同的要点对不规范的建模方法进行分析对比,同时分析可以表示不同设计分解特征的规范建模技术。
结论:1. 明确了设计过程自动化的两个关键步骤:(1)非规范化地获取设计过程中的关键点,(2)将非规范化模型映射为规范化表示; 2. 分析得出表示不同设计分解特征的规范化表示方法和技术(表2);3. 根据分析结果,可以选择最优的非规范化和规范化建模方法,从而支持设计过程自动化。


Darkslateblue:Affiliate; Royal Blue:Author; Turquoise:Article


[1]Abdullah, M.S., Evans, A., Benest, I., et al., 2005. Developing a UML profile for modelling knowledge-based systems. In: Model Driven Architecture. Springer Berlin Heidelberg, p.220-233.

[2]Aguilar-Savén, R.S., 2004. Business process modelling: review and framework. International Journal of Production Economics, 90(2):129-149.

[3]Al-Ahmari, A.M.A., Ridgway, K., 1999. An integrated modelling method to support manufacturing systems analysis and design. Computers in Industry, 38(3):225-238.

[4]Amigo, C.R., Iritani, D.R., Rozenfeld, H., et al., 2013. Product development process modeling: state of the art and classification. In: Smart Product Engineering. Springer Berlin Heidelberg, p.169-179.

[5]Amoo, L.M., 2013. On the design and structural analysis of jet engine fan blade structures. Progress in Aerospace Sciences, 60:1-11.

[6]Badica, A., Badica, C., 2011. Formal Verification of Business Processes as Role Activity Diagrams. Proceedings of the Federated Conference on Computer Science and Information Systems, Szczecin, Poland, p.277-280.

[7]Badica, C., Badica, A., Litoiu, V., 2003. Role activity diagrams as finite state processes. 2nd International Symposium on Parallel and Distributed Computing, Ljubljana, Slovenia.

[8]Badica, C., Teodorescu, M., Spahiu, C., et al., 2005. Integrating role activity diagrams and hybrid IDEF for business process modeling using MDA. Seventh International Symposium on Symbolic and Numerical Algorithms for Scientific Computing, Timisoara, Romania, p.71-74.

[9]Bancroft, C.N., Crump, S.J., Lovett, P.J., et al., 2000. Taking KBE into the foundry. Proceedings of the 7th ISPE International Conference On Concurrent Engineering, Lyon, France, 24:17-20.

[10]Baxter, D., Gao, J., Case, K., et al., 2007. An engineering design knowledge reuse methodology using process modelling. Research in Engineering Design, 18(1):37-48.

[11]Bechhofer, S., 2009. OWL: Web Ontology Language. In: Encyclopedia of Database Systems. Springer US, p.2008-2009.

[12]Bock, C., Grüninger, M., 2004. Inputs and Outputs in the Process Specification Language. US Department of Commerce, Technology Administration, National Institute of Standards and Technology.

[13]Boley, H., Grosof, B., Tabet, S., 2005. RuleML Tutorial. Available from http://ruleml.org/papers/tutorial-ruleml-20050513.html [Accessed on Apr. 1, 2015].

[14]Booch, G., Rumbaugh, J., Jacobson, I., 1999. The Unified Modeling Language User Guide. Pearson Education, India.

[15]Browning, T.R., 2002. Process integration using the design structure matrix. Systems Engineering, 5(3):180-193.

[16]Browning, T.R., 2009. The many views of a process: toward a process architecture framework for product development processes. Systems Engineering, 12(1):69-90.

[17]Browning, T.R., Fricke, E., Negele, H., 2006. Key concepts in modeling product development processes. Systems Engineering, 9(2):104-128.

[18]Chandrasegaran, S.K., Ramani, K., Sriram, R.D., et al., 2013. The evolution, challenges, and future of knowledge representation in product design systems. Computer-Aided Design, 45(2):204-228.

[19]Chapman, C., Pinfold, M., 1999. Design engineering—a need to rethink the solution using knowledge based engineering. Knowledge-Based Systems, 12(5-6):257-267.

[20]Chapman, C., Pinfold, M., 2001. The application of a knowledge based engineering approach to the rapid design and analysis of an automotive structure. Advances in Engineering Software, 32(12):903-912.

[21]Chapman, C., Preston, S., Pinfold, M., et al., 2007. Utilising enterprise knowledge with knowledge-based engineering. International Journal of Computer Applications in Technology, 28(2-3):169-179.

[22]Chen, A.P., Chen, M.Y., 2005. A unifying ontology modeling for knowledge management. In: Knowledge-Based Intelligent Information and Engineering Systems. Springer Berlin Heidelberg, p.318-324.

[23]Clarkson, P.J., Hamilton, J.R., 2000. “Signposting”, a parameter-driven task-based model of the design process. Research in Engineering Design, 12(1):18-38.

[24]Colombo, G., Pugliese, D., Klein, P., et al., 2014. A study for neutral format to exchange and reuse engineering knowledge in KBE applications. International ICE Conference on Engineering, Technology and Innovation, Bergamo, Italy, p.1-10.

[25]Colquhoun, G.J., Baines, R.W., Crossley, R., 1993. A state of the art review of IDEF0. International Journal of Computer Integrated Manufacturing, 6(4):252-264.

[26]Cooper, D., LaRocca, G., 2007. Knowledge-based techniques for developing engineering applications in the 21st century. 7th AIAA Aviation Technology, Integration and Operations Conference, Belfast, Northern Ireland.

[27]Dori, D., 2002. Object-Process Methodology: A Holistic Systems Paradigm. Springer Science & Business Media, Berlin.

[28]Dori, D., Reinhartz-Berger, I., Sturm, A., 2003. OPCAT—a bimodal case tool for object-process based system development. 5th International Conference on Enterprise Information Systems, Angers, France, p.286-291.

[29]Dori, D., Howes, D., Blekhman, A., et al., 2010. OPM as a basis for model-based enterprise standards. Plenary ISO TC184/SC5 Meeting, Tokyo, Japan.

[30]Egging, N., Scholz, C., Calkins, D.E., 2000. Knowledge-based engineering (KBE) design methodology at the undergraduate and graduate levels. International Journal of Engineering Education, 16(1):21-38.

[31]Eppinger, S.D., Whitney, D.E., Smith, R.P., et al., 1994. A model-based method for organizing tasks in product development. Research in Engineering Design, 6(1):1-13.

[32]Fellmann, M., Zarvić, N., Sudau, A., et al., 2013. Ontology-based assistance for semi-formal process modeling. 5th International Workshop on Enterprise Modelling and Information Systems Architectures, St. Gallen, Switzerland, p.119-132.

[33]Genesereth, M.R., Fikes, R.E., 1992. Knowledge Interchange Format-Version 3.0: Reference Manual. Technical Report Logic-92-1, Computer Science Department, Stanford University, Stanford, USA.

[34]Gingele, J., Childe, S.J., Miles, M.E., 2002. A modelling technique for re-engineering business processes controlled by ISO 9001. Computers in Industry, 49(3):235-251.

[35]Grüninger, M., 2004. Ontology of the process specification language. In: Handbook on Ontologies. Springer Berlin Heidelberg, p.575-592.

[36]Grüninger, M., 2009. Using the PSL ontology. In: Handbook on Ontologies. Springer Berlin Heidelberg, p.423-443.

[37]Grüninger, M., Cutting-Decelle, A., 2000. ISO TC184/SC4/ WG8 N225. International Organization for Standardization, Geneva.

[38]Grüninger, M., Menzel, C., 2003. The process specification language (PSL) theory and applications. AI Magazine, 24(3):63-74.

[39]Grüninger, M., Tissot, F., Valois, J., et al., 2000. The Process Specification Language (PSL) Overview and Version 1.0 Specification. US Department of Commerce, Technology Administration, National Institute of Standards and Technology, USA.

[40]Heidari, F., Loucopoulos, P., Brazier, F., 2013. Business process modelling for measuring quality. International Journal on Advances in Intelligent Systems, 6(3-4):342-355.

[41]Holt, A.W., Ramsey, H.R., Grimes, J.D., 1983. Coordination system technology as the basis for a programming environment. Electrical Communication, 57(4):307-314.

[42]Kim, C.H., Weston, R.H., Hodgson, A., et al., 2003. The complementary use of IDEF and UML modelling approaches. Computers in Industry, 50(1):35-56.

[43]Klyne, G., Carroll, J.J., 2004. Resource Description Framework (RDF):Concepts and Abstract Syntax. W3C Recommendation. Available from http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/ [Accessed on May 1, 2015].

[44]Knutilla, A., Polyak, S.T., Tate, A., et al., 1998. Process Specification Language: An Analysis of Existing Representations. US Department of Commerce, Technology Administration, National Institute of Standards and Technology.

[45]Lohith, M., Prasanna, L., Vaderahobli, D.H., 2013. Translating MOKA based knowledge models into a generative CAD model in CATIA V5 using knowledgeware. International Conference on Modeling, Simulation and Visualization Methods, The Steering Committee of The World Congress in Computer Science, Computer Engineering and Applied Computing.

[46]Lu, L.Z., Ang, C.L., Gay, R.K.L., 1996. Integration of information model (IDEF1) with function model (IDEF0) for CIM information systems design. Expert Systems with Applications, 10(3-4):373-380.

[47]Lützenberger, J., Marthinusen, I., Kristensen, K., et al., 2012. Methods for KBE related knowledge acquisition and codification. LinkedDesign Consortium. Available from http://www.linkeddesign.eu/files/LinkedDesign_Deliverable_6.1.pdf [Accessed on Feb. 1, 2015].

[48]Lyons, K.W., Duffey, M.R., Anderson, R.C., 1995. Product Realization Process Modeling: a Study of Requirements, Methods and Research Issues. National Institute of Standards and Technology, Gaithersburg, USA.

[49]Manola, F., Miller, E., McBride, B., 2004. RDF Primer. W3C recommendation. Available from http://www.w3.org/TR/2004/REC-rdf-primer-20040210/ [Accessed on May 1, 2015].

[50]Martin, D., Burstein, M., Hobbs, J., et al., 2004. OWL-S: Semantic Markup for Web Services. W3C member submission. Available from http://www.w3.org/Submission/OWL-S/ [Accessed on June 1, 2015].

[51]Mayer, R.J., 1992. IDEF1 Information Modeling. Technical Report No. AFWAL-TR-81-4023, Knowledge Based Systems, Inc., Texas.

[52]Mayer, R.J., Keen, A.A., Wells, M.S., 1992. Information Integration for Concurrent Engineering (IICE) IDEF4 Object-Oriented Design Method Report. Technical Report No. KBSI-IICE-90-STR-01-0592-01, Knowledge Based Systems, Inc., Texas.

[53]Mayer, R.J., Menzel, C.P., Painter, M.K., et al., 1995. Information Integration for Concurrent Engineering (IICE) IDEF3 Process Description Capture Method Report. Technical Report No. KBSI-IICE-90-STR-01-0592-02, Knowledge Based Systems, Inc., Texas.

[54]Murata, T., 1989. Petri nets: properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580.

[55]Nan, J., 2012. Design Automation Systems–Supporting Documentation and Knowledge Management. Master Thesis, Jönköping University, Jönköping, Sweden.

[56]O’Donovan, B.D., Clarkson, P.J., Eckert, C.M., 2003. Signposting: modelling uncertainty in design processes. Proceedings of ICED 03, the 14th International Conference on Engineering Design, Stockholm, Sweden.

[57]OMG (Object Management Group), 2013. Requirements Interchange Format (ReqIF) Version 1.1. Available from http://www.omg.org/spec/ReqIF/1.1/PDF/.

[58]Pan, W.L., Liu, D.X., 2010. Mapping object role modeling into common logic interchange format. 3rd International Conference on Advanced Computer Theory and Engineering, Chengdu, China, p.V2-104-V2-109.

[59]Pease, A., 1998. Core Plan Representation. Object Model Focus Group.

[60]Perakath, B., Menzel, C.P., Mayer, R.J., et al., 1994. Information Integration for Concurrent Engineering (IICE) IDEF5 Method Report. Technical Report, Knowledge Based Systems, Inc., Texas.

[61]Plaia, A., Carrie, A., 1995. Application and assessment of IDEF3-process flow description capture method. International Journal of Operations & Production Management, 15(1):63-73.

[62]Plateaux, R., Choley, J.Y., Penas, O., et al., 2009. Towards an integrated mechatronic design process. IEEE International Conference on Mechatronics, p.1-6.

[63]Pooley, R., King, P., 1999. The unified modelling language and performance engineering. IEE Proceedings-Software, 146(1):2-10.

[64]Pouchard, L., Ivezic, N., Schlenoff, C., 2000. Ontology engineering for distributed collaboration in manufacturing. Proceedings of the AIS2000 Conference.

[65]Pouchard, L.C., Cutting-Decelle, A.F., Michel, J.J., et al., 2005. ISO 18629 PSL: a standardised language for specifying and exchanging process information. Proceeding of the 16th International Federation of Automatic Control World Congress, Prague, Czechoslovakia, p.4-8.

[66]Prasad, B., 2006. Best Practices in Knowledge-based Engineering (KBE)-Catia Operators Exchange (COE) Report. Technical Report.

[67]Pratt, M.J., 2001. Introduction to ISO 10303—the STEP standard for product data exchange. Journal of Computing and Information Science in Engineering, 1(1):102-103.

[68]PUBS, 1993. Announcing the Standard for Integration Definition for Function Modelling (IDEF0). Draft Federal Information Processing Standards Publication, Texas.

[69]Scheuerlein, H., Rauchfuss, F., Dittmar, Y., et al., 2012. New methods for clinical pathways—business process modeling notation (BPMN) and tangible business process modeling (t.BPM). Langenbeck's Archives of Surgery, 397(5):755-761.

[70]Sharma, D.K., Hitesh, Rao, V., 2014. Configurable business process modeling notation. IEEE International Advance Computing Conference, Gurgaon, India, p.1424-1429.

[71]Shukla, N., Keast, J.E., Ceglarek, D., 2014. Improved workflow modelling using role activity diagram-based modelling with application to a radiology service case study. Computer Methods and Programs in Biomedicine, 116(3):274-298.

[72]Skarka, W., 2007. Application of MOKA methodology in generative model creation using CATIA. Engineering Applications of Artificial Intelligence, 20(5):677-690.

[73]Smith, R.P., Eppinger, S.D., 1997. Identifying controlling features of engineering design iteration. Management Science, 43(3):276-293.

[74]Smith, R.P., Morrow, J.A., 1999. Product development process modeling. Design Studies, 20(3):237-261.

[75]Sowa, J., 2011. Introduction to Common Logic. Available from http://www.jfsowa.com/talks/clintro.pdf [Accessed on Apr. 1, 2015].

[76]Stacey, M., Clarkson, P.J., Eckert, C., 2000. Signposting: an AI approach to supporting human decision making in design. Proceedings of DETC’00 ASME 2000 Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Baltimore, USA.

[77]Stokes, M., 2001. Managing Engineering Knowledge: MOKA: Methodology for Knowledge Based Engineering Applications. Professional Engineering Publishing, Bury St Edmunds, UK.

[78]Terpenny, J.P., Strong, S., Wang, J., 2000. A methodology for knowledge discovery and classification. 10th Flexible Automation and Intelligent Manufacturing Conference, p.22-32.

[79]Verhagen, W.J.C., Bermell-Garcia, P., van Dijk, R.E.C., et al., 2012. A critical review of knowledge-based engineering: an identification of research challenges. Advanced Engineering Informatics, 26(1):5-15.

[80]Vernadat, F., 2002. UEML: towards a unified enterprise modelling language. International Journal of Production Research, 40(17):4309-4321.

[81]W3C (Word Wide Web Consortium), 2012. OWL 2 Web Ontology Language Document Overview. W3C Recommendation. Available from http://www.w3.org/TR/owl2-overview/ [Accessed on June 1, 2015].

[82]Weilkiens, T., 2007. Systems Engineering with SysML/UML. The MK/OMG Press, p.1-22.

[83]Wenzel, H., Gondhalekar, A., Balachandran, L., et al., 2011. Automated generation of Isight-models through a neutral workflow description. SIMULIA Customer Conference, Barcelona, Spain.

[84]Wynn, D.C., Wyatt, D.F., Nair, S.M.T., et al., 2010. An introduction to the Cambridge Advanced Modeller. Proceedings of the 1st International Conference on Modelling and Management of Engineering Processes, Cambridge, UK.

[85]Zha, X., Du, H., 2002. A PDES/STEP-based model and system for concurrent integrated design and assembly planning. Computer-Aided Design, 34(14):1087-1110.

Open peer comments: Debate/Discuss/Question/Opinion


Please provide your name, email address and a comment

Journal of Zhejiang University-SCIENCE, 38 Zheda Road, Hangzhou 310027, China
Tel: +86-571-87952783; E-mail: cjzhang@zju.edu.cn
Copyright © 2000 - 2024 Journal of Zhejiang University-SCIENCE