Skip to main content
SpringerLink
Log in

Integration of Software Specification Techniques for Applications in Engineering

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

  • Book
  • © 2004

Overview

Editors:
  1. Hartmut Ehrig

    1. Technische Universität Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Werner Damm

    1. OFFIS e.V., Oldenburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jörg Desel

    1. Department of Applied Computer Science, Catholic University of Eichstätt-Ingolstadt,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Martin Große-Rhode

    1. Fraunhofer ISST Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Wolfgang Reif

    1. Lehrstuhl für Softwaretechnik und Programmiersprachen Institut für Informatik, Universität Augsburg, Augsburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. Eckehard Schnieder

    1. Institute for Traffic Safety and Automation Engineering, Technical University of Braunschweig, Braunschweig, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  7. Engelbert Westkämper

    1. Institute of Industrial Manufacturing and Management (IFF), University of Stuttgart, Stuttgart, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3147)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 chapters)

  1. Front Matter

    Download chapter PDF

  2. Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results

    1. Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results

      • Hartmut Ehrig
      Pages 1-8

  3. Part I: Reference Case Study Production Automation

    1. Basic Principles for Software Specification

      • Engelbert Westkämper, Matthias Bengel, Katja Fischer
      Pages 9-22

    2. Challenges of Next Generation Manufacturing Systems

      • Paul Valckenaers
      Pages 23-28

    3. Development of Hierarchical Broadcasting Software Architectures Using UML 2.0

      • Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy
      Pages 29-47

    4. An Engineer’s Workstation to Support Integrated Development of Flexible Production Control Systems

      • Wilhelm Schäfer, Robert Wagner, Jürgen Gausemeier, Raimund Eckes
      Pages 48-68

    5. A Formal Component Concept for the Specification of Industrial Control Systems

      • Benjamin Braatz, Markus Klein, Gunnar Schröter, Matthias Bengel
      Pages 69-88

  4. Part II: Reference Case Study Traffic Control Systems

    1. Specification Methodology, Case Studies, and Experiments – An Introduction to the Subject Area of Traffic Control Systems

      • Eckehard Schnieder
      Pages 89-95

    2. Reference Case Study “Traffic Control Systems” for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator

      • Frank Hänsel, Jan Poliak, Roman Slovák, Eckehard Schnieder
      Pages 96-118

    3. Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements

      • Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen
      Pages 119-144

    4. Executable HybridUML and Its Application to Train Control Systems

      • Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska
      Pages 145-173

    5. The Use of UML for Development of a Railway Interlocking System

      • Karol Rástočný, Aleš Janota, Jiří Zahradník
      Pages 174-198

  5. Part III: Petri Nets and Related Approaches in Engineering

    1. Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering

      • Jörg Desel
      Pages 199-205

    2. Specification and Formal Verification of Temporal Properties of Production Automation Systems

      • Stephan Flake, Wolfgang Müller, Ulrich Pape, Jürgen Ruf
      Pages 206-226

    3. STOP – Specification Technique of Operational Processes

      • Stefan Einer
      Pages 227-247

    4. Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks

      • Lars Michael Kristensen, Kurt Jensen
      Pages 248-269

    5. A Guide to Modelling and Control with Modules of Signal Nets

      • Jörg Desel, Hans-Michael Hanisch, Gabriel Juhás, Robert Lorenz, Christian Neumair
      Pages 270-300

    6. Conceptual Design of an Engineering Model for Product and Plant Automation

      • K. Fischer, P. Göhner, F. Gutbrodt, U. Katzke, B. Vogel-Heuser
      Pages 301-321

  6. Part IV: Charts

    1. Introduction to Subject Area “Charts”

      • Werner Damm, Bernd Westphal
      Pages 322-324

    2. The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML)

      • David Harel, Hillel Kugler
      Pages 325-354
Back to top

Keywords

Editors and Affiliations

  • Technische Universität Berlin, Germany

    Hartmut Ehrig

  • OFFIS e.V., Oldenburg, Germany

    Werner Damm

  • Department of Applied Computer Science, Catholic University of Eichstätt-Ingolstadt,  

    Jörg Desel

  • Fraunhofer ISST Berlin, Germany

    Martin Große-Rhode

  • Lehrstuhl für Softwaretechnik und Programmiersprachen Institut für Informatik, Universität Augsburg, Augsburg, Germany

    Wolfgang Reif

  • Institute for Traffic Safety and Automation Engineering, Technical University of Braunschweig, Braunschweig, Germany

    Eckehard Schnieder

  • Institute of Industrial Manufacturing and Management (IFF), University of Stuttgart, Stuttgart, Germany

    Engelbert Westkämper

Bibliographic Information

  • Book Title: Integration of Software Specification Techniques for Applications in Engineering

  • Book Subtitle: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report

  • Editors: Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/b100778

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2004

  • Softcover ISBN: 978-3-540-23135-6Published: 22 September 2004

  • eBook ISBN: 978-3-540-27863-4Published: 05 April 2011

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 630

  • Topics: Software Engineering, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs

Publish with us

Policies and ethics

Back to top

Search

Navigation