Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
The framework for automatic mediation of two process models composed of semantically annotated web services is presented. Process mediation is hard because of many possible mismat...
Staffing decisions in a consumer credit origination environment have a significant impact on the financial institution's costs as well as customer service levels. Staff resou...
This paper addresses the quantitative analysis of gossiping protocols. In contrast to existing approaches which are entirely based on the simulation of the individual nodes' ...
Thomas Krieger, Martin Riedl, Johann Schuster, Mar...
We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services. Control has the aim to force a ...