Skip to main content
  • Book
  • © 2004

Integration of Software Specification Techniques for Applications in Engineering

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

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (32 chapters)

  1. Front Matter

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

  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. Development of Hierarchical Broadcasting Software Architectures Using UML 2.0

      • Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy
      Pages 29-47
    3. 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
    4. 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. Executable HybridUML and Its Application to Train Control Systems

      • Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska
      Pages 145-173
    2. 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. Specification and Formal Verification of Temporal Properties of Production Automation Systems

      • Stephan Flake, Wolfgang Müller, Ulrich Pape, Jürgen Ruf
      Pages 206-226
    2. 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
    3. 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

Keywords

  • UML
  • Unified Modeling Language (UML)
  • control systems
  • engineering systems
  • formal specification
  • formal verification
  • modeling
  • petri net
  • petri nets
  • software architectures
  • software specification
  • specification languages
  • specification techniques
  • systems specification
  • traffic control systems

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, Compilers and Interpreters, Computer Science Logic and Foundations of Programming

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions