Abstract Context Business Process Management (BPM) is becoming a strategic advantage
for organizations to streamline their operations. Most business experts are betting for OMG …

One key perspective when dealing with business process management is time. All business
experts agree upon the fact that time is a key resource for processes within organisations …

Scientific workflows are often deployed across multiple cloud computing platforms due to
their large-scale characteristic. This can be technically achieved by expanding a cloud …

Recently, the temporal constraint satisfiability is regarded as an important criterion in Web
service composition to guarantee its timely completion. This leads to a new challenge in …

A new IEEE compliant floating-point rounding algorithm for computing the rounded product
from a carry-save representation of the product is presented. The new rounding algorithm is …

This study deals with the formal modeling and verification of reconfigurable discrete event
control systems (RDECSs). The behavior of an RDECS is represented by that of control …

Business-to-business (B2B) e-commerce market is expected to expand rapidly in coming
years. In this context, organizations tend to rely more on business process management …

Recently, mediation-aided composition has been widely adopted when dealing with
incompatibilities of services. However, existing approaches suffer from state space …

Cloud is an increasingly popular computing paradigm that provides on-demand services to
organizations for deploying their business processes over the Internet as it reduces their …

To deliver high QoS (quality of service) for business process participants, workflow temporal
verification is conducted to provide satisfactory on-time completion rate of business process …