A new view-based approach to the representation and recognition of action is presented.
The basis of the representation is a temporal template-a static vector-image where the vector …

With the development of the Internet of Things (IoT) and the Internet, new kinds of services
based on IoT devices will benefit everyone. As a key step in achieving a complex business …

The aligning of event logs with process models is of great significance for process mining to
enable conformance checking, process enhancement, performance analysis, and trace …

Event logs are of paramount significance for process mining and complex event processing.
Yet, the quality of event logs remains a serious problem. Missing events of logs are usually …

Workflow‐based web service compositions (WB‐WSCs) is one of the main composition
categories in service oriented architecture (SOA). Eflow, polymorphic process model (PPM) …

Web services are increasingly becoming a major part of our daily lives. Many web services
composition languages have been developed to describe the way a group of distributed …

The use of the Service-Oriented Architecture paradigm (SOA) as an architectural model
together with the use of Web services technologies have spread out widely in the world of …

In this paper, we are interested in formalization, analysis and checking of the BPEL
language at the semantic level. We propose translating rules from BPEL language to a low …

This article describes an MDE approach for transformation from BPEL specifications to WF-
nets models for verifying behavioral properties on IOWF (Inter-Organizational Workflow) …

WS. BPEL 2.0 (Web Services Business Process Execution Language) commonly known as
BPEL for short, is currently the de-facto standard language to represent the behavior of web …