Abstract Smart Manufacturing Systems (SMS) are software systems that identify
opportunities for automating manufacturing operations by using Internet of Things (IoT) …

Sažetak This paper presents the investigation and comparison of TLC model checking
method (TLA Checker) properties. There are two different approaches to method usage …

The number of devices connecting to the Internet is increasing day by day. Firstly, people
connected the Internet using their personal computers with the purpose of gathering …

Every engineering process, especially software, involves two complementary aspects:
structural and behavioral. Behavior is, in essence, transforming the structure associated with …

Manufacturing processes of the future will rely on standards for asset interoperability and
service orchestration. The Asset Administration Shell (AAS) facilitates information exchange …

How to quickly combine various Web services to support cross-organisational business
processes is the key technical problem in service computing. Because of the changeability …

Business monitoring approaches usually address indicators associated with processes only
at the service level; ie, related to the services implementing the processes. Monitoring at the …

E-business services are a very good solution, for a great number of economic or government
agents, to provide their products and services ubiquitously on the market, within the …

Cyber-Physical Systems (CPS) are obtained by integrating computation, networking, and
physical processes. In many applications, within a CPS, mobile and wireless networks are …

Web Services (WS) have emerged during the past decades as a means for loosely coupled
distributed systems to interact and communicate. Nevertheless, the abundance of services …