Search for dissertations about: "Aida Causevic"

Found 2 swedish dissertations containing the words Aida Causevic.

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

    University dissertation from Västerås : Mälardalen University

    Author : Aida Čaušević; Mälardalens högskola.; [2014]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Service-Oriented Systems; Formal modeling and Analysis; Service; Service Composition; Service Negotiation; Computer Science; datavetenskap;

    Abstract : 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. READ MORE

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

    University dissertation from Västerås : Mälardalen University

    Author : Aida Čaušević; Mälardalens högskola.; [2011]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; service-oriented software engineering; formal modeling; service-oriented systems; resources; analysis; behavior; correctness check; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap; Computer Science; datavetenskap;

    Abstract : 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. READ MORE