Sökning: "Formal modeling and Analysis"

Visar resultat 1 - 5 av 38 avhandlingar innehållade orden Formal modeling and Analysis.

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

    Detta är en avhandling från Västerås : Mälardalen University

    Författare :Aida Čaušević; Mälardalens högskola.; [2011]
    Nyckelord :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;

    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

  2. 2. State-Oriented Business Process Modeling Principles, Theory and Practice

    Detta är en avhandling från Kista : Data- och systemvetenskap

    Författare :Ilia Bider; KTH.; [2002]
    Nyckelord :business process; dynamical system; formal semantics; persistent action; law-based programming; business analysis; business modeling; object-oriented modeling; conceptual modeling; workflow;

    Sammanfattning : In the last 50 years, a considerable amount of research workhas been completed in the mathematical system theory and theoryof control. Implementation of the results from this researchinto practice has drastically decreased the production costs.Most production processes are highly automated, and the use ofrobots in industry is growing. LÄS MER

  3. 3. Water and Carbon Balance Modeling: Methods of Uncertainty Analysis

    Detta är en avhandling från Stockholm : KTH Royal Institute of Technology

    Författare :John Juston; KTH.; [2010]
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Modeling; uncertainty analysis; water balance; carbon balance; GLUE; TECHNOLOGY Other technology Environmental engineering; TEKNIKVETENSKAP Övriga teknikvetenskaper Miljöteknik;

    Sammanfattning : How do additional data of the same and/or different type contribute to reducing model parameter and predictive uncertainties? This was the question addressed with two models – the HBV hydrological water balance model and the ICBM soil carbon balance model – that were used to investigate the usefulness of the Generalized Likelihood Uncertainty Estimation (GLUE) method for calibrations and uncertainty analyses.  The GLUE method is based on threshold screening of Monte Carlo simulations using so-called informal likelihood measures and subjective acceptance criterion. LÄS MER

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

    Detta är en avhandling från Västerås : Mälardalen University

    Författare :Aida Čaušević; Mälardalens högskola.; [2014]
    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

  5. 5. Driver modeling: Data collection, model analysis, and optimization

    Detta är en avhandling från Västerås : Mälardalen University

    Författare :Ola Benderius; [2012]
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; driving simulator; driver modeling; stochastic optimization; simulation software; genetic algorithm;

    Sammanfattning : This thesis concerns aspects of driver modeling, with an emphasis on critical near-crash scenarios, involving time spans of around 10 s of driving. Here,driver modeling has been studied using both computer simulations and experiments carried out in a high-fidelity driving simulator. LÄS MER