Matches in SemOpenAlex for { <https://semopenalex.org/work/W2896216444> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2896216444 abstract "A railway interlocking system is one example of a critical system, and therefore it must have a high level of reliability in order to avoid problems that may result on the loss of people’s lives. However, many railway systems are still specified using historical relay-based diagrams, whose analysis are made by human inspection, which is error prone. This paper constitutes a first step towards using Model Driven Architecture (MDA) in order to specify railway interlocking systems. This work proposes a restructuring methodology starting from relay-based diagrams to produce formalized machine-readable XML models. This is performed by formalizing industrial formalisms and knowledge into a complete Domain Specific Language UML meta-model that is latter used to automatically generate an XSD using Model-to-Text transformation. The conforming XML models may then be understood by different stakeholders and used as input for automated analysis tools." @default.
- W2896216444 created "2018-10-26" @default.
- W2896216444 creator A5052110749 @default.
- W2896216444 creator A5055698275 @default.
- W2896216444 creator A5062099648 @default.
- W2896216444 creator A5081962758 @default.
- W2896216444 creator A5089100064 @default.
- W2896216444 date "2018-01-01" @default.
- W2896216444 modified "2023-09-29" @default.
- W2896216444 title "An MDA Approach for the Specification of Relay-Based Diagrams" @default.
- W2896216444 cites W1487672899 @default.
- W2896216444 cites W1844975594 @default.
- W2896216444 cites W2006267758 @default.
- W2896216444 cites W2098785354 @default.
- W2896216444 cites W2111456823 @default.
- W2896216444 cites W2288474485 @default.
- W2896216444 cites W3146596127 @default.
- W2896216444 cites W4241285078 @default.
- W2896216444 cites W4254354208 @default.
- W2896216444 doi "https://doi.org/10.1007/978-3-030-02852-7_2" @default.
- W2896216444 hasPublicationYear "2018" @default.
- W2896216444 type Work @default.
- W2896216444 sameAs 2896216444 @default.
- W2896216444 citedByCount "2" @default.
- W2896216444 countsByYear W28962164442019 @default.
- W2896216444 countsByYear W28962164442020 @default.
- W2896216444 crossrefType "book-chapter" @default.
- W2896216444 hasAuthorship W2896216444A5052110749 @default.
- W2896216444 hasAuthorship W2896216444A5055698275 @default.
- W2896216444 hasAuthorship W2896216444A5062099648 @default.
- W2896216444 hasAuthorship W2896216444A5081962758 @default.
- W2896216444 hasAuthorship W2896216444A5089100064 @default.
- W2896216444 hasConcept C121332964 @default.
- W2896216444 hasConcept C163258240 @default.
- W2896216444 hasConcept C2778156585 @default.
- W2896216444 hasConcept C41008148 @default.
- W2896216444 hasConcept C62520636 @default.
- W2896216444 hasConceptScore W2896216444C121332964 @default.
- W2896216444 hasConceptScore W2896216444C163258240 @default.
- W2896216444 hasConceptScore W2896216444C2778156585 @default.
- W2896216444 hasConceptScore W2896216444C41008148 @default.
- W2896216444 hasConceptScore W2896216444C62520636 @default.
- W2896216444 hasLocation W28962164441 @default.
- W2896216444 hasLocation W28962164442 @default.
- W2896216444 hasOpenAccess W2896216444 @default.
- W2896216444 hasPrimaryLocation W28962164441 @default.
- W2896216444 hasRelatedWork W1038122923 @default.
- W2896216444 hasRelatedWork W1998322187 @default.
- W2896216444 hasRelatedWork W2391145594 @default.
- W2896216444 hasRelatedWork W2539674285 @default.
- W2896216444 hasRelatedWork W2748952813 @default.
- W2896216444 hasRelatedWork W2805559433 @default.
- W2896216444 hasRelatedWork W2899084033 @default.
- W2896216444 hasRelatedWork W2952514781 @default.
- W2896216444 hasRelatedWork W3019210376 @default.
- W2896216444 hasRelatedWork W3028444640 @default.
- W2896216444 isParatext "false" @default.
- W2896216444 isRetracted "false" @default.
- W2896216444 magId "2896216444" @default.
- W2896216444 workType "book-chapter" @default.