Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile-Reference-Cited by-同舟云学术

Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile

Published:2006 Issue: Volume: Page:398-411
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Berkenkötter Kirsten,Hannemann Ulrich

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11875567_30.pdf

Reference18 articles.

1. Berkenkötter, K., Hannemann, U., Peleska, J.: The Railway Control System Domain. Draft, http://www.informatik.uni-bremen.de/agbs/research/RCSD/

2. Lecture Notes in Computer Science;W.J. Fokkink,1998

3. Grötker, T., Liao, S., Martin, G., Swan, S.: System Design with SystemC. Kluwer Academic Publishers, Dordrecht (2002)

4. Gogolla, M., Ziemann, P.: Checking BART Test Scenarios with UML’s Object Constraint Language. In: Kordon, F., Lemoine, M. (eds.) Formal Methods for Embedded Distributed Systems- How to master the complexity, pp. 133–170. Kluwer, Boston (2004)

5. Haxthausen, A.E., Peleska, J.: A Domain Specific Language for Railway Control Systems. In: Proceedings of the Sixth Biennial World Conference on Integrated Design and Process Technology (IDPT 2002) Pasadena, California (2002)

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. BPMN4MoPla: Mobility Planning Based on Business Decision-Making;Domain-Specific Conceptual Modeling;2022

2. Modelling of High-Speed European Railway Systems;Operating Rules and Interoperability in Trans-National High-Speed Rail;2021-03-12

3. A model-driven approach for vulnerability evaluation of modern physical protection systems;Software & Systems Modeling;2016-12-26

4. Cue Utilization and Cognitive Load in Novel Task Performance;Frontiers in Psychology;2016-03-29

5. A review of key planning and scheduling in the rail industry in Europe and UK;Proceedings of the Institution of Mechanical Engineers, Part F: Journal of Rail and Rapid Transit;2015-02-06