Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
We are designing new data mining techniques on boolean contexts to identify a priori interesting bi-sets (i.e., sets of objects or transactions associated to sets of attributes or ...
Abstract. Formal specification and operational support of time constraints constitute fundamental challenges for any process-aware information system. Although temporal constraints...
Contributions in the field of Web services have identified that (a) finding matches between semantic descriptions of advertised and requested services and (b) non-functional chara...
Michael C. Jaeger, Gregor Rojec-Goldmann, Gero M&u...