This FP7 STREP proposal where TU/e collaborates with IBM, Sapienza Universita degli Studi di Roma, Free University of Bozen-Bolzano, Imperial College, University of Tartu, Indra Software Labs and Collibra. ACSI will serve to dramatically reduce the effort and time-to-use of designing, deploying, maintaining, and joining into environments that support service collaborations. This will be achieved by developing a rich framework around the novel notions of dynamic artifacts and interoperation hubs, enabling a substantial simplification in the establishment and maintenance of service collaborations. TU/e’s contribution will be mainly in the area of process mining.
Behavior Oriented Service Substitution
The Service Oriented Computing (SOC) paradigm aims at building complex systems by composing them from less complex systems, called services. Such a (complex) system is a distributed application often involving several cooperating enterprises. As a system is usually subject to change, individual services will be substituted by other services during the system's life-cycle. Substituting one service by another one should not affect the correctness of the overall system. Verification of correctness is challenging, as the overall system is usually not known to any of the involved enterprises. The focus of the BOSS project is to study service substitution for a set of practical relevant correctness notions. The project is funded by NWO.
The Software as a Service (SaaS) paradigm is particularly interesting for situations where many organizations need to support similar processes. Since there are 441 municipalities in the Netherlands and they are all providing similar services and are executing similar processes, the use of SaaS technology could potentially be very beneficial for these local governments. Therefore, the aim of the CoSeLoG project is to create a cloud infrastructure for municipalities. Such a cloud would offer services for handling various types of permits, taxes, certificates, and licences.
Although municipalities are similar, their internal processes are typically different. Within the constraints of national laws and regulations, municipalities can differentiate because of differences in size, demographics, problems, and policies. Therefore, the cloud should provide configurable services such that products and processes can be customized while sharing a common infrastructure. The CoSeLoG project aims at the development and analysis of such services. For this we want to use earlier work on configurable process models done at TU/e, QUT, and UT.
One challenge is to actually describe the different variants of a particular municipal service in a single model that can be used to generate the actual configured services. Note that many different variants of a particular service may run in parallel in our cloud. Such a cloud infrastructure for municipalities enables new types of analysis as there is detailed data about the execution of different variants of a given process in different organizations.
A challenge is to develop new process mining techniques that allow for the comparison of event logs of different variants of the same process. Such techniques should highlight differences and commonalities and should assist municipalities in configuring services in a better manner.
The following municipalities are involved in this so-called Jacquard project: Bergeijk, Bladel, Coevorden, Eersel, Emmen, Gemert-Bakel, Hellendoorn, Reusel de Mierden, and Zwolle.
Transport companies often discover that what takes place in day-to-day transportation is not in line with their transport plans. This is largely due to the fact that the software which is employed in creating transport plans, fails to account for the real-world complexity of transportation and logistics. Approximations and abstractions used fall short of the true complexities in the real world. Direct consequences include violation of time windows, unnecessary delays, underutilized transportation capacity, etc.
This project aims to develop algorithms and software that can handle time-dependent, stochastic, planning problems, employing high-volumes of information. We will focus particularly on the complexities that arise in integrating planning problems and stochastic dependencies in Cross Chain Control Centers (4C), because in a 4C: i) the required real-life detail increases, ii) incidents are considerably larger, and iii) more communication is required as the pressure on response time increases.
Controlling Dynamic Real Life Workflow Situations with Demand Driven Workflow Systems
This STW project aims at an innovative kind of workflow management systems the so-called Demand Driven Workflow Systems. These systems will be based on the well-founded theory of functional programming and Petri nets. This is a joint project with RUN.
Mining Inter-organizational Business Processes
The overall goal of EDImine is the analysis of inter-organizational business processes. Thereby, EDImine's approach extends innovative process mining techniques, which currently have a pure focus on processes within a company. The project delivers means for mining the messages exchanged between companies, discovering the inherent inter-organizational processes using process mining, extracting relevant information out of these processes and lifting the information to the business level. The overall objective is the analysis, the optimization, the forecast, as well as the monitoring of inter-organizational relationships from an economic as well as from a technical point of view.
This Large-scale Integrating Project (IP) in FP7 aims to support policy and security configuration management in Future Internet (FI) applications. FI applications will see dynamic compositions of services providing a broad diversity of functions, starting with business functionality down to infrastructure services. PoSecCo overcomes policy and security related problems by establishing a traceable and sustainable link between high-level requirements and low-level configuration settings. Operations will be supported by self-managed features and decision support systems. Substantial improvements are expected in the areas of policy modeling and conflict detection across architectural layers, decision support for policy refinement processes, policy and configuration change management including validation, remediation and audit support, and security management processes in FI application scenarios. PoSecCo addresses the economic viability of the chosen approach by assessing cost and organizational benefits of an improved policy and configuration management. TU/e’s contribution will be mainly in the area of process mining (www.processmining.org).