As billions of IoT devices join the Internet, researchers and innovators increasingly explore
IoT capabilities achieved via service composition or reuse of existing capabilities via service …

Nowadays, the industry is undergoing the Fourth Industrial Revolution, and techniques and
algorithms for automated compliance checking (ACC) are continually being improved …

Today, service composition is emerging paradigm on the communication networks such as
cloud environments, internet of things, wireless sensor network, and software‐defined …

Event logs capture the execution of business processes, such that each task is represented
by an event and each individual execution is a chronological sequence of events, called an …

Discovering and analysing business processes are important tasks for organizations.
Process mining bridges the gap between process management and data science by …

Compare to outside threats, insider threats that originate within targeted systems are more
destructive and invisible. More importantly, it is more difficult to detect and mitigate these …

A wealth of techniques have been developed to help organizations understand their
processes, verify correctness against requirements and diagnose potential problems. In …

In scenarios where multiple autonomous systems collaborate to execute a business
process, it is often necessary for them to exchange confidential or private data. In this setting …

Organizations use business process management systems to automate processes that they
use to perform tasks or interact with customers. However, several variants of the same …

The design principle of composability among Web services is one of the most crucial
reasons for the success and popularity of Web services. However, achieving error-free …