A structure-function-control paradigm for knowledge-based modeling and design of manufacturing workcells

This paper discusses the integration of structural, functional and control knowledge in manufacturing workcell modeling, simulation and design. After an overview of applications of semantic and object-oriented data models in the manufacturing domain, issues relating to the control synthesis for manufacturing workcells are presented. In particular, a data model encompassing functional and control features, along with application domain structural knowledge, is developed. This model assists in explicitly representing the control aspects of engineering design within an object-oriented database and supports a task-level, functionality-driven, manufacturing workcell design. Since manufacturing workcells consist of a number of elements interacting in a complex manner, workcell control design is one of the most difficult steps in the workcell design procedure. Message passage, commonly used in object-oriented databases, provides no explicit modeling of the database behavior. Hence, it can not serve as a tool for the design of system control. On the other hand, Petrinets (PN) have proven successful in describing complex interaction among active agents. This paper will explore the incorporation of Petri nets as a basis for describing application control knowledge within a structure-function-control data model.

[1]  Stanley Modeling lntegrated Manufacturing Data with SAM , 1986, Computer.

[2]  DianeC . P. Smith,et al.  Database Abstractions: Aggregation and Generalization , 1989 .

[3]  Barry W. Boehm,et al.  Verifying and Validating Software Requirements and Design Specifications , 1989, IEEE Software.

[4]  Bruce H. Krogh,et al.  Petri Net Tools for the Specification and Analysis of Discrete Controllers , 1990, IEEE Trans. Software Eng..

[5]  John Mylopoulos,et al.  Knowledge Representation as the Basis for Requirements Specifications , 1985, Computer.

[6]  Mack W. Alford SREM at the Age of Eight; The Distributed Computing Design System , 1985, Computer.

[7]  Norihisa Komoda,et al.  A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation , 1986, IEEE Transactions on Industrial Electronics.

[8]  Hartmut Wedekind,et al.  Conceptual basis for database applications in flexible manufacturing systems (FMS) , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[9]  James L. Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[10]  K. W. Liu,et al.  Integrating the CIM environment using object-oriented data management technology , 1988, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing.

[11]  R. Jaikumar Postindustrial manufacturing , 1986 .

[12]  Frank DiCesare,et al.  Implementation of a Petri net controller for a machining workstation , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[13]  Roger King,et al.  Semantic database modeling: survey, applications, and research issues , 1987, CSUR.

[14]  Alan A. Desrochers Modeling and control using Petri nets , 1989 .

[15]  Cynthia K. Whitney,et al.  Decision support requirements in flexible manufacturing , 1984 .

[16]  W BoehmBarry A Spiral Model of Software Development and Enhancement , 1988 .

[17]  Frank DiCesare,et al.  Real time control of multilevel manufacturing systems using colored Petri nets , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

[18]  Michael J. Wozny,et al.  Abstract data types for CAD systems , 1985, Proceedings. 1985 IEEE International Conference on Robotics and Automation.

[19]  C. Whitney,et al.  Building "Expert systems" when no experts exist , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[20]  Luqi Software evolution through rapid prototyping , 1989, Computer.

[21]  Edward L. Fisher,et al.  Logic-based factory design , 1985, Proceedings. 1985 IEEE International Conference on Robotics and Automation.

[22]  V. M. Markowitz,et al.  Representing processes in the extended entity-relationship model , 1990, [1990] Proceedings. Sixth International Conference on Data Engineering.

[23]  Shamkant B. Navathe,et al.  Integration and cataloging of engineering design information , 1990, Systems Integration '90. Proceedings of the First International Conference on Systems Integration.

[24]  Bruce H. Krogh,et al.  Essentially decision free Petri nets for real-time resource allocation , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[25]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[26]  Keith L. Doty,et al.  Using semantic data models in knowledge-based manufacturing-workcell design , 1990, Proceedings. 5th IEEE International Symposium on Intelligent Control 1990.

[27]  Anthony Levas,et al.  WADE: an object-oriented environment for modeling and simulation of workcell applications , 1989, IEEE Trans. Robotics Autom..

[28]  Rachid Alami,et al.  Programming of flexible assembly cell: Task modelling and system integration , 1985, Proceedings. 1985 IEEE International Conference on Robotics and Automation.

[29]  Lee R. Nackman Software environments for CAD systems , 1985, Proceedings. 1985 IEEE International Conference on Robotics and Automation.

[30]  Wolfgang Reisig Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[31]  C.M. Eastman Database facilities for engineering design , 1981, Proceedings of the IEEE.

[32]  J. T. Black,et al.  Cellular manufacturing systems modeling: The Petri net approach , 1990 .

[33]  Shamkant B. Navathe,et al.  SA-ER: A Methodology that Links Structured Analysis and Entity-Relationship Modeling for Database Design , 1986, International Conference on Conceptual Modeling.

[34]  Gruia-Catalin Roman,et al.  A taxonomy of current issues in requirements engineering , 1985, Computer.

[35]  Jeannette M. Wing A specifier's introduction to formal methods , 1990, Computer.

[36]  Andries van Dam,et al.  Reading and Writing the Electronic Book , 1985, Computer.

[37]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[38]  B. O. Nnaji,et al.  An integrated data model for CIM planning and control , 1988, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing.

[39]  Hector J. Levesque,et al.  KNOWLEDGE REPRESENTATION AND REASONING1 , 1989 .

[40]  Stanley Y. W. Su Modeling Integrated Manufacturing Data with SAM* , 1986, Computer.

[41]  A. Nico Habermann,et al.  Software Development Environments , 1987, Computer.

[42]  Hartmut Wedekind,et al.  Implementation of a distributed data management system for manufacturing applications-a feasibility study , 1988, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing.

[43]  P. Rai-Choudhury,et al.  An approach toward 20-percent-efficient silicon solar cells , 1986, IEEE Transactions on Electron Devices.

[44]  Bruce H. Thomas,et al.  Using Grafcet to design generic controllers , 1988, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing.

[45]  Alan A. Desrochers Modeling and Control of Automated Manufacturing Systems , 1989 .

[46]  Manjunath Kamath,et al.  Applications of petri net based models in the modelling and analysis of flexible manufacturing systems , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.