Logo des Repositoriums

Auflistung nach Autor:in "Simon, Carlo"

1 - 6 von 6
  • Zeitschriftenartikel
    A Case-Study to Teach Process-Aware Information Systems.
    (EMISA Forum: Vol. 40, No. 1, 2020) Simon, Carlo; Haag, Stefan
  • Konferenz-Abstract
    Extracting Models from Text - A Research Agenda.
    (EMISA 2022, 2022) Haag, Stefan; Simon, Carlo
  • Konferenzbeitrag
    From business process fragments to workflow definitions
    (EMISA 2004 – Informationssysteme im E-Business und E-Government, Beiträge des Workshops der GI-Fachgruppe EMISA (Entwicklungsmethoden für Informationssysteme und deren Anwendung), 2004) Simon, Carlo; Dehnert, Juliane
    The use of Workflow Management Systems allows to automate numerous Business Processes within companies. For this, workflow definitions as executable derivates of business process descriptions must be formulated in a formal specification language. For both - the less formal descriptions of business processes and the workflow definitions - Petri net based approaches are widely used and well understood. In this paper, we study the process of deriving workflow definitions from less formal business process descriptions and even fragments of such descriptions and how to satisfy the correctness of these models among each other.
  • Konferenzbeitrag
    Incremental development of business process models
    (Enterprise modelling and information systems architectures, 2005) Simon, Carlo
    The purpose of formal and so called semi-formal approaches to business process modeling is to provide a general technique for the development of workflow based information systems. For this, a concise and repeatable transformation of initial requirements into the final system must be achieved. Moreover, there is also a need for complex models to include justifications that explain the meaning and purpose of each component of the entire model. However, this is not sufficiently supported by current graphical methods. This paper therefore introduces a formal language for process modeling which allows incremental development, graphical visualization of the model, and adding justifications to the model.
  • Zeitschriftenartikel
    Showing the Advantages of Pull over Push Production with the Aid of Petri Nets (Extended Abstract)
    (EMISA Forum: Vol. 41, No. 1, 2021) Simon, Carlo; Haag, Stefan; Zakfeld, Lara
  • Konferenzbeitrag
    Verification of forbidden behavior in EPCs
    (Modellierung 2006, 2006) Simon, Carlo; Mendling, Jan
    Event-driven process chains (EPCs) are frequently used as a modeling language for the representation of business processes. As such, business analysts are familiar with using EPC models in the context of business process management. Up to now, there is no verification technique available that allows business analysts to express forbidden behavior in an intuitive manner. In this paper, we discuss the specification of such forbidden behavior with the aid of EPCs and demonstrate the verification of this behavior against models of the desired behavior, also formulated as EPC diagrams. For this purpose, a novel approach to join EPC models and to interpret the result is discussed. It is based on a transformation of both EPC models to Module nets, a specific kind of Petri nets, and the application of verification methods already defined for this net class. The findings are illustrated with a running example that picks up an EPC process model from the SAP reference model.