Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 21
Titolo Data di pubblicazione Autore(i) File
Foundations of Relational Artifacts VerificationBusiness Process Management 1-gen-2011 Babak Bagheri, Hariri; Diego, Calvanese; Giuseppe De, Giacomo; De Masellis, Riccardo; Paolo, Felli
Business artifacts with guard-stage-milestone lifecyclesProceedings of the 5th ACM international conference on Distributed event-based system - DEBS '11 1-gen-2011 Richard, Hull; Anil, Nigam; Piwadee Noi, Sukaviriya; Roman, Vaculin; Elio, Damaggio; De Masellis, Riccardo; Fabiana, Fournier; Manmohan, Gupta; Fenno Terry, Heath; Stacy, Hobson; Mark, Linehan; Sridhar, Maradugu
Verification of Description Logic Knowledge and Action Bases 1-gen-2012 Bagheri Hariri, B.; Calvanese, D.; De Giacomo, G.; De Masellis, Riccardo; Felli, P.; Montali, M.
VERIFICATION OF CONJUNCTIVE ARTIFACT-CENTRIC SERVICES 1-gen-2012 GIUSEPPE DE, Giacomo; De Masellis, Riccardo; Riccardo, Rosati
Runtime Enforcement of First-Order LTL Properties on Data-Aware Business ProcessesService-Oriented Computing 1-gen-2013 De Masellis, Riccardo; Jianwen, Su
Verification of Artifact-Centric Systems: Decidability and Modeling IssuesService-Oriented Computing 1-gen-2013 Dmitry, Solomakhin; Marco, Montali; Sergio, Tessaris; De Masellis, Riccardo
Description Logic Knowledge and Action Bases 1-gen-2013 Bagheri Hariri, B.; Calvanese, D.; De Giacomo, G.; De Masellis, Riccardo; Felli, P.; Montali, M.
Monitoring data-aware business constraints with finite state automataProceedings of the 2014 International Conference on Software and System Process - ICSSP 2014 1-gen-2014 De Masellis, Riccardo; Fabrizio M., Maggi; Marco, Montali
Monitoring Business Metaconstraints Based on LTL and LDL for Finite TracesBusiness Process Management 1-gen-2014 Giuseppe De, Giacomo; De Masellis, Riccardo; Marco, Grasso; Fabrizio Maria, Maggi; Marco, Montali
Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness 1-gen-2014 De Giacomo, G.; De Masellis, Riccardo; Montali, M.
Semantic Enrichment of GSM-Based Artifact-Centric Models 1-gen-2014 De Masellis, Riccardo; Domenico, Lembo; Marco, Montali; Dmitry, Solomakhin
A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies 1-gen-2015 De Masellis, Riccardo; Ghidini, Chiara; Ranise, Silvio
Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes 1-gen-2016 Federico, Chesani; De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara; Paola, Mello; Marco, Montali; Tessaris, Sergio
Declarative Process Models: Different Ways to Be Hierarchical 1-gen-2016 De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara; Maggi, Fabrizio M.
Abducing Compliance of Incomplete Event Logs 1-gen-2016 Chesani, Federico; De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara; Mello, Paola; Montali, Marco; Tessaris, Sergio
Add Data into Business Process Verification: Bridging the Gap between Theory and Practice 1-gen-2017 De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara; Montali, Marco; Tessaris, Sergio
Learning Hybrid Process Models from Events 1-gen-2017 van der Aalst, Wil M. P.; De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara
Rule Propagation: Adapting Procedural Process Models to Declarative Business Rules 1-gen-2017 De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara; Laponin, Arne; Maggi, Fabrizio Maria
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning 1-gen-2018 Chesani, Federico; Mello, Paola; De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara; Montali, Marco; Tessaris, Sergio
Enhancing Workflow-Nets with Data for Trace Completion 1-gen-2018 De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara; Tessaris, Sergio
Mostrati risultati da 1 a 20 di 21
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile