Logo des Repositoriums

P147 - Business Process, Services Computing and Intelligent Service Management 2009

Autor*innen mit den meisten Dokumenten  

Auflistung nach:

Neueste Veröffentlichungen

1 - 10 von 25
  • Konferenzbeitrag
    On application of structural decomposition for process model abstraction
    (Business process, services – computing and intelligent service management, 2009) Polyvyanyy, Artem; Smirnov, Sergey; Weske, Mathias
    Real world business process models may consist of hundreds of elements and have sophisticated structure. Although there are tasks where such models are valuable and appreciated, in general complexity has a negative influence on model comprehension and analysis. Thus, means for managing the complexity of process models are needed. One approach is abstraction of business process models-creation of a process model which preserves the main features of the initial elaborate process model, but leaves out insignificant details. In this paper we study the structural aspects of process model abstraction and introduce an abstraction approach based on process structure trees (PST). The developed approach assures that the abstracted process model preserves the ordering constraints of the initial model. It surpasses pattern-based process model abstraction approaches, allowing to handle graph-structured process models of arbitrary structure. We also provide an evaluation of the proposed approach.
  • Konferenzbeitrag
    Validating auction business processes using agent-based simulations
    (Business process, services – computing and intelligent service management, 2009) Pascalau, Emilian; Giurca, Adrian; Wagner, Gerd
    Business Process Modeling and particularly modeling business processes as collaborations is one of the challenges of today enterprise software development. The industry of software development becomes more and more expensive making crucial a correct translation from business idea to implementation to allow for a complete understanding and complete exchange of information between development participants. Particularly, large established software infrastructures are critical with respect to the integration of new components. In this paper, we describe an automated mapping from Single Item English Auction BPMN model to an Agent-Object Relationship simulation towards validation of this business process. The mapping underlines the capabilities of agent-based simulations to execute business processes as well as a number of open questions with respect of BPMN collaboration models.
  • Konferenzbeitrag
    On modeling "web-service-based" processes for healthcare
    (Business process, services – computing and intelligent service management, 2009) Rad, Amir Afrasiabi; Benyoucef, Morad; Kuziemsky, Craig E.
    In terms of business process-modeling, healthcare is a rather complex sector of activity. Indeed, modeling healthcare processes presents some special requirements dictated by the complex and dynamic nature of these processes as well as by the specificity and diversity of the actors involved in these processes. We discuss these requirements and propose a framework for evaluating processmodeling languages based on such requirements. The proposed evaluation framework is tested using BPEL and BPMN to model a complex healthcare process and the results of the evaluation are highlighted.
  • Konferenzbeitrag
    Human activities in distributed BPM
    (Business process, services – computing and intelligent service management, 2009) Takayama, Yoichi; Ghiglione, Ernie; Wilson, Scott; Dalziel, James
    The general concept of inter-workflow system communications has been proposed by the WfMC in 1995. However, there has been little study or use case on general inter-workflow system communications, except for business massage exchange-based protocols. Since BPEL allows a local system to invoke remote BPEL Processes via Web Service interface, this can be used as a mechanism for inter-workflow communications for BPEL Processes. Currently, however, it causes a problem if the remote BPEL Processes use BPEL4Peole extension and include People Activities and Human Tasks. This is because BPEL4People has not anticipated Processes to be called remotely and there is no provision for the remote invocation of the user interfaces. This paper studies a possible mechanism in which a local system can invoke a remote BPEL Process with Human Tasks and let local users perform human activities via user interfaces that are defined in the remote Human Tasks.
  • Konferenzbeitrag
    Verifying business rules using an SMT solver for BPEL processes
    (Business process, services – computing and intelligent service management, 2009) Monakova, Ganna; Kopp, Oliver; Leymann, Frank; Moser, Simon; Schäfers, Klaus
    WS-BPEL is the standard for modelling executable business processes. Recently, verification of BPEL processes has been an important topic in the research community. While most of the existing approaches for BPEL process verification merely consider control-flow based analysis, some actually consider data-flows, but only in a very restrictive manner. In this paper, we present a novel approach that combines control-flow analysis and data-flow analysis, producing a logical representation of a process model. This logical representation captures the relations between process variables and execution paths that allow properties to be verified using Satisfiability Modulo Theory (SMT) solvers under constraints represented by the modelled assertions.
  • Konferenzbeitrag
    Concept-driven engineering for supporting different views of models
    (Business process, services – computing and intelligent service management, 2009) Schmidt, Peggy
    This paper investigates the the development and evolution of concepts and the management of transformers, which adds semantics to the concepts. We illustrate how concepts, their variants and transformers can be developed via cooperation.
  • Konferenzbeitrag
    Evolution of business process models and languages
    (Business process, services – computing and intelligent service management, 2009) Jablonski, Stefan; Volz, Bernhard; Dornstauder, Sebastian
    The only constant is change' is an often cited phrase. We regard it as predominant for the area of process based information systems. In this paper we investigate how evolution of process based information systems can be supported by a process modeling framework that easily can be adjusted to changing requirements of an application domain. Our key contribution is the provision of a system infrastructure that supports the adaptation of both process modeling languages and process models to evolving application requirements. Our approach is based on a multi level meta modeling framework.
  • Konferenzbeitrag
    Modelling and solving configuration problems on business processes using a multi-level constraint satisfaction approach
    (Business process, services – computing and intelligent service management, 2009) Runte, Wolfgang
    In this paper we present our ideas to apply constraint satisfaction on business processes. We propose a multi-level constraint satisfaction approach to handle different levels of abstraction in business process modelling.
  • Konferenzbeitrag
    Modelling critical success factors in mCommerce-programs
    (Business process, services – computing and intelligent service management, 2009) Rusnjak, Andreas
    Actual developments and trends on Mobile Commerce are prompting more and more companies or startups in dislocating or positioning their business model in this attractive market. To be successful, it is necessary to know about the own strengths and weaknesses, about customers, competitors and critical success factors. The goal of this thesis is to provide a contribution about considering pertinent critical success factors during the modeling of business processes or verifying existing business processes to the existence of critical success factors.