Now showing items 1-5 of 5

    • Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract) 

      Calvanese D; Kalayci TE; Montali M; Santoso A; van der Aalst WMP (CEUR-WS, 2018)
    • Monitoring business constraints with linear temporal logic: An approach based on colored automata 

      Maggi FM; Montali M; Westergaard M; van der Aalst WMP (Springer, 2011)
      Today’s information systems record real-time information about business processes. This enables the monitoring of business constraints at runtime. In this paper, we present a novel runtime verification framework based on ...
    • Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling 

      Artale A; Montali M; Tritini S; van der Aalst WMP (, 2017)
    • Process Mining Manifesto 

      van der Aalst WMP; Adriansyah A; Alves De Medeiros AK; Arcieri F; Baier T; Blickle T; Jagadeesh Chandra Bose RP; van den Brand P; Brandtjen R; Buijs JCAM; Burattin A; Carmona J; Castellanos M; Claes J; Cook J; Costantini N; Curbera F; Damiani E; De Leoni M; Delias P; van Dongen BF; Dumas M; Dustdar S; Fahland D; Ferreira DR; Gaaloul W; van Geffen F; Goel S; Gunther CW; Guzzo A; Harmon P; ter Hofstede AHM; Hoogland J; Ingvaldsen JE; Kato K; Kuhn R; Kumar A; La Rosa M; Maggi FM; Malerba D; Mans RS; Manuel A; Mccreesh M; Mello P; Mendling J; Montali M; Nezhad HRM; zur Muehlen M; Munoz-Gama J; Pontieri L; Ribeiro J; Rozinat A; Perez HS; Perez RS; Sepulveda M; Sinur J; Soffer P; Song M; Sperduti A; Stilo G; Stoel C; Swenson KD; Talamo M; Tan W; Turner C; Vanthienen J; Varvaressos G; Verbeek E; Verdonk M; Vigo R; Wang J; Weber B; Weidlich M; Weijters T; Wen L; Westergaard M; Wynn MT (Springer, 2011)
      Process mining techniques are able to extract knowledge from event logs commonly available in today’s information systems. These techniques provide new means to discover, monitor, and improve processes in a variety of ...
    • Runtime verification of LTL-based declarative process models 

      Maggi FM; Westergaard M; Montali M; van der Aalst WMP (Springer, 2012)
      Linear Temporal Logic (LTL) on finite traces has proven to be a good basis for the analysis and enactment of flexible constraint-based business processes. The Declare language and system benefit from this basis. Moreover, ...