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 artificial intelligence, computational 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. Our ultimate goal is to develop intelligent technologies supporting the flexible, adaptive, antifragile management of organizations and their processes.
Topics
- business process management
- master data management
- integrated models of data and processes
- temporal data models
- conceptual modeling of organizations
- artificial intelligence
- formal methods
- multiagent systems
- process mining
- flexible, adaptive, antifragile process-aware information systems
Scientific Partners
- Wil van der Aalst (RWTH Aachen) – process mining and management of processes with many-to-many relationships
- Parosh Abdullah, Mohamed Faouzi Atig (Uppsala University) and C. Aiswarya (Chennai Mathematical Institute) – verification of data-aware processes
- Josep Carmona (UPC Barcelona) and Andrea Burattin (DTU Copenhagen) – NLP and processes
- Giuseppe De Giacomo and Fabio Patrizi (Sapienza Università di Roma) – knowledge representation and reasoning for integrated models of processes and data
- Massimiliano De Leoni (University of Padua) – decision-aware processes
- Marlon Dumas and Fabrizio Maggi (University of Tartu) – process monitoring and operational decision support
- Chiara Ghidini and Chiara Di Francescomarino (FBK-IRST Trento) – predictive monitoring and operational decision support
- Silvio Ghilardi (Univ. of Milano) – parameterized verification of data-aware processes using SMT
- Irina Lomazova (Higher School of Economics Moscow) – Petri nets manipulating data
- Dominik Matt and Patrick Dallasega (UNIBZ, Fac. Science and technology) – processes in construction
- Paola Mello and Federico Chesani (University of Bologna) – compliance and conformance checking
- Ernest Teniente (UPC Barcelona) – conceptual modeling of processes and data
- Michael Zakharyaschev and Roman Kontchakov (Birkbeck, University of London) – formalizing and reasoning about time and knowledge
Current and Past Projects
- KAOS – Knowledge-Aware Operational Support (EGTC – European Region Tyrol-South Tyrol-Trentino)
- COCkPiT – Collaborative Construction Process Management (European Regional Development Fund)
- OnProm – Ontology-Driven Process Mining (CRC UNIBZ),
- VeriCliG – Automated Extraction and Verification of Clinical Guidelines (Fondazione UNIBZ)
- MAGIC – MAnaGing Completeness of Data (Province of Bozen-Bolzano)
- VeriSyncopated – Verification and Synthesis from Components of Processes that Manipulate Data (Incoming research bursary – Province of Bozen-Bolzano)
- KENDO – Knowledge-driven Enterprise Distributed cOmputing (CRC UNIBZ)
- MoMaPC – Modeling and Managing Processes in Construction (CRC UNIBZ)
- PARCIS – Process-aware Reliability Checking for Information Systems (CRC UNIBZ)
- OMTeQ (CRC UNIBZ)
- ReQuoTo (CRC UNIBZ)
