Logo des Repositoriums

Auflistung nach Autor:in "Puhlmann, Frank"

1 - 3 von 3
  • Konferenzbeitrag
    A Unified Formal Foundation for Service Oriented Architectures
    (EMISA 2006 – Methoden, Konzepte und Technologien für die Entwicklung von dienstbasierten Informationssystemen – Beiträge des Workshops der GI-Fachgruppe EMISA (Entwicklungsmethoden für Informationssystemeund deren Anwendung), 2006) Puhlmann, Frank
    This paper summarizes how an algebra for mobile systems, the π-calculus, can be applied as unified formal foundation to service oriented architectures (SOA). The concepts accounted are orchestrations including data and processes, as well as choreographies consisting of interacting processes. Since SOAs incorporate agile binding of interaction partners, static process structures as found in Petri nets are not sufficient for completely representing orchestrations and choreographies. The π-calculus, in contrast, inherently supports link passing mobility required for agile interacting processes.
  • Konferenzbeitrag
    Variability mechanisms in e-business process families
    (Business Information Systems – 9th International Conference on Business Information Systems (BIS 2006), 2006) Schnieders, Arnd; Puhlmann, Frank
    Nowadays, process oriented software systems, like many business information systems, don't exist only in one single version, but in many variants for better coverage of the target market. Until now, the corresponding customization has to be done manually, which is a timeconsuming and error-prone task, which could be realized much more efficiently by applying process family engineering techniques. Process family engineering is a modern software development approach, which allows for the rapid and cost-effective development and deployment of customer tailored process oriented systems. In this paper we present our findings in the area of process family architectures for e-business systems, described as variant-rich process models in the Business Process Modeling Notation. We moreover address variability implementation issues using Java variability mechanisms and code generators.
  • Konferenzbeitrag
    Why do we actually need the Pi-calculus for business process management?
    (Business Information Systems – 9th International Conference on Business Information Systems (BIS 2006), 2006) Puhlmann, Frank
    This paper discusses the applicability of a process algebra, the π-calculus, as a formal foundation for Business Process Management (BPM). We therefore investigate the π-calculus from a technical viewpoint based on current work in this area. The paper summarizes shifting requirements and discusses evolving theories behind BPM from the past over state-of-the-art to the future. The concepts and theories are concluded by an illustrating example highlighting why the π-calculus is a promising foundation for future BPM.