The Future of Train Signaling

Svendsen, Andreas; Olsen, Gøran K.; Endresen, Jan; Moen, Thomas; Carlson, Erik; Alme, Kjell-Joar; Haugen, Øystein

doi:10.1007/978-3-540-87875-9_9

Cited by 31 publications

(13 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In our work we give more elaborated classification of interferences, check their confluence using graph transformation based tools, define solutions, formalize them and implement in the substitution engine 1 . Svendsen et al [18] analyze conflicts in CVL on a Train Control Language (TCL) [19] example. They discuss two kinds of conflicts: border inconsistency and element inconsistency.…”

Section: Conflicts In Cvlmentioning

confidence: 99%

Resolution of Interfering Product Fragments in Software Product Line Engineering

Vasilevskiy

Haugen

2014

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. The Common Variability Language (CVL) allows deriving new products in a software product line by substituting fragments (placement) in the base model. Relations between elements of different placement fragments are an issue. Substitutions involving interfering placements may give unexpected and unintended results. However, there is a pragmatic need to define and execute fragments with interference. The need emerges when several diagrams are views of a single model, such as a placement in one diagram and a placement in another diagram reference the same model elements. We handle the issue by 1) classifying interfering fragments, 2) finding criteria to detect them, and 3) suggesting solutions via transformations. We implement our findings in the tooling available for downloading.

show abstract

Section: Conflicts In Cvlmentioning

confidence: 99%

Resolution of Interfering Product Fragments in Software Product Line Engineering

Vasilevskiy

Haugen

2014

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…The running example will apply the Train Control Language (TCL) [2] which is a DSL for modeling train stations to automate the production of code for train station signaling systems.…”

Section: Solutionsmentioning

confidence: 99%

Standardizing Variability – Challenges and Solutions

Fleurey

Haugen

Møller-Pedersen

et al. 2011

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Any modeling language can be said to model variability, but our concern is how variability can be expressed generically and thus be standardized on its own and not as an add-on or profile to other languages. In product line engineering feature modeling has been applied to express variants of product models. This paper shows how the Common Variability Language can be designed to enhance feature modeling and automate the production of product models from a product line model.

show abstract

“…Examples are DSLs for feature modeling, where feature diagrams have to be supported, and TCL [24], a train control language, where the descriptions have to have the forms of tracks, switches, lights, etc.…”

Section: Domain Specific Languagesmentioning

confidence: 99%

A Unified Approach to Modeling and Programming

Madsen

Møller-Pedersen

2010

Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

Abstract. SIMULA was a language for modeling and programming and provided a unified approach to modeling and programming in contrast to methodologies based on structured analysis and design. The current development seems to be going in the direction of separation of modeling and programming. The goal of this paper is to go back to the future and get inspiration from SIMULA and propose a unified approach. In addition to reintroducing the contributions of SIMULA and the Scandinavian approach to object-oriented programming, we do this by discussing a number of issues in modeling and programming and argue 3 why we consider a unified approach to be an advantage.

show abstract

The Future of Train Signaling

Cited by 31 publications

References 3 publications

Resolution of Interfering Product Fragments in Software Product Line Engineering

Resolution of Interfering Product Fragments in Software Product Line Engineering

Standardizing Variability – Challenges and Solutions

A Unified Approach to Modeling and Programming

Contact Info

Product

Resources

About