Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

To identify the emergent trends in software-intensive and distributed and decentralized computer systems and their impact on the Information Society in the next 10--15 years, the European Commission has established two Coordinated Actions: Initially the project `Beyond the Horizon' and then, starting in 2006, the project `InterLink'.

This state-of-the-art survey presents the results of three workshops of the InterLink working group on software-intensive systems and novel computing paradigms. The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges they present to computing, software engineering, cognition and intelligence.

The volume starts with an overview of the current state of the art and the research missions in engineering software-intensive systems. The remainder of the book consists of 15 invited papers of the working group participants and is structured in three major parts: ensemble engineering, theory and formal methods, and novel computing paradigms. These papers cover a broad spectrum of relevant topics ranging from methods, languages and tools for ensemble engineering, socio-technical and cyber-physical systems, ensembles in urban environments, formal methods and mathematical foundations for ensembles, orchestration languages to disruptive paradigms such as molecular and chemical computing.

Author(s): Matthias Hölzl, Axel Rauschmayer, Martin Wirsing (auth.), Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer (eds.)
Series: Lecture Notes in Computer Science 5380
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2008

Language: English
Pages: 267
Tags: Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Computer Communication Networks

Front Matter....Pages -
Engineering of Software-Intensive Systems: State of the Art and Research Challenges....Pages 1-44
Software Engineering for Ensembles....Pages 45-63
Change-Enabled Software Systems....Pages 64-79
On the Challenge of Engineering Socio-technical Systems....Pages 80-91
Design of Complex Cyber Physical Systems with Formalized Architectural Patterns....Pages 92-100
Cyber-Physical Systems and Events....Pages 101-115
Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts....Pages 116-131
Formal Ensemble Engineering....Pages 132-138
Structured Interacting Computations....Pages 139-145
Extending Formal Methods for Software-Intensive Systems....Pages 146-161
Ensemble Engineering and Emergence....Pages 162-178
Mathematical Support for Ensemble Engineering....Pages 179-189
Behaviour Equivalences in Timed Distributed π -Calculus....Pages 190-208
The Chemical Reaction Model Recent Developments and Prospects....Pages 209-234
Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems....Pages 235-254
Emerging Models of Computation: Directions in Molecular Computing....Pages 255-265
Back Matter....Pages -