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 Titel

1 - 10 von 25
  • Konferenzbeitrag
    An approach for semantic checks of process models
    (Business process, services – computing and intelligent service management, 2009) Feja, Sven
    This paper presents an approach for using model checking for process models and workflows. The approach allows it to graphically state semantic validation rules on the level of processes. This enables the process modeler to use model checking techniques to get higher quality models for the further software development process.
  • Editiertes Buch
  • Konferenzbeitrag
    A case study on managing slas in composite services with COSMA
    (Business process, services – computing and intelligent service management, 2009) Ludwig, André; Hering, Thomas; Kluge, Rolf; Franczyk, Bogdan
    COSMA proposes a novel SLA management approach for composite services. It supports a composite service provider in managing SLAs with providers of atomic services, in managing SLAs with requesters of composite services, and aligning both SLA management activities with each other. On this basis, a composite service provider can control and optimize its composite SLA management activities during the entire SLA lifecycle. This includes, in particular, planning and negotiating SLAs, monitoring and evaluating SLAs. In this paper, a case study on managing SLAs in composite services with the COSMA approach is presented in detail.
  • 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
    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
    Declarative workflow modeling with UML class diagrams and OCL
    (Business process, services – computing and intelligent service management, 2009) Brüning, Jens
    This paper describes an approach of modeling workflows with UML class diagrams and OCL constraints [OCL06] in a declarative way. These are modeled in the UML tool USE [USE08] that can generate object diagrams (snapshots) out of UML class diagrams. USE checks specified OCL constraints against the generated snapshots. With the declarative workflow modeling approach presented here, activity model states are integrated in the object model states. By analyzing these snapshots the model is validated against requirements.
  • 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.
  • 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
    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
    A formal temporal semantics for microsoft project based on Allen's interval algebra
    (Business process, services – computing and intelligent service management, 2009) Gagné, Denis; Trudel, André
    Process modeling systems are complex and difficult to compare. A key attribute of any process modeling formalism or tool is time which involves how it handles and represents temporal dependencies and constraints. We are interested in doing a temporal based comparison between process modeling formalisms and tools by first converting them to a common representation. The temporal representation chosen is Allen's interval algebra. In this paper, we explain how to convert a project specified in Microsoft Project to a set of logical formulas. This conversion provides a formal temporal semantics for Microsoft Project.