Search for dissertations about: "formal modeling"

Showing result 1 - 5 of 86 swedish dissertations containing the words formal modeling.

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

4. 2. 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 : NATURAL SCIENCES; NATURVETENSKAP; 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

5. 3. Formal Methods and Safety for Automated Vehicles: Modeling, Abstractions, and Synthesis of Tactical Planners

   Author : Jonas Krook; Chalmers University of Technology; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; formal synthesis; tactical planning; safety case; automatic abstraction.; formal verification; automated vehicles; reactive synthesis; model checking; Formal methods; supervisory control theory;

   Abstract : One goal of developing automated road vehicles is to completely free people from driving tasks. Automated vehicles with no human driver must handle all traffic situations that human drivers are expected to handle, possibly more. READ MORE

6. 4. Design and Implementation of Object-Oriented Model Libraries using Modelica

   Author : Hubertus Tummescheit; Institutionen för reglerteknik; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; modeling languages; thermo-fluid systems; process modeling; process control; control systems; thermo-hydraulic systems; non-linear models; model library design; object-oriented; modeling; simulation; Automation; robotics; control engineering; Automatiska system; robotteknik; reglerteknik;

   Abstract : This thesis describes basic models for thermo-fluid systems and the implementation of the models using a flexible object-oriented structure in the ThermoFluid library. Model libraries provide an excellent way to package engineering knowledge of systems to be reused by non-experts. READ MORE

7. 5. On Formal Methods in Development of Control Logic Using IEC 61499

   Author : Goran Cengic; Chalmers University of Technology; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Modeling; Synthesis; Verification; Formal Methods; Supervisory Control Theory; IEC 61499; Control Logic Development;

   Abstract : In the present global economy the manufacturing industry is faced with the challenges that need to be overcome in order to remain competitive and avoid outsourcing. One of the challenges is the efficient development of the control logicfor the distributed control systems that are often used to control the manufacturing equipment in the industry. READ MORE