Hartmut Ehrig

Engelbert Westkämper

Jörg Desel

Werner Damm

Wolfgang Reif

Eckehard Schnieder

Martin Große-Rhode

This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004. The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modeling.

Priority Program SoftSpez of the German Research Foundation (DFG) Final Report

Integration of Software Specification Techniques for Applications in Engineering

Elisabeth André

Theo Ungerer

Gerrit Anders

Hella Seebach

Jan-Philipp Steghöfer

Jörg Hähner

Christian Müller-Schloer

This book treats the computational use of social concepts as the focal point for the realisation of a novel class of socio-technical systems, comprising smart grids, public display environments, and grid computing. These systems are composed of technical and human constituents that interact with each other in an open environment. Heterogeneity, large scale, and uncertainty in the behaviour of the constituents and the environment are the rule rather than the exception. Ensuring the trustworthiness of such systems allows their technical constituents to interact with each other in a reliable, secure, and predictable way while their human users are able to understand and control them. "Trustworthy Open Self-Organising Systems" contains a wealth of knowledge, from trustworthy self-organisation mechanisms, to trust models, methods to measure a user's trust in a system, a discussion of social concepts beyond trust, and insights into the impact open self-organising systems will have on society.

Trustworthy Open Self-Organising Systems

Wolfgang Reif

Books

Your next favorite book is out there