Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024047464> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2024047464 abstract "This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automatically translated into a formal notation that supports the verification of properties such as safety, utility, liveness, etc. In this way, developers can exploit the advantages of formal notations while skipping the complex and expensive formal modelling phase. The proposed appraoch is applied to the Generalised Railroad Crossing (GRC) problem, one of the best known benchmarks porposed in the literature. A UML model of the GRC is built, and then translated into TRIO (a first order temporal logic). The resulting specification properties are tested by a history checking tool which exploits the formality of TRIO. The work described here highlights the shortcomings of UML as a real-time modelling language, proposes enhancements and workarounds to overcome UML limitations, and demonstrates the viability of using UML as a front-end for a formal real-time notation. By translating the GRC model into TRIO, we also give formal semantics to some of the UML constructs." @default.
- W2024047464 created "2016-06-24" @default.
- W2024047464 creator A5030214979 @default.
- W2024047464 creator A5039544994 @default.
- W2024047464 creator A5068567905 @default.
- W2024047464 date "2001-09-01" @default.
- W2024047464 modified "2023-10-17" @default.
- W2024047464 title "Combining UML and formal notations for modelling real-time systems" @default.
- W2024047464 cites W1979248560 @default.
- W2024047464 cites W2066381570 @default.
- W2024047464 cites W2161166453 @default.
- W2024047464 doi "https://doi.org/10.1145/503209.503236" @default.
- W2024047464 hasPublicationYear "2001" @default.
- W2024047464 type Work @default.
- W2024047464 sameAs 2024047464 @default.
- W2024047464 citedByCount "31" @default.
- W2024047464 countsByYear W20240474642015 @default.
- W2024047464 countsByYear W20240474642016 @default.
- W2024047464 crossrefType "proceedings-article" @default.
- W2024047464 hasAuthorship W2024047464A5030214979 @default.
- W2024047464 hasAuthorship W2024047464A5039544994 @default.
- W2024047464 hasAuthorship W2024047464A5068567905 @default.
- W2024047464 hasConcept C115903868 @default.
- W2024047464 hasConcept C116253237 @default.
- W2024047464 hasConcept C133264317 @default.
- W2024047464 hasConcept C145644426 @default.
- W2024047464 hasConcept C146499914 @default.
- W2024047464 hasConcept C146939238 @default.
- W2024047464 hasConcept C15569618 @default.
- W2024047464 hasConcept C192698709 @default.
- W2024047464 hasConcept C199360897 @default.
- W2024047464 hasConcept C2777904410 @default.
- W2024047464 hasConcept C33923547 @default.
- W2024047464 hasConcept C41008148 @default.
- W2024047464 hasConcept C41298492 @default.
- W2024047464 hasConcept C45357846 @default.
- W2024047464 hasConcept C75606506 @default.
- W2024047464 hasConcept C94375191 @default.
- W2024047464 hasConceptScore W2024047464C115903868 @default.
- W2024047464 hasConceptScore W2024047464C116253237 @default.
- W2024047464 hasConceptScore W2024047464C133264317 @default.
- W2024047464 hasConceptScore W2024047464C145644426 @default.
- W2024047464 hasConceptScore W2024047464C146499914 @default.
- W2024047464 hasConceptScore W2024047464C146939238 @default.
- W2024047464 hasConceptScore W2024047464C15569618 @default.
- W2024047464 hasConceptScore W2024047464C192698709 @default.
- W2024047464 hasConceptScore W2024047464C199360897 @default.
- W2024047464 hasConceptScore W2024047464C2777904410 @default.
- W2024047464 hasConceptScore W2024047464C33923547 @default.
- W2024047464 hasConceptScore W2024047464C41008148 @default.
- W2024047464 hasConceptScore W2024047464C41298492 @default.
- W2024047464 hasConceptScore W2024047464C45357846 @default.
- W2024047464 hasConceptScore W2024047464C75606506 @default.
- W2024047464 hasConceptScore W2024047464C94375191 @default.
- W2024047464 hasLocation W20240474641 @default.
- W2024047464 hasOpenAccess W2024047464 @default.
- W2024047464 hasPrimaryLocation W20240474641 @default.
- W2024047464 hasRelatedWork W1510078815 @default.
- W2024047464 hasRelatedWork W1852707568 @default.
- W2024047464 hasRelatedWork W1985804037 @default.
- W2024047464 hasRelatedWork W2003353439 @default.
- W2024047464 hasRelatedWork W2140225592 @default.
- W2024047464 hasRelatedWork W2152717371 @default.
- W2024047464 hasRelatedWork W2357774264 @default.
- W2024047464 hasRelatedWork W2379674920 @default.
- W2024047464 hasRelatedWork W2391415470 @default.
- W2024047464 hasRelatedWork W3006353577 @default.
- W2024047464 isParatext "false" @default.
- W2024047464 isRetracted "false" @default.
- W2024047464 magId "2024047464" @default.
- W2024047464 workType "article" @default.