Search for dissertations about: "Formal modeling and Analysis"

Showing result 1 - 5 of 51 swedish dissertations containing the words Formal modeling and Analysis.

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

   Author : Aida Čaušević; Paul Pettersson; Jonathan P. Bowen; Mälardalens högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; service-oriented software engineering; formal modeling; service-oriented systems; resources; analysis; behavior; correctness check; Computer science; 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

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

   Author : Ilia Bider; KTH; []
   Keywords : business process; dynamical system; formal semantics; persistent action; law-based programming; business analysis; business modeling; object-oriented modeling; conceptual modeling; workflow;

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

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

   Author : John Juston; Per-Erik Jansson; Georg Lindgren; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Modeling; uncertainty analysis; water balance; carbon balance; GLUE; Environmental engineering; Miljöteknik;

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

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

   Author : Aida Čaušević; Paul Pettersson; Cristina Seceleanu; Ina Schieferdecker; Mälardalens högskola; []
   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

7. 5. Efficiency and Automation in Threat Analysis of Software Systems

   Author : Katja Tuma; Göteborgs universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automation; Secure Software Design; Security Compliance; Threat Analysis Modeling ; Secure Software Design; Threat Analysis Modeling ; Automation; Security Compliance;

   Abstract : Context: Security is a growing concern in many organizations. Industries developing software systems plan for security early-on to minimize expensive code refactorings after deployment. In the design phase, teams of experts routinely analyze the system architecture and design to find potential security threats and flaws. READ MORE