Paper Info
Title
Modeling Railway Control Systems Using Graph Grammars: A Case Study
Abstract
In this paper we develop in three phases a railway control system following the requirements of [2]. We are mainly concerned with the software architecture of the control system and its dynamic evolution; we do not discuss here the implementation details of the components forming the control system. First, we informally discuss our design proposal for the architecture of the control system: a hierarchy of controllers whose leaves are local controllers connected in a network that mimics the underlying railway topology. Second, we formally define by means of particular graph grammars a style of software architectures for the railway control system consisting of two complementary views and ensuring several desirable properties by construction. The dynamic evolution of the architecture is modelled by a set of coordination rules which define graph transformations and are verified with respect to to the graph grammar. Third, using a coordination rule as a formal specification of a dynamic modification of the railway control system, we derive its implementation in ConCoord, a programming environment for concurrent coordinated programming. With regard to software engineering, the two first phases belong to the system design while the third one forms the first implementation step.
Year
DOI
Venue
1997
10.1007/3-540-63383-9_80
COORDINATION
Keywords
Field
DocType
graph grammars,case study,modeling railway control systems,graph transformation,system architecture,software engineering,control system,information processing,software architecture,system design,formal specification
Rule-based machine translation,Computer science,Systems design,Formal specification,Theoretical computer science,Software,Software architecture,Control system,Systems architecture,Formal methods
Conference
ISBN
Citations 
PageRank 
3-540-63383-9
4
0.85
References 
Authors
4
3
Name
Order
Citations
PageRank
A. A. Holzbacher1273.60
M. Périn241.19
Mario Südholt362554.39