Now showing items 1-4 of 4

    • Formal reasoning on natural language descriptions of processes 

      Sánchez Ferreres, Josep; Burattin, Andrea; Carmona Vargas, Josep; Montali, Marco; Padró, Lluís (Springer, 2019)
      Conference report
      Open Access
      The existence of unstructured information that describes processes represents a challenge in organizations, mainly because this data cannot be directly referred into process-aware ecosystems due to ambiguities. Still, this ...
    • Unleashing textual descriptions of business processes 

      Sánchez Ferreres, Josep; Burattin, Andrea; Carmona Vargas, Josep; Montali, Marco; Padró, Lluís; Quishpi Betún, Luis Hernán (2021-05-26)
      Article
      Restricted access - publisher's policy
      Textual descriptions of processes are ubiquitous in organizations, so that documentation of the important processes can be accessible to anyone involved. Unfortunately, the value of this rich data source is hampered by the ...
    • Verifiable UML artifact-centric business process models 

      Calvanese, Diego; Montali, Marco; Estañol Lamarca, Montserrat; Teniente López, Ernest (ACM, 2014)
      Conference report
      Restricted access - publisher's policy
      Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process related)aspects. In particular, two main lines ...
    • Verifiable UML artifact-centric business process models (Extended Version) 

      Calvanese, Diego; Montali, Marco; Estañol Lamarca, Montserrat; Teniente López, Ernest (2014-08-21)
      External research report
      Open Access
      Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process related) aspects. In particular, two main lines ...