Sökning: "Formal modeling and Analysis"

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

1. 1. 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

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

   Författare :Ilia Bider; KTH; []
   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

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

   Författare :John Juston; Per-Erik Jansson; Georg Lindgren; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Modeling; uncertainty analysis; water balance; carbon balance; GLUE; Environmental engineering; 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

5. 4. 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

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

   Författare :Katja Tuma; Göteborgs universitet; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER