In complex, large-scale systems, event analyses are constrained by the quality of the data
gathered, the maturity of the associated reporting system, and the training and background …

This paper presents a formal framework for process-oriented modelling and analysis of
organisations. The high expressivity of the sorted predicate logic language used for …

This paper shows typical security and consistency challenges regarding the models of the
business and the IT universe of the dynamic service-, process-and rule-based environment …

(57) ABSTRACT A mobile application enables employees to manage their goals and track
their performance at any time, and from any place. A mobile device such as a tablet …

The concept of power is inherent in human organizations of any type. As power relations
have important consequences for organizational viability and productivity, they should be …

An analysis of today's situation at Credit Suisse has shown severe problems, because it is
based on current best practices and ad-hoc modelling techniques to handle important …

This paper presents the results of the first year research in the EUROCONTROL CARE
Innovative Research III project on safety modelling and analysis of organizational processes …