Matches in SemOpenAlex for { <https://semopenalex.org/work/W994706064> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W994706064 endingPage "1191" @default.
- W994706064 startingPage "1184" @default.
- W994706064 abstract "AbstractUML is a standardized modeling language, but it is hard to be automatically verified as its lacking of strictly defined semantics. Several description logics based reasoning methods are proposed to detect inconsistence of UML class diagrams, but the reasoning complexity is still EXPTIME-hard. Following the trend of the Global Distributed Software Development, size and complexity of UML models grow rapidly, and current reasoning mechanism cannot meet the demands of verifying huge amounts of UML models. In this paper, a novel idea of cloud service for UML models verification is envisioned; the state-of-the-art of description logics based UML model mapping and ontology parallel reasoning technologies are reviewed; the architecture and function modules of the cloud service are proposed; some research perspectives and roadmap are pointed out.KeywordsCloud ComputingCloud ServiceDescription LogicClass DiagramParallel ReasoningThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W994706064 created "2016-06-24" @default.
- W994706064 creator A5020241865 @default.
- W994706064 creator A5036650726 @default.
- W994706064 creator A5043954638 @default.
- W994706064 creator A5050299013 @default.
- W994706064 date "2012-01-01" @default.
- W994706064 modified "2023-09-25" @default.
- W994706064 title "Towards Description Logics Based Cloud Service for UML Verification" @default.
- W994706064 cites W139488912 @default.
- W994706064 cites W1545937500 @default.
- W994706064 cites W1558225362 @default.
- W994706064 cites W1592358516 @default.
- W994706064 cites W1981420413 @default.
- W994706064 cites W1990094248 @default.
- W994706064 cites W2036287894 @default.
- W994706064 cites W2088375940 @default.
- W994706064 cites W2099052309 @default.
- W994706064 cites W2116235281 @default.
- W994706064 cites W2116562019 @default.
- W994706064 cites W2131566236 @default.
- W994706064 cites W2139315672 @default.
- W994706064 cites W2144692597 @default.
- W994706064 cites W2173213060 @default.
- W994706064 cites W4238584892 @default.
- W994706064 doi "https://doi.org/10.1007/978-1-4471-2386-6_156" @default.
- W994706064 hasPublicationYear "2012" @default.
- W994706064 type Work @default.
- W994706064 sameAs 994706064 @default.
- W994706064 citedByCount "1" @default.
- W994706064 countsByYear W9947060642015 @default.
- W994706064 crossrefType "book-chapter" @default.
- W994706064 hasAuthorship W994706064A5020241865 @default.
- W994706064 hasAuthorship W994706064A5036650726 @default.
- W994706064 hasAuthorship W994706064A5043954638 @default.
- W994706064 hasAuthorship W994706064A5050299013 @default.
- W994706064 hasConcept C102993220 @default.
- W994706064 hasConcept C111472728 @default.
- W994706064 hasConcept C115903868 @default.
- W994706064 hasConcept C133264317 @default.
- W994706064 hasConcept C138885662 @default.
- W994706064 hasConcept C145644426 @default.
- W994706064 hasConcept C146939238 @default.
- W994706064 hasConcept C199360897 @default.
- W994706064 hasConcept C202446494 @default.
- W994706064 hasConcept C25810664 @default.
- W994706064 hasConcept C2777904410 @default.
- W994706064 hasConcept C41008148 @default.
- W994706064 hasConcept C41298492 @default.
- W994706064 hasConceptScore W994706064C102993220 @default.
- W994706064 hasConceptScore W994706064C111472728 @default.
- W994706064 hasConceptScore W994706064C115903868 @default.
- W994706064 hasConceptScore W994706064C133264317 @default.
- W994706064 hasConceptScore W994706064C138885662 @default.
- W994706064 hasConceptScore W994706064C145644426 @default.
- W994706064 hasConceptScore W994706064C146939238 @default.
- W994706064 hasConceptScore W994706064C199360897 @default.
- W994706064 hasConceptScore W994706064C202446494 @default.
- W994706064 hasConceptScore W994706064C25810664 @default.
- W994706064 hasConceptScore W994706064C2777904410 @default.
- W994706064 hasConceptScore W994706064C41008148 @default.
- W994706064 hasConceptScore W994706064C41298492 @default.
- W994706064 hasLocation W9947060641 @default.
- W994706064 hasOpenAccess W994706064 @default.
- W994706064 hasPrimaryLocation W9947060641 @default.
- W994706064 hasRelatedWork W111309209 @default.
- W994706064 hasRelatedWork W132219882 @default.
- W994706064 hasRelatedWork W1487875674 @default.
- W994706064 hasRelatedWork W1578564352 @default.
- W994706064 hasRelatedWork W1584688787 @default.
- W994706064 hasRelatedWork W168222114 @default.
- W994706064 hasRelatedWork W1974932325 @default.
- W994706064 hasRelatedWork W2082448529 @default.
- W994706064 hasRelatedWork W2103939680 @default.
- W994706064 hasRelatedWork W2116391632 @default.
- W994706064 hasRelatedWork W2145309938 @default.
- W994706064 hasRelatedWork W2322673150 @default.
- W994706064 hasRelatedWork W2342639468 @default.
- W994706064 hasRelatedWork W2372585281 @default.
- W994706064 hasRelatedWork W2489408089 @default.
- W994706064 hasRelatedWork W2762195511 @default.
- W994706064 hasRelatedWork W2896239802 @default.
- W994706064 hasRelatedWork W3145461289 @default.
- W994706064 hasRelatedWork W41784456 @default.
- W994706064 hasRelatedWork W52862839 @default.
- W994706064 isParatext "false" @default.
- W994706064 isRetracted "false" @default.
- W994706064 magId "994706064" @default.
- W994706064 workType "book-chapter" @default.