Web services play a major role in electronic businesses and allow organizations to perform
certain business activities in a distributed fashion. In some circumstances, a single service is …

Nowadays, Web services allow interoperability among distributed software applications
deployed on different platforms and architectures which in effect plays a major role in …

The supervisory control theory is a conceptual framework to keep a discrete-event system in
a desired state space by disabling controllable events. This paper introduces a new software …

Abstract Service-oriented computing (SOC) is a distributed computing paradigm that is
revolutionizing the development of software systems. Service-oriented architecture (SOA) …

In our previous work (Atampore et al., 2016b), we developed a novel supervisory control
framework for automated composition of Web services. In the proposed framework, we …

Over the years many methodologies have been developed for fault-tolerant and failure-
recovering supervisory control of discrete-event systems. However, due to a lack of a …

The supervisory control theory (SCT) introduced by Ramadge and Wonham is one of the
most noted formalisms for the synthesis of solutions in discrete event control. In this …

In our previous work (Atampore et al., 2016b), we developed a novel supervisory control
framework for automated composition of Web services. In the proposed framework, we …

Web services play a major role in electronic businesses and allow organizations to perform
certain business activities in a distributed fashion. In some circumstances, a single service is …