DocumentCode
2794369
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
Volume
2
fYear
1996
fDate
18-21 Nov 1996
Firstpage
453
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ETFA.1996.573747
Filename
573747
Link To Document