A STRUCTURE-FUNCTION CONTROL PARADIGM FOR KNOWLEDGE-BASED MODELING AND DESIGN OF MANUFACTURING WORKCELLS

被引:5
作者
CASELLI, S
PAPACONSTANTINOU, C
DOTY, KL
NAVATHE, S
机构
[1] UNIV PARMA,DIPARTIMENTO INGN INFORMAZ,I-43100 PARMA,ITALY
[2] UNIV FLORIDA,DEPT ELECT ENGN,GAINESVILLE,FL 32611
[3] GEORGIA INST TECHNOL,COLL COMP,ATLANTA,GA 30332
关键词
AUTOMATION; DATABASE; OBJECT-ORIENTED MODELS; PETRI NETS; SEMANTIC NETWORKS;
D O I
10.1007/BF01471748
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
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, Petri nets (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.
引用
收藏
页码:11 / 30
页数:20
相关论文
共 55 条
[1]  
ALAMI R, 1985, P INT C ROBOTICS AUT, P901
[2]  
ALFORD M, 1985, COMPUTER, V18, P36, DOI 10.1109/MC.1985.1662863
[3]  
BLACK JT, 1988, P MANUFACTURING INT, V3, P143
[4]  
BOEHM BW, 1988, COMPUTER, V21, P61, DOI 10.1145/12944.12948
[5]   VERIFYING AND VALIDATING SOFTWARE REQUIREMENTS AND DESIGN SPECIFICATIONS [J].
BOEHM, BW .
IEEE SOFTWARE, 1984, 1 (01) :75-88
[6]  
BORGIDA A, 1985, COMPUTER, V18, P82, DOI 10.1109/MC.1985.1662870
[7]  
CARSWELL JL, 1986, 5TH P INT ENT REL C
[8]  
CASELLI S, 1988, P WORKSHOP COORDINAT
[9]  
CASELLI S, 1990, 5TH P IEEE INT S INT
[10]  
CORNELIO A, 1990, 1ST P INT C SYST INT