The deductive IDEF1X data model of a tooling system

References

• Codd , E. F. 1970 . A relational model for large shared data banks . Communication of ACM , 13 ( 6 ) : 377 – 387 .
   Web of Science ®Google Scholar
• Rumbaugh , J. , Blaha , M. , Premerlani , W. , Eddy , F. and Lorensen , W. 1991 . Object-Oriented Modeling and Design , Prentice-Hall .
   Google Scholar
• Dahl , V. 1982 . On database systems development through logic . ACM Transactions on Database System , 7 ( 1 ) : 102 – 123 .
   Web of Science ®Google Scholar
• Kuper , G. M. and Vardi , M. Y. 1993 . The logical data model . ACM Transactions on Database System , 18 ( 3 ) : 379 – 413 .
   Web of Science ®Google Scholar
• Kifer , M. , Lausen , G. and Wu , J. 1995 . Logical foundations of object-oriented and frame-based languages . Journal of the Association for Computing Machinery , 42 ( 4 ) : 741 – 843 .
   Web of Science ®Google Scholar
• Di Battista , G. and Lenzerini , M. 1993 . Deductive entity relationship modeling . IEEE Transactions on Knowledge and Data Engineering , 5 ( 3 ) : 439 – 450 .
   Web of Science ®Google Scholar
• Chen , P. P. 1976 . The entity-relationship model-towards a unified view of data . ACM Transactions on Database System , 1 ( 1 ) : 9 – 36 .
   Google Scholar
• Bourdeau , R. H. and Chen , B. H. C. 1995 . A formal semantics for object model diagrams . IEEE Transactions on Software Engineering , 21 ( 10 ) : 799 – 821 .
   Web of Science ®Google Scholar
• Guttag , J. V. and Horning , J. J. 1993 . Larch: Languages and Tools for Formal Specification , Springer-Verlag .
   Google Scholar
• Lee , J. H. M. and Pun , P. K. C. 1997 . Frame logic integration: a multi paradigm design methodology and a programming language . Computer Languages , 23 ( 1 ) : 25 – 42 .
   Google Scholar
• 1993 . “ FIPS 184 ” . In Integration Definition for Information Modeling (IDEF1X) , National Institute of Standards and Technology .
   Google Scholar
• Zhang , J. , Chuah , B. , Cheung , E. and Deng , Z. 1996 . Information modelling for manufacturing systems: a case study . Robotics and Computer-Integrated Manufacturing , 12 ( 3 ) : 217 – 225 .
   Web of Science ®Google Scholar
• Kusiak , A. , Letsche , T. and Zakarian , A. 1997 . Data modelling with IDEF1X . International Journal of Computer Integrated Manufacturing , 10 ( 6 ) : 470 – 486 .
   Web of Science ®Google Scholar
• Liang , G. R. and Hong , S. Y. 1998 . Integration of IDEF technologies in CIM: IDEF0 and IDEF1X . Journal of the Chinese Institute of Industrial Engineers , 15 ( 1 ) : 83 – 94 .
   Google Scholar
• Lloyd , J. W. 1987 . Foundations of Logic Programming , 2nd , Springer-Verlag .
   Google Scholar
• Lai , H. F. 1998 . “ Developing a hole-machining tools selection system applying IDEF1X data model ” . In Proceedings of the 1998 CIIE National Conference 264 – 270 . in
   Google Scholar
• Macchiaroli , R. and Riemma , S. 1996 . Design of a tool management system in a flexible cell . International Journal of Production Research , 34 ( 3 ) : 767 – 784 .
   Web of Science ®Google Scholar
• Bard , J. F. and Feo , T. A. 1998 . The cutting path and tool selection problem in computer aided process planning . Journal of Manufacturing System , 8 ( 1 ) : 17 – 26 .
   Google Scholar
• Shayan , E. and Liu , C. L. 1995 . Tool Management in Flexible Manufacturing Systems . Integrated Manufacturing Systems , 6 ( 4 ) : 26 – 35 .
   Google Scholar
• Usher , J. M. and Fernandes , K. J. 1999 . An object-oriented application of tool selection in dynamic process . International Journal of Production Research , 37 ( 13 ) : 2879 – 2894 .
   Web of Science ®Google Scholar
• Reddy , C. E. , Chetty , O. V. K. and Chaudhuri , D. 1992 . A Petri net based approach for analyzing tool management issues in FMS . International Journal of Production Research , 30 ( 6 ) : 1427 – 1446 .
   Web of Science ®Google Scholar
• Macchiaroli , R. and Riemma , S. 1996 . Design of a tool management system in a flexible cell . International Journal of Production Research , 34 ( 3 ) : 767 – 784 .
   Web of Science ®Google Scholar
• Tonshoff , H. K. and Dittmer , H. 1990 . Object-instead of function-oriented data management for tool management as an example application . Robotics and Computer-Integrated Manufacturing , 7 ( 1/2 ) : 133 – 141 .
   Web of Science ®Google Scholar
• Chan , B. W. M. 1992 . Tool management for flexible manufacturing . International Journal of Computer Integrated Manufacturing , 5 ( 5 ) : 255 – 265 .
   Web of Science ®Google Scholar
• Subrahmanyam , G. , Gunasekaran , A. , Arunachalam , S. and Radhakrishnan , P. 1999 . Development of a tool database management system . The International Journal of Advanced Manufacturing Technology , 15 ( 8 ) : 562 – 565 .
   Web of Science ®Google Scholar
• Shi , W. , Iovenitti , P. and Nagarajah , R. 1999 . Expert system for multidiameter drill selection: an embedded knowledge base approach . The International Journal of Advanced Manufacturing Technology , 15 ( 1 ) : 1 – 6 .
   Web of Science ®Google Scholar
• Fernandes , K. J. and Raja , V. H. 2000 . Incorporated tool selection system using object technology . International Journal of Machine Tools and Manufacture , 40 ( 11 ) : 1547 – 1555 .
   Web of Science ®Google Scholar
• Özbayrak , M. and Bell , R. 2003 . A knowledge-based decision support system for the management of parts and tools in FMS . Decision Support Systems , 35 ( 4 ) : 487 – 515 .
   Web of Science ®Google Scholar
• Chung , C. and Peng , Q. 2004 . The selection of tools and machines on web-based manufacturing environments . International Journal of Machine Tools and Manufacture , 44 ( 2–3 ) : 317 – 326 .
   Web of Science ®Google Scholar
• Missaoui , R. , Godin , R. and Sahraoui , H. 1998 . Migrating to an object-oriented database using semantic clustering and transformation rules . Data and Knowledge Engineering , 27 : 97 – 113 .
   Web of Science ®Google Scholar
• Chang , Y. , Raschid , L. and Dorr , B. 1994 . Transforming queries from a relational schema to an equivalent object schema: a prototype based on F-logic . Symposium on Methodologies in Information Systems, Lecture Notes in Computer Science , 869 : 154 – 163 . in
   Google Scholar
• Kovàcs , G. and van Bommel , P. 1998 . Conceptual modelling-based design of object-oriented databases . Information and Software Technology , 40 ( 1 ) : 1 – 14 .
   Web of Science ®Google Scholar
• Mineau , G. W. , Missaoui , R. and Godinx , R. 2000 . Conceptual modeling for data and knowledge management . Data and Knowledge Engineering , 33 ( 2 ) : 137 – 168 .
   Web of Science ®Google Scholar
• Yang , G. and Kifer , M. 2000 . FLORA: Implementing an efficient DOOD system using a tabling logic engine . Lecture Notes in Computer Science , 1861 : 1078 – 11093 .
   Google Scholar
• Fensel , D. 1994 . “ Graphical and formal knowledge specification with KARL ” . In Proceedings of the International Conference on Expert Systems for Development 198 – 203 . in
   Google Scholar
• Fensel , D. , Angele , J. and Studer , R. 1998 . The knowledge acquisition and representation language, KARL . IEEE Transactions on Knowledge and Data Engineering , 10 ( 4 ) : 527 – 550 .
   Web of Science ®Google Scholar
• Ludascher , B. , Himmeroder , R. , Lausen , G. , May , W. and Schlepphorst , C. 1998 . Managing semi structured data with florid: a deductive object-oriented perspective . Information systems , 23 ( 8 ) : 589 – 613 .
   Web of Science ®Google Scholar
• Lakshmanan , L. V. S. , Sadri , F. and Subramanian , I.N. 1996 . “ A declarative language for querying and restructuring the Web ” . In Proceedings of the Sixth International Workshop on Interoperability of Nontraditional Database Systems 12 – 21 . in
   Google Scholar
• May , W. 2000 . “ An integrated architecture for exploring, wrapping, mediating and restructuring information from the Web ” . In Proceedings of the 11th Australasian Database Conference 82 – 89 . in
   Google Scholar
• Gupta , A. , Ludäscher , B. and Martone , M. E. 2000 . “ Knowledge-based integration of neuroscience data sources ” . In Proceedings of the 12th International Conference on Scientific and Statistical Database Management 39 – 52 . in
   Google Scholar