PRISM: PRocess-aware Information Systems Management

Mission

We investigate foundational, methodological, and experimental aspects of process-aware information systems, with emphasis on the integration of business process and data management. We combine diverse areas in computer science (from AI, logics and formal methods to data science and semantic technologies) to provide IT support to business and technical experts along the entire process lifecycle, and to enrich data with dynamics.

Relevance

This group is relevant for:

  1. research: it focuses on a timely and challenging area, with a quite unique mix of skills and balance of theory and practice,
  2. teaching: it covers key foundational and engineering competencies that should be acquired by students, and
  3. third mission: big companies and SMEs are increasingly recognizing the importance of process management and process-oriented analysis of their data.

Topics

  • Business process management
  • Master data management
  • Artificial intelligence
  • Computational logics
  • Formal methods
  • Conceptual modeling
  • Model checking
  • Business intelligence
  • Process mining

Key technologies

  • Business process management systems
  • Databases
  • Semantic technologies
  • Formal verification frameworks
  • Temporal logics and model checkers
  • Process mining tools
  • Conceptual modeling frameworks
  • Planning technologies
  • Web-based technologies
  • Logic-based reasoners
  • Petri net tools

Key technologies

  • Business process management systems
  • Databases
  • Semantic technologies
  • Formal verification frameworks
  • Temporal logics and model checkers
  • Process mining tools
  • Conceptual modeling frameworks
  • Planning technologies
  • Web-based technologies
  • Logic-based reasoners
  • Petri net tools

Applications

  • Software prototypes for modeling
  • Planning, verification, simulation, enactment, mining of data-aware business processes, and more in general dynamic systems operating over data
  • Tools for the extraction of event logs from legacy data sources
  • Domain-specific prototypes (e.g. in construction and healthcare)

Contact

Marco Montali ( ,   web site)

Marco Montali is an associate professor at the Faculty of Computer Science of the Free University of Bozen-Bolzano. Find out more about him checking out his website.

We have created a diagram that displays common keywords from articles written by Marco Montali. This is often useful to see what the respective researcher is doing: click here.

Feedback/Request info