P147 - Business Process, Services Computing and Intelligent Service Management 2009
Autor*innen mit den meisten Dokumenten
Auflistung nach:
Neueste Veröffentlichungen
- KonferenzbeitragHuman activities in distributed BPM(Business process, services – computing and intelligent service management, 2009) Takayama, Yoichi; Ghiglione, Ernie; Wilson, Scott; Dalziel, JamesThe 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.
- KonferenzbeitragVerifying 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, KlausWS-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.
- KonferenzbeitragOn 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.
- KonferenzbeitragValidating auction business processes using agent-based simulations(Business process, services – computing and intelligent service management, 2009) Pascalau, Emilian; Giurca, Adrian; Wagner, GerdBusiness 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.
- KonferenzbeitragOn application of structural decomposition for process model abstraction(Business process, services – computing and intelligent service management, 2009) Polyvyanyy, Artem; Smirnov, Sergey; Weske, MathiasReal 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.
- KonferenzbeitragModelling critical success factors in mCommerce-programs(Business process, services – computing and intelligent service management, 2009) Rusnjak, AndreasActual 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.
- Editiertes Buch
- KonferenzbeitragModelling and solving configuration problems on business processes using a multi-level constraint satisfaction approach(Business process, services – computing and intelligent service management, 2009) Runte, WolfgangIn 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.
- KonferenzbeitragA semantic framework for compliance management in business process management(Business process, services – computing and intelligent service management, 2009) Kharbili, Marwane el; Pulvermüller, ElkeIn process-centric enterprises, business processes (BPs) are at the center of value-creating activities. Governing enterprise BPs requires the ability to control and guide BP behavior. Ensuring compliance of processes to legal regulations and strategy directives becomes a critical requirement. Implementing business process compliance makes means for modeling and enforcing compliance measures necessary. In this work, we motivate the need for automation and semantic consistency in compliance management and defend the use of policies for this purpose. We then propose a policy-based framework for business process compliance management and further detail its architecture as part of the SUPER research project on semantic business process management (SBPM). Finally, we introduce the ontology stack we propose for compliance modeling and conclude by an investigation of the main challenges ahead in order to provide an implementation of the proposed framework. This work seeks to lay down the fundaments of a comprehensive architecture for semantic compliance modeling and enforcement in the context of BPM.
- KonferenzbeitragGenerating WS-SecurityPolicy documents via security model transformation(Business process, services – computing and intelligent service management, 2009) Jensen, MeikoWhen SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable security definition compared to manually crafting the security realizations afterwards. In this paper, we outline an appropriate security model definition and transformation approach, targeting the WS-SecurityPolicy and WS-BPEL specifications, in order to enable a Web-Service-based secure business process development.
- «
- 1 (current)
- 2
- 3
- »