Cooperability in train control systems: Specification of scenarios using open nets

Journal of Integrated Design and Process Science

Volumn 5, Issue 1, 2001, Pages 3-21

  Padberg, J ^a   Jansen, L ^b   Ehrig, H ^a   Schnieder, E ^b   Heckel, R ^c  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

^c UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Colored petri nets; Cooperability; European train control system; Open nets

Indexed keywords

EID: 85013601404     PISSN: 10920617     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (25)

1. Benner, K. M., Feather, M. S., Jofnson, W. L., and Zorman, L. A. (1993). Utilizing Scenarios in the Software Development Process. In Prakash, N., Rolland, C., and Pernici, B., editors, Information System Development Process, pages 117-134. Elsevier Science Publisher, North Holland.
2. Chalon, O., Janhsen, A., Röver, S., and Schnieder, E. (1996). Application of advanced systems engineering for train control systems, volume 2 of Computers in Railways V, pages 309-317. Computational Mechanics Publications, Southampton.
3. Desharnais, J., Frappier, M., Khedri, R., and Mili, A. (1997). Integration of Sequential Scenarios. In Proc. ESEC / FSE’97, pages 310-326. Springer LNCS 1301.
4. Ehrig, H. and Mahr, B. (1990). Fundamentals of Algebraic Specification 2: Module Specifications and Constraints, volume 21 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin.
5. Ehrig, H., Merten, A., and Padberg, J. (1997). How to Transfer Concepts of Abstract Data Types to Petri Nets. EACTS Bulletin, 62: 106-104.
6. Ehrig, H., Rozenberg, G., and Padberg, J. (1998). Graph Transformations and Other Rule-Based Formalisms with Incomplete Information. In Engels, G. and Rozenberg, G., editors, Proc. 6th International Workshop on Theory and Application of Graph Transformation, pages 268-278. Universität Paderborn.
7. Ehrig, H. et al. (1997). Integration von Techniken der Software Spezifikation für ingenieuwissenschaftliche Anwendungen. Antrag für ein Schwerpunkprogramm an die DFG, http://tfs.cs.tuberlin.de/SPP/index.html. (akzeptiert als DFG-SPP von Januar 1998 bis Dezember 2003).
8. Firesmith, D., Henderson-Sellers, B., Graham, I., and Page-Jones, M. (1996). Specification of the Common Object Modeling Notation (COMN), Version 0.5. http://199.72.157.5/oml-05/. Final Draft.
9. Glinz, M. (1995). An Integrated Formal Method of Scenarios Based on Statecharts. In 5th European Software Engineering Conference.
10. Goedicke, M. and Nuseibeh, B. (1996). The Process Road between Requirement and Design. In Cooke, D., Krämer, B., Sheu, P. C.-Y., Tsai, J., and Mittermeir, R., editors, Proc. Integrated Design and Process Technology, pages 176-177. Society for Design and Process Science. Vol.1.
11. Heckel, R. (1998). Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems. PhD thesis, Technical University of Berlin, Dep. of Comp. Sci.
12. Heckel, R., Ehrig, H., Wolter, U., and Corradini, A. (1997). Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Applied Categorical Structures. Accepted.
13. Heitmeyer, C. and Mandrioli, D., editors (1996). Formal Methods for Real-Time Computing. John Wiley & Sons. Series Trends in Software vol 5.
14. Hsia, P., Samuel, J., Gao, J., Kung, D., Toyoshima, Y., and Chen, C. (1994). Formal Approach to Scenario Analysis. IEEE Software, (11): 33-41.
15. Janhsen, A. (1998). Anthropozentrische Modellierung und Spezifikation komplexer Systeme am Beispiel von Eisenbahnleitsystemen. PhD thesis, TU Braunschweig.
16. Janhsen, A., Lemmer, K., Ptok, B., and Schnieder, E. (1997a). Formal specifications of the European Train Control System. In IFAC Transportation Systems, 8th Symposium on Transportation Systems.
17. Janhsen, A., Lemmer, K., Ptok, B., and Schnieder, E. (1997b). Modelling and Simulation of the new European Train Control System. In 2nd MathMod, Vienna, Austria.
18. Jansen, L., Meyerzu Hörste, M., and Schnieder, E. (1998). Technical Issues in Modelling the European Train Control System (ETCS) using Coloured Petri Nets and Design/CPN Tool. In Jensen, K., editor, Proc. of Workshop on Practical Use of Coloured Petri Nets and Desgin/CPN, pages 103-116. Computer Science Department Aarhus University.
19. Jensen, K. (1992). Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume 1: Basic Concepts. Springer Verlag, EATCS Monographs in Theoretical Computer Science edition.
20. Jensen, K. and Rozenberg, G., editors (1991). High-Level Petri-Nets: Theory and Application. Springer Verlag.
21. Padberg, J. (1996). Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement. PhD thesis, Technical University Berlin. Shaker Verlag.
22. Padberg, J., Ehrig, H., and Ribeiro, L. (1995). Algebraic high-level net transformation systems. Mathematical Structures in Computer Science, 5: 217-256.
23. Padberg, J., Gajewsky, M., and Ermel, C. (1998). Rule-Based Refinement of High-Level Nets Preserving Safety Properties. In Astesiano, E., editor, Fundamental Approaches to Software Engineering, pages 221-238. Springer Verlag, Lecture Notes in Computer Science 1382.
24. Reisig, W. (1985). Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer Verlag.
25. Weidenhaupt, K., Pohl, K., Jarke, M., and Haumer, P. (1998). Scenarios in System Development: Current Practice. IEEE Software, 15(2): 34-45.