Service-based manufacturing systems: modelling and control

In service-based manufacturing systems, functionalities are independently developed as services and a central engine orchestrates their integration. As industrial processes tend to be very large, and performance and productivity are expected to be maximised, there is a constant interest in providing...

Full description

Saved in:
Bibliographic Details
Published inInternational journal of production research Vol. 57; no. 11; pp. 3421 - 3434
Main Authors Rosa, Marcelo, Barbosa, Marco A. C., Teixeira, Marcelo
Format Journal Article
LanguageEnglish
Published London Taylor & Francis 03.06.2019
Taylor & Francis LLC
Subjects
automated manufacturing systems
discrete event systems
formal modelling
service orchestration
service-oriented manufacturing systems
Supervisory control
Workflow
Online AccessGet full text

Cover

More Information
Summary:In service-based manufacturing systems, functionalities are independently developed as services and a central engine orchestrates their integration. As industrial processes tend to be very large, and performance and productivity are expected to be maximised, there is a constant interest in providing (in-advance) quality guarantees for services interactions, which contrasts with the usual non-automated workflow design. This paper provides an alternative to enhance service orchestration capabilities using supervisory control techniques. Initially, each component (atomic and composite activities) belonging to an orchestration language is modelled as a state-machine. Then, activity models are properly combined and composed, reproducing orchestrated workflows. Finally, supervisory control is used to calculate an optimal version of the orchestrator. Practical implications of handling large state-spaces are discussed and examples are provided.
ISSN:0020-7543
1366-588X
DOI:10.1080/00207543.2018.1535723