Life science researchers use computational models to articulate and test hypotheses about
the behavior of biological systems. Semantic annotation is a critical component for …

Traditional approaches to business process modeling and workflow are based on activity
flows (with data often an afterthought) or documents (with processing often an afterthought) …

A promising approach to managing business operations is based on business entities with
lifecycles (BEL's)(aka business artifacts), ie, key conceptual entities that are central to …

Nowadays, the need for systems interoperability in or across enterprises has become more
and more ubiquitous. Many research works have been carried out in the fields of information …

Large corporations increasingly utilize business process models for documenting and
redesigning their operations. The extent of such modeling initiatives with several hundred …

The verification of control-flow soundness is well understood as an important step before
deploying business process models. However, the control flow does not capture what the …

Abstract Business Activity Monitoring (BAM) enables continuous, real-time performance
measurement of business processes based on key performance indicators (KPI). The …

The value of business process models is dependent on the choice of graphical elements in
the model and their annotation with additional textual and graphical information. This …

In this paper, we review the parallel and distributed optimization algorithms based on
alternating direction method of multipliers (ADMM) for solving" big data" optimization …

The use of formal semantics for the support of Business Process Management is an
emerging branch of research, with substantial economic potential. In particular, business …