TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Approach to Incremental Modelling of Web Services Orchestration - An Application to Deadlock-free Scheduling in Automated Systems

Tutkimustuotos

Yksityiskohdat

AlkuperäiskieliEnglanti
JulkaisupaikkaTampere
KustantajaTampere University of Technology
Sivumäärä133
ISBN (elektroninen)978-952-15-2231-4
ISBN (painettu)978-952-15-2226-0
TilaJulkaistu - 23 lokakuuta 2009
OKM-julkaisutyyppiG4 Monografiaväitöskirja

Julkaisusarja

NimiTampere University of Technology. Publication
KustantajaTampere University of Technology
Vuosikerta832
ISSN (painettu)1459-2045

Tiivistelmä

Changes in equipment and production demand cannot be predicted at the design stage. Therefore decision‐taking mechanisms must rely on real‐time information collected from the shop floor. Real time information‐based logistics decision taking mechanisms rely on dispatching rules. The usage of such regulations suffers from the myopia problem (it is not clear how to ensure that individual interests do not clash against the system‐wide objectives - e.g. total profit maximization). In order to overcome this, routing strategies must be based on formal representations of flow that automatically account for modifications in the values of parameters of interest and in the model itself. This thesis addresses this problem and proposes a method to incrementally model the flow within a service‐oriented manufacturing line: based on information offered as a Web Service to the outside world, formal models of flow may be automatically created. The resulting representation assists deadlock‐free dynamic scheduling of the system.

Julkaisufoorumi-taso

Latausten tilastot

Ei tietoja saatavilla