Typically, cloud computing includes the provisioning of dynamically scalable and virtualized
resources as services over the Internet. In the cloud environment, based on the user's …

Web services technologies enable flexible and dynamic interoperation of autonomous
software and information systems. A central challenge is the development of modeling …

Web services are middleware designed to support the interoperation between different
software systems and devices over the Web. Today, we encounter a variety of situations in …

Web service composition lets developers create applications on top of service-oriented
computing's native description, discovery, and communication capabilities. Such …

Data warehouses are databases of a specific kind that periodically collect information about
the activities being performed by an organization. This information is then accumulated over …

Abstract Digital Twins (DTs) are considered key components in smart manufacturing. They
bridge the virtual and real world with the goal to model, understand, predict, and optimize …

In distributed manufacturing systems, especially in a manufacturing grid (MGrid) system,
there are primarily two kinds of manufacturing tasks (or resource service requests):(1) single …

Different planning techniques have been applied to the problem of automated composition
of web services. However, in realistic cases, this planning problem is far from trivial: the …

We argue that essential facets of Web Services (WSs), and especially, those useful to
understand their interaction, are best described using process-algebraic notations. WS …

It is now well-admitted that formal methods are helpful for many issues raised in the Web
service area. In this paper we present a framework for the design and the verification of WSs …