Learn More
Abstract: With the growing role business processes play in today’s business life, they are being seen as an asset for the organization. With hundreds of process models developed by different process designers it would be helpful to look up the repository for models that could handle a similar situation before developing new ones. In this paper we introduce(More)
A business process is a set of steps designed to be executed in a certain order to achieve a business value. Such processes are often driven by and documented using process models. Nowadays, process models are also applied to drive process execution. Thus, correctness of business process models is a must. Much of the work has been devoted to check general,(More)
Determining similarity between business process models has recently gained interest in the business process management community. So far similarity was addressed separately either at semantic or structural aspect of process models. Also, most of the contributions that measure similarity of process models assume an ideal case when process models are enriched(More)
Business processes are central to the operation of both public and private organizations. With the rapid growth in the number of process models developed by different process designers, it becomes crucial for business process designers to be able to look up the repository for models that could handle a similar situation before developing new ones.(More)
Tumor necrosis factor (TNF) is an inflammatory cytokine that is upregulated in a number of cardiomyopathies. Adverse cardiac remodeling and dilation result from degradation of the extracellular matrix by matrix metalloproteinases (MMPs). We investigated whether TNF can directly trigger expression and activation of MMPs in cardiac cells. We compared MMP(More)
Checking for compliance is of major importance in nowadays business. Several approaches have been proposed to address different aspects of compliance checking. One of the important aspects of compliance checking is to ensure that business activities will be executed in a certain order. In a previous work, we have presented a formal approach for efficient(More)
Due to the critical role humans play in automated business processes, a BPEL extension has been recently released BPEL4People and WS-HumanTask to express issues like authorization to execute a task. However, there is currently little support to human resource allocation to tasks in high level modeling languages such as BPMN. In this paper, we show how(More)