This paper addresses the issue of verifying if composite Web services design meets some
desirable properties in terms of deadlock freedom, safety (something bad never happens) …

E-business model variants aim at creating customer value through differentiation. At the core
are two major components of the business model concept—business process and customer …

Purpose This paper investigates the criteria for a selective integration, in the
multidisciplinary business process management (BPM) areas, between information …

Workflows coordinate a series of computing tasks to create a sophisticated workflow logic.
Ensuring the correctness of a workflow specification is essential for automating business …

The study of business process analysis and optimisation has attracted significant scholarly
interest in the recent past, due to its integral role in boosting organisational performance. A …

System quality is a key issue in modern systems development. Tool support is essential for
checking the system quality efficiently. This is particularly true with respect to the dynamic …

Behavior modeling has been increasingly recognized as a crucial means for disclosing
interior driving forces and impact in social activity processes. Traditional behavior modeling …

The popularity of social media as an information source, in the recent years has spawned
several interesting applications, and consequently challenges to using it effectively …

1 Ch ri st i an-A lb rechts-U n ive rs i ty K iel O ls hausenstrasse 40, 24098 K iel, Germany
{aspe, svfe, swi l@ i nformatik. uni-kiel. de 2 U n ive rs i ty of Osnabrueck A lb rechtstr. 28 …

With the increasing popularity of e-commerce, the growth potential of business is
extraordinary; however, the path toward success can also be dangerous because of …