Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012255194> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2012255194 abstract "This paper on Model-Driven Engineering (MDE) is from the proceedings of the 12th International Conference on Computer System Design and Operation in Railways and Other Transit Systems, held in Beijing, China, in 2010. In MDE, which is based on model transformation, the system model is specified using a modeling language, such as UML (Unified Modelling Language) or a DSL (Domain-Specific Language). Once a model is specified, executable code for a computing platform can be automatically generated by means of model transformation (code generation). MDE also enables the formal verification of system properties. The authors describe how MDE can be used in the context of safety-critical systems, such as railway interlockings, in which the system model can be translated to a formal (mathematical) language more amendable to rigorous analysis. They paper presents a model transformation that takes a railway interlocking model (specified in Executable UML (xUML)) as input and outputs a formal model that can be mathematically analysed. This can potentially bridge the gap between well-known modeling languages (such as xUML) and formal languages, thus facilitating the systematic development of safety-critical systems in terms of MDE. The authors use a small xUML railway interlocking model to illustrate the proposed method." @default.
- W2012255194 created "2016-06-24" @default.
- W2012255194 creator A5006626759 @default.
- W2012255194 creator A5011667693 @default.
- W2012255194 creator A5044740198 @default.
- W2012255194 creator A5085999465 @default.
- W2012255194 date "2010-08-04" @default.
- W2012255194 modified "2023-09-25" @default.
- W2012255194 title "Use of model transformation for the formal analysis of railway interlocking models" @default.
- W2012255194 cites W1559870885 @default.
- W2012255194 cites W1579001914 @default.
- W2012255194 cites W1965979806 @default.
- W2012255194 cites W1985665832 @default.
- W2012255194 cites W2051356522 @default.
- W2012255194 cites W2115309705 @default.
- W2012255194 cites W2124789887 @default.
- W2012255194 cites W2134593035 @default.
- W2012255194 cites W2164200408 @default.
- W2012255194 cites W2168042222 @default.
- W2012255194 doi "https://doi.org/10.2495/cr100741" @default.
- W2012255194 hasPublicationYear "2010" @default.
- W2012255194 type Work @default.
- W2012255194 sameAs 2012255194 @default.
- W2012255194 citedByCount "1" @default.
- W2012255194 crossrefType "proceedings-article" @default.
- W2012255194 hasAuthorship W2012255194A5006626759 @default.
- W2012255194 hasAuthorship W2012255194A5011667693 @default.
- W2012255194 hasAuthorship W2012255194A5044740198 @default.
- W2012255194 hasAuthorship W2012255194A5085999465 @default.
- W2012255194 hasBestOaLocation W20122551941 @default.
- W2012255194 hasConcept C104317684 @default.
- W2012255194 hasConcept C127413603 @default.
- W2012255194 hasConcept C154945302 @default.
- W2012255194 hasConcept C185592680 @default.
- W2012255194 hasConcept C200601418 @default.
- W2012255194 hasConcept C204241405 @default.
- W2012255194 hasConcept C2776436953 @default.
- W2012255194 hasConcept C2778844933 @default.
- W2012255194 hasConcept C2779791154 @default.
- W2012255194 hasConcept C41008148 @default.
- W2012255194 hasConcept C55493867 @default.
- W2012255194 hasConceptScore W2012255194C104317684 @default.
- W2012255194 hasConceptScore W2012255194C127413603 @default.
- W2012255194 hasConceptScore W2012255194C154945302 @default.
- W2012255194 hasConceptScore W2012255194C185592680 @default.
- W2012255194 hasConceptScore W2012255194C200601418 @default.
- W2012255194 hasConceptScore W2012255194C204241405 @default.
- W2012255194 hasConceptScore W2012255194C2776436953 @default.
- W2012255194 hasConceptScore W2012255194C2778844933 @default.
- W2012255194 hasConceptScore W2012255194C2779791154 @default.
- W2012255194 hasConceptScore W2012255194C41008148 @default.
- W2012255194 hasConceptScore W2012255194C55493867 @default.
- W2012255194 hasLocation W20122551941 @default.
- W2012255194 hasOpenAccess W2012255194 @default.
- W2012255194 hasPrimaryLocation W20122551941 @default.
- W2012255194 hasRelatedWork W1988613072 @default.
- W2012255194 hasRelatedWork W2157133118 @default.
- W2012255194 hasRelatedWork W2159183434 @default.
- W2012255194 hasRelatedWork W2335520227 @default.
- W2012255194 hasRelatedWork W2349022015 @default.
- W2012255194 hasRelatedWork W2364400229 @default.
- W2012255194 hasRelatedWork W2365767001 @default.
- W2012255194 hasRelatedWork W2379147087 @default.
- W2012255194 hasRelatedWork W2393697600 @default.
- W2012255194 hasRelatedWork W2402071070 @default.
- W2012255194 isParatext "false" @default.
- W2012255194 isRetracted "false" @default.
- W2012255194 magId "2012255194" @default.
- W2012255194 workType "article" @default.