Knowledge-intensive Business Processes (KiBP 2012)
   1st International Workshop on
Knowledge-intensive Business Processes

Co-located with the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012)

Rome, Italy, 15 June 2012


  

Workshop Proceedings

The KiBP 2012 proceedings are available online at http://ceur-ws.org/Vol-861/.

Complete Program

Each paper will have 30 minutes; speakers should make sure at least 5 minutes are left in their talks for questions and discussion.

The workshop will be held in Room A5 - Dipartimento di Ingegneria Informatica, Automatica e Gestionale "A. Ruberti", Via Ludovico Ariosto 25, 00185 Rome, Italy (see the map).

Friday 15 June 2012

9:15-9:30 -- Welcome & Workshop Overview - Download the slides
9:30-10:30 -- Keynote Talk I
  • Title : Integrated Data and Process Management: Finally?
  • Speaker : Marlon Dumas
  • Abstract : 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.
  • Presentation : Download the slides - Watch the video
10:30-11:00 -- Presentation of the Invited Paper
  • Title : Automatic Detection of Business Process Interference
  • Authors : Nick van Beest, Eirini Kaldeli, Pavel Bulanov, Hans Wortmann and Alexander Lazovik
  • Presentation : Download the slides
11:00-11:30 -- Coffee Break
11:30-12:30 -- Paper Session I
  • 11:30-12:00   Knowledge-intensive Processes: An Overview of Contemporary Approaches
    Claudio Di Ciccio, Andrea Marrella and Alessandro Russo
    Download the slides
  • 12:00-12:30  A knowledge-based approach to the configuration of business process model abstractions
    Shamila Mafazi, Wolfgang Mayer, Georg Grossmann and Markus Stumptner
    Download the slides
12:30-14:00 -- Lunch Break
14:00-15:00 -- Keynote Talk II
  • Title : A Logic-Based Approach to Business Processes Customization
  • Speaker : Yves Lespérance
  • Abstract : 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.
  • Presentation : Download the slides - Watch the video
15:00-16:00 -- Paper Session II
  • 15:00-15:30  Modular Representation of a Business Process Planner
    Shahab Tasharrofi and Eugenia Ternovska
    Download the slides
  • 15:30-16:00  Business Processes Verification with Temporal Answer Set Programming
    Laura Giordano, Alberto Martelli, Matteo Spiotta and Daniele Theseider Duprè
    Download the slides
16:00-16:30 -- Coffee Break
16:30-17:00 -- Paper Session III
  • 16:30-17:00  Semantically-Governed Data-Aware Processes
    Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali and Ario Santoso    
    Download the slides
17:00-18:00 -- Closing Panel
  • Topic : Knowledge-intensive processes: new ideas or "old wine in new bottles"?
  • Moderator : Massimo Mecella - slides
  • Participants :
    • Giuseppe De Giacomo - slides
    • Marlon Dumas
    • Yves Lespérance
    • Alexander Lazovik
18:00-18:15 -- Concluding Remarks
20:00 -- Social Dinner