UIB-2012-01 Extended Caching, Backjumping and Merging for Expressive Description Logics
Autoren: Andreas Steigmiller, Thorsten Liebig, Birte Glimm
With this contribution we push the boundary of some known optimisations such as caching to the very expressive Description Logic SROIQ. The developed method is based on a sophisticated dependency management and a precise unsatisfiability caching technique, which further enables better informed tableau backtracking and more ecient pruning. Additionally, we optimise the handling of cardinality restrictions, by introducing a strategy called pool-based merging.
We empirically evaluate the proposed optimisations within the novel reasoning system Konclude and show that the proposed optimisations indeed result in significant performance improvements.
UIB-2012-02 Statistical Computing 2012
Autoren: HA Kestler, H Binder, M Schmid, F Leisch, JM Kraus (eds)
44. Arbeitstagung der Arbeitsgruppen Statistical Computing (GMDS/IBS-DR),
Klassifikation und Datenanalyse in den Biowissenschaften (GfKl).
24.06.-27.06.2012, Schloss Reisensburg (Günzburg)
UIB-2012-03 Influencing Factors on Multimodal Interaction at Selection Tasks
Autoren: Felix Schüssel, Frank Honold, Michael Weber
When developing multimodal interactive systems it is not clear which importance should be given to which modality. In order to study influencing factors on multimodal interaction, we conducted a Wizard of Oz study on a basic recurrent task: 53 subjects performed diverse selections of objects on a screen. The way and modality of interaction was not specified nor predefined by the system, and the users were free in how and what to select. Natural input modalities like speech, gestures, touch, and arbitrary multimodal combinations of these were recorded as dependent variables. As independent variables, subjects’ gender, personality traits, and affinity towards technical devices were surveyed, as well as the system’s varying presentation styles of the selection. Our statistical analyses reveal gender as a momentous influencing factor and point out the role of individuality for the way of interaction, while the influence of the system output seems to be quite limited. This knowledge about the prevalent task of selection will be useful for designing effective and efficient multimodal interactive systems across a wide range of applications and domains.
UIB-2012-04 Model-Driven User Interface Generation and Adaption in Process-Aware Information Systems
Autoren: Jens Kolb, Paul Hübner, Manfred Reichert
The increasing adoption of process-aware information systems(PAISs) has resulted in a large number of implemented business processes.To react on changing needs, companies should be able to quicklyadapt these process implementations if required. Current PAISs, however,only provide mechanisms to evolve the schema of a process model,but do not allow for the automated creation and adaptation of their userinterfaces (UIs). The latter may have a complex logic and comprise, forexample, conditional elements or database queries. Creating and evolvingthe UI components of a PAIS manually is a tedious and error-pronetask. This technical report introduces a set of patterns for transformingfragments of a business process model, whose activities are performedby the same user role, to UI components of the PAIS. In particular, UIlogic can be expressed using the same notation as for process modeling.Furthermore, a transformation method is introduced, which applies thesepatterns to automatically derive UI components from a process modelby establishing a bidirectional mapping between process model and UI.This mapping allows propagating UI changes to the process model andvice versa. Overall, our approach enables process designers to rapidlydevelop and update complex UI components in PAISs.
UIB-2012-05 Formalizing Concepts for Efficacy-Aware Business Process Modelling
Autoren: Matthias Lohrmann, Manfred Reichert
In business process design, business objective models can fulll the role of formal requirement denitions. Matching process models against objective models would, for instance, enable sound comparison of implementation alternatives. For that purpose, objective models should be available independently of their concrete implementation in a business process. This issue is not addressed by common business process management concepts yet. Moreover, process models are currently not suciently expressive to determine business process ecacy in the sense of fullling a business objective. Therefore, this paper develops and integrates constructs required for ecacy-aware process modeling and apt to extend common modeling approaches. The concept is illustrated with a sample scenario. Overall, it serves as an enabler for progressive applications like automated process optimization.
UIB-2012-06 A Formal Framework for Data-Aware Process Interaction Models
Autoren: David Knuplesch, Rüdiger Pryss, Manfred Reichert
IT support for distributed and collaborative workflows as well as related interactions between business partners are becoming increasingly important. For modeling such partner interactions as flow of message exchanges, different topdown approaches, covered under the term interaction modeling, are provided. Like for workflow models, correctness constitutes a fundamental challenge for interaction models; e.g., to ensure the boundedness and absence of deadlocks and lifelocks. Due to their distributed execution, in addition, interaction models should be message-deterministic and realizable, i.e., the same conversation (i.e. sequence of messages) should always lead to the same result, and it should be ensured that partners always have enough information about the messages they must or may send in a given context. So far, most existing approaches have addressed correctness of interaction models without explicitly considering the data exchanged through messages and used for routing decisions. However, data support is crucial for collaborative workflows and interaction models respectively. This technical report enriches interaction models with the data perspective. In particular, it defines the behavior of data-aware interaction models based on Data-Aware Interaction Nets, which use elements of both Interaction Petri Nets and Workflow Nets with Data. Finally, formal correctness criteria for Data-Aware Interaction Nets are derived, guaranteeing the boundedness and absence of deadlocks and lifelocks, and ensuring message-determinism as well as realizability.