Sökning: "Service Composition"

Visar resultat 1 - 5 av 98 avhandlingar innehållade orden Service Composition.

  1. 1. Formal Approaches for Behavioral Modeling and Analysis of Design-time Services and Service Negotiations

    Författare :Aida Čaušević; Paul Pettersson; Cristina Seceleanu; Ina Schieferdecker; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Service-Oriented Systems; Formal modeling and Analysis; Service; Service Composition; Service Negotiation; Computer Science; datavetenskap;

    Sammanfattning : During the past decade service-orientation has become a popular design paradigm, offering an approach in which services are the functional building blocks. Services are self-contained units of composition, built to be invoked, composed, and destroyed on (user) demand. LÄS MER

  3. 2. Formal Approaches to Service-oriented Design : From Behavioral Modeling to Service Analysis

    Författare :Aida Čaušević; Paul Pettersson; Jonathan P. Bowen; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; service-oriented software engineering; formal modeling; service-oriented systems; resources; analysis; behavior; correctness check; Computer science; Datavetenskap; Computer Science; datavetenskap;

    Sammanfattning : Service-oriented systems (SOS) have recently emerged as context-independent component-based systems. In contrast to components, services can be created, invoked, composed and destroyed at run-time. Services are assumed to be platform independent and available for use within heterogeneous applications. LÄS MER

  4. 3. Runtime Service Composition via Logic-Based Program Synthesis

    Författare :Sven Lämmermann; KTH; []
    Nyckelord :service composition; logic-based program synthesis; intuitionistic logic; natural deduction; specification; Java;

    Sammanfattning : .... LÄS MER

  5. 4. Web Service Ontology Learning, Analysis and Usage for Service Selection and Composition

    Författare :Shahab Mokarizadeh; Mihhail Matskin; John Dominigue; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : .... LÄS MER

  7. 5. Energy Storage Systems in Electrical Distribution Grids : Analysis and implementations of use cases for service stacking

    Författare :Johannes Hjalmarsson; Cecilia Boström; Karin Thomas; Louise Ödlund; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; ancillary services; congestion management; distribution grids; energy storage systems; scheduling optimization; service stacking.;

    Sammanfattning : This Ph.D. thesis investigates the possibility of using energy storage systems for multiple services by implementing service stacking, with special emphasis on congestion management in distribution grids. LÄS MER