OCL-based validation of a railway domain profile

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4364 LNCS, Issue , 2007, Pages 159-168

  Berkenkötter, Kirsten ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; CONSTRAINT THEORY; SUPPORT VECTOR MACHINES; UNIFIED MODELING LANGUAGE;

DOMAIN-SPECIFIC DIALECTS; MODELING ELEMENTS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 38149053620     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69489-2_20     Document Type: Conference Paper

References (14)

1. Thomas Baar, Dan Chiorean, Alexandre Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, and Jos Warmer. Tool Support for OCL and Related Formalisms - Needs and Trends. In Jean-Michel Bruel, editor, Satellite Events at the ModELS'2005 Conference, volume 3844 of LNCS, pages 1-9. Springer-Verlag, 2005.
2. Hanna Bauerdick, Martin Gogolla, and Fabian Gutsche. Detecting OCL Traps in the UML 2.0 Superstructure. In Thomas Baar, Alfred Strohmeier, Ana Moreira, and Stephen J. Mellor, editors. Proceedings 7th International Conference Unified Modeling Language (UML'2004), volume 3273 of LNCS, pages 188-197. Springer-Verlag, 2004.
3. Kirsten Berkenkötter and Ulrich Hannemann. Modeling the railway control domain rigorously with a uml 2.0 profile. In J. Górski, editor, Safecomp 2006, volume 4166 of LNCS, pages 398-411. Springer, 2006. to appear.
4. Andy Evans. Domain Specific Languages and MDA. http://www.xactium.com, 2006.
5. Martin Gogolla, Jean-Marie Favre, and Fabian Büttner. On Squeezing MO, M1, M2, and M3 into a Single Object Diagram. Technical Report LGL-REPORT-2005-001, Ecole Polytechnique Fédérale de Lausanne, 2005.
6. Object Management Group. MDA Guide Version 1.0.1, June 2003.
7. Object Management Group. OCL 2.0 Specification, version 2.0. http://www.omg.org/docs/ptc/05-06-06.pdf, June 2005.
8. Object Management Group. Unified Modeling Language: Superstructure, version 2.0. http://www.omg.org/docs/formal/05-07-04.pdf, July 2005.
9. Object Management Group. Unified Modeling Language (UML) Specification: Infrastructure, version 2.0. http://www.omg.org/docs/ptc/04-10-14.pdf, July 2005.
10. Object Management Group. Meta Object Facility (MOF) 2.0 Core Specification. http://www.omg.org/docs/formal/06-01-01.pdf, January 2006.
11. Joern Pachl. Railway Operation and Control. VTD Rail Publishing, Mountlake Terrace (USA), 2002. ISBN 0-9719915-1-0.
12. Jan Peleska, Kirsten Berkenkötter, Rolf Drechsler, Daniel Große, Ulrich Hannemann, Anne E. Haxthausen, and Sebastian Kinder. Domain-specific formalisms and model-driven development for railway control systems. In TRain workshop at SEFM2005, September 2005.
13. Mark Richters. A Precise Approach to Validating UML Models and OCL Constraints, volume 14 of BISS Monographs. Logos Verlag, Berlin, 2002. Ph.D. thesis, Universität Bremen.
14. Jos Warmer and Anneke Kleppe. Object Constraint Language 2.0. MITP-Verlag, Bonn, 2004.