Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results / Hartmut Ehrig |
Reference Case Study Production Automation / Engelbert WestkämperPart I: |
Basic Principles for Software Specification - Introduction to Subject Area Reference Case Study Production Automation / Matthias Bengel ; Katja Fischer |
Challenges of Next Generation Manufacturing Systems / Paul Valckenaers |
Development of Hierarchical Broadcasting Software Architectures Using UML 2.0 / Ingolf Krüger ; Wolfgang Prenninger ; Robert Sandner ; Manfred Broy |
An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems / Wilhelm Schäfer ; Robert Wagner ; Jürgen Gausemeier ; Raimund Eckes |
A Formal Component Concept for the Specification of Industrial Control Systems / Benjamin Braatz ; Markus Klein ; Gunnar Schröter |
Reference Case Study Traffic Control Systems / Eckehard SchniederPart II: |
Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems |
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 |
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 |
Executable HybridUML and Its Application to Train Control Systems / Kirsten Berkenkötter ; Stefan Bisanz ; Ulrich Hannemann ; Jan Peleska |
The Use of UML for Development of a Railway Interlocking System / Karol Rástočný ; Aleš Janota ; Jiří Zahradník |
Petri Nets and Related Approaches in Engineering / Jörg DeselPart III: |
Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering |
Specification and Formal Verification of Temporal Properties of Production Automation Systems / Stephan Flake ; Wolfgang Müller ; Ulrich Pape ; Jürgen Ruf |
STOP - Specification Technique of Operational Processes / Stefan Einer |
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks / Lars Michael Kristensen ; Kurt Jensen |
A Guide to Modelling and Control with Modules of Signal Nets / Hans-Michael Hanisch ; Gabriel Juhás ; Robert Lorenz ; Christian Neumair |
Conceptual Design of an Engineering Model for Product and Plant Automation / K. Fischer ; P. Göhner ; F. Gutbrodt ; U. Katzke ; B. Vogel-Heuser |
Charts / Werner DammPart IV: |
Introduction to Subject Area "Charts" / Bernd Westphal |
The Rhapsody Semantics of Statecharts / David Harel ; Hillel Kugler |
Interactive Verification of Statecharts / Andreas Thums ; Gerhard Schellhorn ; Frank Ortmeier ; Wolfgang Reif |
Live Sequence Charts / Matthias Brill ; Jochen Klose ; Hartmut Wittke |
A Unifying Semantics for Sequential Function Charts / Nanette Bauer ; Ralf Huuck ; Ben Lukoschus ; Sebastian Engell |
Verification / Part V: |
Introduction to Subject Area "Verification" |
"UML-ising" Formal Techniques / Dines Bjørner ; Chris W. George ; Anne E. Haxthausen ; Christian Krog Madsen ; Steffen Holmslykke ; Martin Pěnička |
Model Based Formal Verification of Distributed Production Control Systems / Martin Kardos ; Franz-J. Rammig |
Combining Formal Methods and Safety Analysis - The ForMoSA Approach |
Formal Verification of LSCs in the Development Process / Ralf Buschermöhle |
Verification of PLC Programs Given as Sequential Function Charts / Sven Lohmann ; Manuel Remelhe ; Olaf Stursberg |
Modeling and Formal Verification of Production Automation Systems / Roland J. Weiss ; Thomas Kropf ; Wolfgang Rosenstiel |
Integration Modelling / Martin Große-RhodePart VI: |
On Model Integration and Integration Modelling - Introduction to the Subject Area Integration Modelling |
On the Integration of Modular Heterogeneous Specifications / Fernando Orejas ; Elvira Pino |
Semantical Integration of Object-Oriented Viewpoint Specification Techniques |
Author Index |
Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results / Hartmut Ehrig |
Reference Case Study Production Automation / Engelbert WestkämperPart I: |
Basic Principles for Software Specification - Introduction to Subject Area Reference Case Study Production Automation / Matthias Bengel ; Katja Fischer |