Manufacturing knowledge verification in design support systems

International Journal of Production Research

Volumn 47, Issue 12, 2009, Pages 3179-3204

  Cochrane, Sean ^a   Young, Robert ^a   Case, Keith ^a   Harding, Jennifer ^a   Gao, James ^b   Dani, Shilpa ^a   Baxter, David ^c  

^a LOUGHBOROUGH UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF GREENWICH   (United Kingdom)

^c CRANFIELD UNIVERSITY   (United Kingdom)

Author keywords

Design for manufacture; Enterprise modelling; Knowledge representation; Ontology; Validation and verification

Indexed keywords

DESIGN FOR MANUFACTURE; DESIGN SUPPORT SYSTEMS; ENTERPRISE MODELLING; MANUFACTURING KNOWLEDGE; MANUFACTURING PROCESS; METALLIC COMPONENT; ONTOLOGICAL COMMITMENT; PSL ONTOLOGY; STUDY MATERIALS; SYSTEM DEVELOPMENT METHODOLOGIES; VALIDATION AND VERIFICATION; VERIFICATION METHODOLOGY;

KNOWLEDGE BASED SYSTEMS; MACHINE DESIGN; MANUFACTURE; ONTOLOGY; PROCESS ENGINEERING;

KNOWLEDGE REPRESENTATION;

EID: 70449632592     PISSN: 00207543     EISSN: 1366588X     Source Type: Journal    
DOI: 10.1080/00207540701802452     Document Type: Article

References (34)

1. Bock, C. and Gruninger, M., 2004a. Inputs and outputs in the process specification language, NISTIR 7152, NIST, Gaithersburg, MD. Available from: http://www.nist.gov/msidlibrary/ doc/nistir7152.pdf [Accessed 17 February 2005].
2. Bock, C. and Gruninger, M., 2004b. PSL: a semantic domain for flow models. Software and Systems Modeling Journal. Available from: www.mel.nist.gov [Accessed 17 February 2005].
3. Bullinger, H., Lentes, H. and Scholtz, O., 2000. Challenges and chances for innovative companies in a global information society. International Journal of Production Research, 38 (7), 1469-1500.
4. Bramall, D., McKay, K., Rogers, B., Chapman, P., Cheung, W. and Maropoulos, P., 2003. Manufacturability analysis of early product designs. International Journal of Computer Integrated Manufacturing, 16 (7-8), 501-508.
5. Chira, O., Chira, C., Tormey, D., Brennan, A., and Roche., T., 2004. A multi-agent architecture for distributed design. Lecture notes in computer science. Vol.2744. Holonic and multi-agent systems for manufacturing, 213-224. ISBN: 3-540-40751-0. Online Date: January 2004. Available from: http://springerlink.metapress.com/content/wnebb1lja7jurc80.
6. Cochrane, S.D., 2007. Manufacturing knowledge verification in design support systems. Thesis (PhD). Loughborough University.
7. Cutting-Decelle, A., Young, R., Anumba, C., Baldwin, A. and Bouchlaghem, N., 2003. The application of PSL in product design across construction and manufacturing. CERA Journal, 11 (1), March, 65-75.
8. Fernandez, S., Aler, R. and Borrajo, D., 2005. Machine learning in hybrid hierarchical and partial-order planners for manufacturing domains. Applied Artificial Intelligence, 19, 783-809.
9. Giarratano, J. and Riley, G., 1998. Expert systems: principles and programming. 3rd ed. Boston: PWS-Publishing Company.
10. Gregoire, E. and Mazure, B., 2002. About the incremental validation of first-order stratified knowledge-based decision-support systems. Information Sciences, 142, 117-129.
11. Gruninger, M., Sriram, R., Cheng, J. and Law, K., 2003. Process specification language for project information exchange. International Journal of IT in Architecture, Engineering and Construction, 1 (4), 307-328.
12. Hickey, A. and Davis, A., 2002. Requirements elicitation and elicitation technique selection: a model for two knowledge-intensive software development processes. Proceedings of the 36th Hawaii international conference on system sciences (HICSS'03), 0-7695-1874-5/03 IEEE.
13. ISO/CD18629. Industrial automation system and integration - process specification language: Part 1: overview and basic principles. ISO TC184/SC4/JWG8.
14. ISO/IEC 10746-10751 Reference model for open distributed processing. ISO/JTC1/SC32/WG2. Knowledge interchange format, Part 1: KIF-Core. WD, ISO.
15. Kosanke, K., Vernadant, F. and Zelm, M., 1999. CIMOSA: enterprise engineering and integration. Computers in Industry, 40, 83-97.
16. Lin, H., Harding, J. and Shahbaz, M., 2004. Manufacturing system engineering ontology for semantic interoperability across extended project teams. International Journal of Production Research, 42 (24), 5099-5118.
17. Liu, S. and Young, R., 2004. Utilizing information and knowledge models to support global manufacturing co-ordination decisions. Integrated Journal of Computer Integrated Manufacturing, 17 (6), 479-492.
18. Molina, A. and Bell, R., 1999. A manufacturing model representation of a flexible manufacturing facility. Journal of Engineering Manufacture: Proceedings of the Institution of Mechanical Engineers, 213 (B), 225-246.
19. Molina, A. and Bell, R., 2002. Reference models for the computer aided support of simultaneous engineering. International Journal of Computer Integrated Manufacturing, 2002, 15 (3), 193-213.
20. O'Keefe, R. and O'Leary, D., 1993. Expert system verification and validation: a survey and tutorial. Artificial Intelligence Review, 7, 3-42.
21. Oldham, K., Kneebone, S., Callot, M., Murton, A. and Brimble, R., 1998. Changing the ways we work. In: N. Ma?deg; rtensson, R. Mackay and S. Bjo?rgvinsson, eds. Advances in design and manufacturing, 8. Proceedings of the conference on integration in manufacturing, October 1998, Go?teborg, Sweden. Amsterdam: IOS Press, 198-207. Available from: http://www.kbe.cov. ac.uk/moka [Accessed 1 June 2004].
22. Pechoucek, M., Vokrinek, J. and Becvar, P., 2005. ExPlanTech: multiagent support for manufacturing decision making. IEEE Intelligent Systems, 20 (1), 67-74.
23. Plant, R. and Gamble, R., 2003. Methodologies for the development of knowledge-based systems, 1982-2002. The Knowledge Engineering Review, 18 (1), 47-81.
24. Preece, A. 2001. Evaluating verification and validation methods in knowledge engineering. In: R. Roy, ed. Micro-level knowledge management, Morgan-Kaufman, 123-145.
25. Preece, A., Shinghal, R. and Batarekh, A., 1992. Principles and practice in verifying rule based systems. Knowledge Engineering Review, 7 (2), 114-141.
26. Schreiber, G., Akkermans, H., Anjewierden, A., De Hoog, R., Shadbolt, N., Van De Velde, W. and Wielinga, B., 1999. The CommonKADS methodology. ISBN 0-262-19300-0. Available from: http://www.commonkads.uva.nl [Accessed 14 July 2003].
27. Smith, M., Welty, C. and McGuinness, D., 2003. Web ontology language (OWL) guide version 1.0. W3C working draft, 10 February 2003. Available from: http://www.w3.org/TR/2003/WD-owlguide- 20030210 [Accessed 14 July 2003].
28. Sormaz, D., Arumugam, J. and Rajaraman, S., 2004. Integrative process plan model and representation for intelligent distributed manufacturing planning. International Journal of Production Research, 42 (17), 3397-3417.
29. Sormaz, D.B. and Khoshnevis, B., 1997. Process planning knowledge representation using an object-oriented data model. International Journal of Computer Integrated Manufacturing, 10 (1-4), 92-104.
30. Uschold, M. and Gruninger, M., 1996. Ontologies: principles, methods, and applications. Knowledge Engineering Review, 11, 96-137.
31. Waterson, A. and Preece, A., 1999. Verifying ontological commitment in knowledge-based systems. Knowledge-Based Systems, 12, 45-54, 1999.
32. Wu, C. and Lee, S., 2002. KJ3: a tool assisting formal validation of knowledge based systems. International Journal of Human-Computer Studies, 56, 495-524.
33. Young, R., 2003. Informing decision makers in product design and manufacture. International Journal of Computer Integrated Manufacturing, 16 (6), 428-438.
34. Zhao, J., Cheung, W. and Young, R., 2000. The influence of manufacturing information models on product development systems. EDC conference, In: S. Sivaloganathan and P.T.J. Andrews, eds. Proceedings of the engineered design conference 2000, design for excellence. Brunel University: Professional Engineering Publishing Ltd., 763-770.