Tampere University of Technology

TUTCRIS Research Portal

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

Research output: Book/ReportDoctoral thesisMonograph


Original languageEnglish
Place of PublicationTampere
PublisherTampere University of Technology
Number of pages133
ISBN (Electronic)978-952-15-2231-4
ISBN (Print)978-952-15-2226-0
Publication statusPublished - 23 Oct 2009
Publication typeG4 Doctoral dissertation (monograph)

Publication series

NameTampere University of Technology. Publication
PublisherTampere University of Technology
ISSN (Print)1459-2045


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.

Publication forum classification

Downloads statistics

No data available