Modeling flexible manufacturing systems: the concurrent logic programming approach

Author

Dotan, Yoheved ; Ben-Arieh, David

Author_Institution

Dept. of Electr. & Comput. Eng., Ben-Gurion Univ. of Negev, Beer-Sheva, Israel

Volume

7

Issue

1

fYear

1991

fDate

2/1/1991 12:00:00 AM

Firstpage

135

Lastpage

148

Abstract

A novel approach to the modeling and analysis of an FMS (flexible manufacturing system) is presented, focusing on shop-floor control processes. This approach is based on concurrent logic programming, which uses the theoretical foundation of communicating sequential processes and guarded commands with nondeterminacy. The modeling approach is implemented using Flat Concurrent Prolog (FCP) on a Sun workstation or on a VAX machine. The properties of concurrent logic programming, as demonstrated by using FCP, include: (1) hierarchical description; (2) support for timing specifications; (3) modeling of concurrency and synchronization; (4) support for generic modeling; (5) facilitation of data transfer and complex communication; (6) capability of performance evaluation; (7) capability of static and dynamic analysis; (8) debugging capabilities; and (9) simulation ability

Keywords

digital simulation; flexible manufacturing systems; logic programming; parallel programming; FMS; Flat Concurrent Prolog; concurrent logic programming; digital simulation; flexible manufacturing systems; guarded commands; hierarchical description; modeling; sequential processes; shop-floor control; synchronization; timing specifications; Concurrent computing; Debugging; Dynamic programming; Flexible manufacturing systems; Logic programming; Performance analysis; Process control; Sun; Timing; Workstations;

fLanguage

English

Journal_Title

Robotics and Automation, IEEE Transactions on

Publisher

ieee

ISSN

1042-296X

Type

jour

DOI

10.1109/70.68077

Filename

68077