Search for dissertations about: "executable processes"
Showing result 1 - 5 of 8 swedish dissertations containing the words executable processes.
-
1. Service-based Processes : Design for business and technology
Abstract : The concepts of processes and services can be used to structure both businesses and software systems. From a business perspective, the use of processes promises efficient management of organizations. READ MORE
-
2. From LOTOS specifications to distributed implementations
Abstract : This Thesis presents a technique for automatic generation of implementations from their formal LOTOS specifications. The technique focuses on implementations executing in distributed systems where processes communicate by asynchronous message passing. Implementations are specified in an executable subset of LOTOS. READ MORE
-
3. Model management for computational system design
Abstract : Computational system design is as an area within engineering design that to a large extent is based on simulation models together with tools and methods for analysis and design. This area is becoming increasingly important for providing information to designers and decision makers early in the design process, and enabling qualitative decisions to be made. READ MORE
-
4. Advancing concurrent system verification : Type based approach and tools
Abstract : Concurrent systems, i.e., systems of parallel processes, are nearly ubiquitous and verifying the correctness of such systems is becoming an important subject. Many formalisms were invented for such purpose, however, new types of systems are introduced and there is a need for handling larger systems. READ MORE
-
5. A Petri net based unified representation for hardware/software co-design
Abstract : This thesis describes and defines a design representation model for hardware/software co-design. To illustrate its usefulness we show how designs captured in the representation can be repartitioned by moving functionality between hardware and software. READ MORE