Logo des Repositoriums

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

https://dl.gi.de/handle/20.500.12116/23224
Auflistung nach:

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

Zu einem Punkt im Index springen:
1 - 10 von 25
  • 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.
  • Konferenzbeitrag
    Maintaining WS-BPEL workflows using aspects
    (Business process, services – computing and intelligent service management, 2009) Bao, Connie Haoying; Gold, Nicolas; Harman, Mark
    In Service Oriented systems organisational processes are represented as WS-BPEL workflows, WS-BPEL is different from traditional workflow languages as a hybrid of block-based and graph-based language; it also has limited support for separation of concerns. Changes to such processes usually impact many places in the underlying system, without separating such cross-cutting concerns system maintenance is therefore difficult. This work proposed an Aspect Oriented solution to maintaining WS-BPEL workflows using meta-model transformation.
  • 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
    FinGrid accounting and billing
    (Business process, services – computing and intelligent service management, 2009) Haitof, Houssam; Wehle, Hans-Dieter; Gerndt, Michael
    For a commercial entity to entrust the Grid for its business operations either as a consumer or a provider of resources, mechanisms that would guarantee its interests need to be implemented. Especially resource usage tracking and billing. In this paper, we present our experience with designing and building an autonomic accounting and billing system for the Financial Grid (FinGrid). We used a service oriented architecture for FinGrid, we relied on open standards and recommendations for our accounting system and on knowledge representation and reasoning to model our billing infrastructure.
  • Konferenzbeitrag
    Towards a service-oriented and model-driven framework with business processes as first-class citizens
    (Business process, services – computing and intelligent service management, 2009) Delgado, Andrea; Ruiz, Francisco; García-Rodríguez de Guzmán, Ignacio; Piattini, Mario
    One challenge that organizations face nowadays is to agilely react to changes in their business, adapting their business processes and technologies to new possibilities. To do so, organizations must be capable of separating the definition of their business processes from their technical implementation, which most are currently streaky. Applying the Service Oriented Computing (SOC) and Business Process Management (BPM) paradigms in conjunction, is an important but not trivial, step to take, involving different visions of business and technological challenges. The Model Driven Development (MDD) paradigm is also applied to serve as a bridge between business process models and technical models of the software to implement them. In this paper, the further work done on a service oriented methodology defined years ago is presented, considering business processes as the centre of software development. From business process models, software services are derived in a straightforward way, which will be automated by model transformations using the OMG service profile.
  • Konferenzbeitrag
    A conceptual information model for service management dimensions
    (Business process, services – computing and intelligent service management, 2009) Belter, Roman; Kluge, Rolf; Hering, Thomas; Müller, Holger
    Service-oriented Computing (SOC) is known as the leading paradigm for the creation of agile and flexible enterprise IT infrastructures. The implementation of enterprise-wide Service-oriented Architectures (SOA) is a complex task. In most cases, more evolutionary approaches are used to deal with the arising complexity. However most of the design methodologies and implementation strategies focus on more technical, service realization specific aspects. Challenges regarding the definition and the management of related service artifacts throughout the whole service lifecycle are neglected. Also the implementation of a lifecycle-encompassing information management infrastructure is not addressed adequately in research and industry. In this paper we introduce different stakeholder roles and their information requirements as well as their influence on services within the lifecycle. Furthermore, this paper proposes a common service management information model (coSIM) that builds a foundation for the management of services and service infrastructures during design-, run- , and change-time.
  • 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.
  • Editiertes Buch
  • Konferenzbeitrag
    Detective information flow analysis for business processes
    (Business process, services – computing and intelligent service management, 2009) Accorsi, Rafael; Wonnemann, Claus
    We report on ongoing work towards a posteriori detection of illegal information flows for business processes, focusing on the challenges involved in doing so. Resembling a forensic investigation, our approach aims at analyzing the audit trails resultant from the execution of the business processes, locating informations flows that violate the (non-functional) requirements stipulated by security policies. The goal is to obtain fine-grained evidence of policy compliance with respect to information flows.