Title :
Validating correctness of interfaces of design models using functional abstractions
Author :
Tang, Siong K. ; Zurawski, Richard
Author_Institution :
Dept. of Comput. Sci., Melbourne Univ., Parkville, Vic., Australia
Abstract :
In this paper, we demonstrate the usefulness of functional abstractions in studying the correctness of the interactions (or interfaces) among objects composed into a design model of a system. To illustrate the approach, the focus is on a simple manufacturing system represented by a Petri net model. Place invariants are used to demonstrate the correctness of the interactions among objects constituting model of the system
Keywords :
Petri nets; flexible manufacturing systems; machining; materials handling; modelling; production control; Petri net model; design models; flexible manufacturing system; functional abstractions; interfaces; machining stations; materials handling; object representation; validating correctness; Analytical models; Availability; Computer science; Construction industry; Costs; Inspection; Large-scale systems; Manufacturing systems; Performance analysis; Petri nets;
Conference_Titel :
Emerging Technologies and Factory Automation, 1996. EFTA '96. Proceedings., 1996 IEEE Conference on
Conference_Location :
Kauai, HI
Print_ISBN :
0-7803-3685-2
DOI :
10.1109/ETFA.1996.573747
