Formal Representation, Verification and Implementation of Rule Based Information Systems for Integrated Manufacturing

dc.contributor.authorHarhalakis, Georgeen_US
dc.contributor.authorLin, Chang-Pinen_US
dc.contributor.authorMark, Leoen_US
dc.contributor.authorMuro, P.R.en_US
dc.description.abstractFull control and management of information flow has not yet been achieved, mainly because of the data inconsistencies and lack of established functional relationships among different manufacturing application systems. Research toward CIM has been concentrating on the computerization of individual functions of manufacturing, such as computer aided design and shop floor control, and the integration of data relations, such as global database frameworks and distributed database management systems. A mechanism to control the information flow among all of the manufacturing manufacturing application systems, in order to streamline factory activities based on company-specific and company-wide policies and procedures is proposed here. The goal is to achieve a fully integrated manufacturing management system. The INformation Systems for Integrated Manufacturing (INSIM) reflects a design methodology to build a knowledge base to serve as the control mechanism. The methodology includes knowledge acquisition, graphical modeling, systematic validation and automated implementation. This design methodology features an enhanced graphic modeling tool - Updated Petri Nets (UPN) - which is capable of modeling database updates and retrievals, under specific constraints and conditions and uses a hierarchical modeling approach. Finally, a software package based on the INSIM methodology was developed and a prototype rule based system in Update Dependencies language - a special rule specification language - is being implemented. It assimilates the functionality of information flow between Computer Aided Design, Process Planning, Manufacturing Resource Planning and Shop Floor Control.en_US
dc.format.extent4541015 bytes
dc.relation.ispartofseriesISR; TR 1991-19en_US
dc.subjectartificial intelligenceen_US
dc.subjectManufacturing Systemsen_US
dc.subjectknowledge representation
dc.subjectcomputer integrated manufacturing
dc.titleFormal Representation, Verification and Implementation of Rule Based Information Systems for Integrated Manufacturingen_US
dc.typeTechnical Reporten_US


Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
4.33 MB
Adobe Portable Document Format