|
|
|
Keynotes
Prof. Marlon Dumas
Institute of Computer Science, University of Tartu, Estonia
|
Biography
Marlon Dumas is the Swedbank Professor of Software Engineering at University of Tartu, Estonia. He is also Strategic Area Leader at STACC - a collaborative research center that gathers ten Estonian IT companies and two universities with the aim of conducting industry-driven research in software service engineering and data mining. From 2000 to 2007, he worked in the Business Process Management research group at Queensland University of Technology (Australia) where he held a Queensland State Fellowship between 2004 and 2007. He has also been visiting professor at University of Grenoble, University of Nancy, University of Macau, and Visiting Researcher at SAP Research. Professor Dumas has been recipient of best paper awards at ETAPS 2006 and BPM 2010 and recipient of the 10-years most influential paper award at MODELS 2011. He is co-inventor of three granted patents and co-editor of a textbook on Process-Aware Information Systems.
|
Integrated Data and Process Management: Finally?Download the slides - Watch the video
Data engineering is a well-trodden field with established methods and tools that allow engineers to capture complex data requirements and to refine these requirements down to the level of database schemas in a seamless and largely standardized manner.
Concomitantly, database systems and associated middleware enable the development of robust and scalable data-driven applications to support a wide spectrum of business functions. Eventually though, individual business functions supported by database applications need to be integrated in order to automate end-to-end business processes. This facet of information systems engineering falls under the realm of business process engineering. Business process engineering on the other hand is also an established discipline, with its own methods and tools.
Process analysis and design methods typically start with process models that capture how tasks, events and decision points are inter-connected, and what data objects are consumed and produced throughout a process.
These models are first captured at a high level of abstraction and then refined down to executable process models that can be deployed in business process management systems. The division between data and process engineering is driven by various factors, including the fact that data are shared across multiple processes, that data and processes evolve at different rates and according to different requirements.
Notwithstanding these reasons, the divide between data and processes leads to redundancies in large-scale information systems that, in the long run, hinder on their coherence and maintainability. This talk will give an overview of emerging approaches that aim at bridging the traditional divide between data and processes. In particular, the talk will discuss the emerging "artifact-centric" process management paradigm, and how this paradigm in conjunction with service-oriented architectures and platforms, enable higher levels of integration and responsiveness to process change.
|
Prof. Yves Lespérance
Department of Computer Science and Engineering, York University, Canada
|
Biography
Yves Lespérance is an Associate Professor in the Department of Computer Science and Engineering, York University, Toronto, Canada. His research is in the areas of knowledge representation and reasoning, multiagent systems, and cognitive robotics. His work on the agent programming languages (Golog and ConGolog) and on reasoning about action and mental states in the situation calculus has had a major impact. He is the author of over 90 scholarly publications. He was Local Organization Chair of the International Joint Conference on Autonomous Agents and Multiagent Systems
(AAMAS) in 2010; he has also been a member of the conference's Senior Program Committee 4 times, and was Tutorials Chair in 2004 and Scholarship Chair in 2006. He was also a member of the Board of the International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) from
2007 to 2010. He has been a member of the editorial board of the Journal of AI Research, the Journal of Applied Non-Classical Logics, the International Journal of Agent-Oriented Software Engineering, and the Journal Electronique d'Intelligence Artificielle.
|
A Logic-Based Approach to Business Processes CustomizationDownload the slides - Watch the video
In this talk, I will present a logic-based approach to modeling and engineering processes that arose from work in AI. The approach is based on a logical framework for modeling dynamic domains called the Situation Calculus. It also uses a language called ConGolog for specifying complex processes on top of the Situation Calculus. By using such a logical framework we can provide clear formal characterizations of problems that arise in the area of business process design and management. Available automated reasoning techniques can also be use to analyze and synthesize processes.
After introducing the framework, I will discuss how one can use it to model process customization, where one customizes a generic process to satisfy certain constraints required by a client. I will show how we can allow for uncontrollable actions by the process, and then define a notion of maximally permissive supervisor for such a process, i.e., a supervisor that constrains the process as little as possible, while ensuring that the desired constraints are satisfied. We show hat such a maximally permissive supervisor always exist and is unique.
Finally, I will briefly discuss how one can use the framework to model the problem of process orchestration, where one wants to orchestrate a set of available services to produce a desired process.
|
|
1st International Workshop on