Title :
Automatic derivation of Petri net based distributed specification with optimal allocation of resources
Author :
El-Fakih, Khaled ; Yamaguchi, Hirozumi ; v.Bochmann, G. ; Higashino, Teruo
Author_Institution :
Sch. of Inf. Technol. & Eng., Ottawa Univ., Ont., Canada
Abstract :
In this paper, we present a method for the synthesis of extended Petri net-based distributed specifications. Our method finds an optimal allocation of resources (computational data) that optimizes the derived distributed specification, based on some reasonable communication-cost criteria
Keywords :
Petri nets; communication complexity; computer aided software engineering; distributed processing; formal specification; optimisation; resource allocation; Petri net-based distributed specification; automatic specification derivation; communication cost criteria; computational data allocation; optimal resource allocation; specification optimization; Context; Cost function; Distributed computing; Fires; Information technology; Input variables; Integer linear programming; Optimization methods; Protocols; Resource management;
Conference_Titel :
Automated Software Engineering, 2000. Proceedings ASE 2000. The Fifteenth IEEE International Conference on
Conference_Location :
Grenoble
Print_ISBN :
0-7695-0710-7
DOI :
10.1109/ASE.2000.873684
