Matches in SemOpenAlex for { <https://semopenalex.org/work/W4308731058> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W4308731058 abstract "Specifying and verifying the temporal properties of UML-based systems can be challenging. Although there exist some extensions of OCL to support the specification of temporal properties, most of the approaches depend on using non-UML formalisms such as LTL, CTL, and CTL*. The approaches also rely on transforming the under-development UML models into non-UML model checking frameworks for verification. These approaches introduce complexities and relies on techniques and tools that are not within the UML spectrum. In this paper, we show how TOCL (one OCL extension for temporal properties specification) can be transformed into OCL for verification purposes. Towards this end, we created a formal EBNF grammar for TOCL, based on which a parser and a MOF metamodel were generated. To facilitate the analysis of the TOCL properties, we formally defined transformation rules from the TOCL metamodel to the OCL metamodel using QVTo. We validated the implementations of the transformation rules using USE." @default.
- W4308731058 created "2022-11-15" @default.
- W4308731058 creator A5000309086 @default.
- W4308731058 creator A5017053093 @default.
- W4308731058 creator A5028365474 @default.
- W4308731058 creator A5036184687 @default.
- W4308731058 creator A5067156224 @default.
- W4308731058 date "2022-10-23" @default.
- W4308731058 modified "2023-10-03" @default.
- W4308731058 title "Transformation of TOCL temporal properties into OCL" @default.
- W4308731058 cites W1409730681 @default.
- W4308731058 cites W1488390158 @default.
- W4308731058 cites W1560224784 @default.
- W4308731058 cites W1587772696 @default.
- W4308731058 cites W1590315663 @default.
- W4308731058 cites W1593902809 @default.
- W4308731058 cites W1751157042 @default.
- W4308731058 cites W1971309296 @default.
- W4308731058 cites W1996832037 @default.
- W4308731058 cites W2014811644 @default.
- W4308731058 cites W2023808162 @default.
- W4308731058 cites W2048199835 @default.
- W4308731058 cites W2066511594 @default.
- W4308731058 cites W2412353202 @default.
- W4308731058 cites W2499596435 @default.
- W4308731058 cites W2540273530 @default.
- W4308731058 cites W2768923893 @default.
- W4308731058 cites W74071397 @default.
- W4308731058 doi "https://doi.org/10.1145/3550356.3563132" @default.
- W4308731058 hasPublicationYear "2022" @default.
- W4308731058 type Work @default.
- W4308731058 citedByCount "0" @default.
- W4308731058 crossrefType "proceedings-article" @default.
- W4308731058 hasAuthorship W4308731058A5000309086 @default.
- W4308731058 hasAuthorship W4308731058A5017053093 @default.
- W4308731058 hasAuthorship W4308731058A5028365474 @default.
- W4308731058 hasAuthorship W4308731058A5036184687 @default.
- W4308731058 hasAuthorship W4308731058A5067156224 @default.
- W4308731058 hasConcept C104317684 @default.
- W4308731058 hasConcept C110251889 @default.
- W4308731058 hasConcept C133264317 @default.
- W4308731058 hasConcept C145644426 @default.
- W4308731058 hasConcept C154945302 @default.
- W4308731058 hasConcept C171018156 @default.
- W4308731058 hasConcept C185592680 @default.
- W4308731058 hasConcept C199360897 @default.
- W4308731058 hasConcept C204241405 @default.
- W4308731058 hasConcept C25016198 @default.
- W4308731058 hasConcept C2524010 @default.
- W4308731058 hasConcept C2776436953 @default.
- W4308731058 hasConcept C2777904410 @default.
- W4308731058 hasConcept C2779791154 @default.
- W4308731058 hasConcept C33923547 @default.
- W4308731058 hasConcept C41008148 @default.
- W4308731058 hasConcept C41298492 @default.
- W4308731058 hasConcept C55493867 @default.
- W4308731058 hasConcept C86610423 @default.
- W4308731058 hasConceptScore W4308731058C104317684 @default.
- W4308731058 hasConceptScore W4308731058C110251889 @default.
- W4308731058 hasConceptScore W4308731058C133264317 @default.
- W4308731058 hasConceptScore W4308731058C145644426 @default.
- W4308731058 hasConceptScore W4308731058C154945302 @default.
- W4308731058 hasConceptScore W4308731058C171018156 @default.
- W4308731058 hasConceptScore W4308731058C185592680 @default.
- W4308731058 hasConceptScore W4308731058C199360897 @default.
- W4308731058 hasConceptScore W4308731058C204241405 @default.
- W4308731058 hasConceptScore W4308731058C25016198 @default.
- W4308731058 hasConceptScore W4308731058C2524010 @default.
- W4308731058 hasConceptScore W4308731058C2776436953 @default.
- W4308731058 hasConceptScore W4308731058C2777904410 @default.
- W4308731058 hasConceptScore W4308731058C2779791154 @default.
- W4308731058 hasConceptScore W4308731058C33923547 @default.
- W4308731058 hasConceptScore W4308731058C41008148 @default.
- W4308731058 hasConceptScore W4308731058C41298492 @default.
- W4308731058 hasConceptScore W4308731058C55493867 @default.
- W4308731058 hasConceptScore W4308731058C86610423 @default.
- W4308731058 hasFunder F4320306076 @default.
- W4308731058 hasLocation W43087310581 @default.
- W4308731058 hasOpenAccess W4308731058 @default.
- W4308731058 hasPrimaryLocation W43087310581 @default.
- W4308731058 hasRelatedWork W1496874200 @default.
- W4308731058 hasRelatedWork W190237496 @default.
- W4308731058 hasRelatedWork W2112612794 @default.
- W4308731058 hasRelatedWork W2115565712 @default.
- W4308731058 hasRelatedWork W2367745794 @default.
- W4308731058 hasRelatedWork W2395176086 @default.
- W4308731058 hasRelatedWork W2395296997 @default.
- W4308731058 hasRelatedWork W2798952660 @default.
- W4308731058 hasRelatedWork W30762222 @default.
- W4308731058 hasRelatedWork W4226373071 @default.
- W4308731058 isParatext "false" @default.
- W4308731058 isRetracted "false" @default.
- W4308731058 workType "article" @default.