FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2555956761> ?p ?o ?g. }

• W2555956761 endingPage "54" @default.
• W2555956761 startingPage "44" @default.
• W2555956761 abstract "The Combined Fragments of UML Sequence Diagram permit various types of control flow among messages (e.g., interleaving and branching) to express an aggregation of multiple traces encompassing complex and concurrent behaviors. However, Combined Fragments increase the difficulty of Sequence Diagram comprehension and analysis. To alleviate this problem, we introduce an approach to formally describe Sequence Diagrams with Combined Fragments in terms of the input language of the model checker NuSMV. This approach permits the verification of desired properties against Sequence Diagrams." @default.
• W2555956761 created "2016-11-30" @default.
• W2555956761 creator A5004363700 @default.
• W2555956761 creator A5039154744 @default.
• W2555956761 creator A5053316728 @default.
• W2555956761 date "2016-11-19" @default.
• W2555956761 modified "2023-09-24" @default.
• W2555956761 title "Formal Analysis of Sequence Diagram with Combined Fragments" @default.
• W2555956761 cites W1517416010 @default.
• W2555956761 cites W1551712063 @default.
• W2555956761 cites W1563105074 @default.
• W2555956761 cites W1606582305 @default.
• W2555956761 cites W1980702991 @default.
• W2555956761 cites W1986117326 @default.
• W2555956761 cites W1994814240 @default.
• W2555956761 cites W2001289891 @default.
• W2555956761 cites W2011588678 @default.
• W2555956761 cites W2028905856 @default.
• W2555956761 cites W2111757195 @default.
• W2555956761 cites W2132877703 @default.
• W2555956761 cites W2144807091 @default.
• W2555956761 cites W2151369927 @default.
• W2555956761 cites W2151805884 @default.
• W2555956761 cites W2153575705 @default.
• W2555956761 cites W2164440547 @default.
• W2555956761 cites W2578297736 @default.
• W2555956761 cites W2585817176 @default.
• W2555956761 hasPublicationYear "2016" @default.
• W2555956761 type Work @default.
• W2555956761 sameAs 2555956761 @default.
• W2555956761 citedByCount "0" @default.
• W2555956761 crossrefType "journal-article" @default.
• W2555956761 hasAuthorship W2555956761A5004363700 @default.
• W2555956761 hasAuthorship W2555956761A5039154744 @default.
• W2555956761 hasAuthorship W2555956761A5053316728 @default.
• W2555956761 hasConcept C110251889 @default.
• W2555956761 hasConcept C111919701 @default.
• W2555956761 hasConcept C11413529 @default.
• W2555956761 hasConcept C145644426 @default.
• W2555956761 hasConcept C153185123 @default.
• W2555956761 hasConcept C16671368 @default.
• W2555956761 hasConcept C168054591 @default.
• W2555956761 hasConcept C185592680 @default.
• W2555956761 hasConcept C186399060 @default.
• W2555956761 hasConcept C199360897 @default.
• W2555956761 hasConcept C202446494 @default.
• W2555956761 hasConcept C2777904410 @default.
• W2555956761 hasConcept C2778112365 @default.
• W2555956761 hasConcept C28034677 @default.
• W2555956761 hasConcept C41008148 @default.
• W2555956761 hasConcept C48103436 @default.
• W2555956761 hasConcept C48419115 @default.
• W2555956761 hasConcept C55493867 @default.
• W2555956761 hasConcept C68438427 @default.
• W2555956761 hasConcept C77088390 @default.
• W2555956761 hasConcept C80444323 @default.
• W2555956761 hasConceptScore W2555956761C110251889 @default.
• W2555956761 hasConceptScore W2555956761C111919701 @default.
• W2555956761 hasConceptScore W2555956761C11413529 @default.
• W2555956761 hasConceptScore W2555956761C145644426 @default.
• W2555956761 hasConceptScore W2555956761C153185123 @default.
• W2555956761 hasConceptScore W2555956761C16671368 @default.
• W2555956761 hasConceptScore W2555956761C168054591 @default.
• W2555956761 hasConceptScore W2555956761C185592680 @default.
• W2555956761 hasConceptScore W2555956761C186399060 @default.
• W2555956761 hasConceptScore W2555956761C199360897 @default.
• W2555956761 hasConceptScore W2555956761C202446494 @default.
• W2555956761 hasConceptScore W2555956761C2777904410 @default.
• W2555956761 hasConceptScore W2555956761C2778112365 @default.
• W2555956761 hasConceptScore W2555956761C28034677 @default.
• W2555956761 hasConceptScore W2555956761C41008148 @default.
• W2555956761 hasConceptScore W2555956761C48103436 @default.
• W2555956761 hasConceptScore W2555956761C48419115 @default.
• W2555956761 hasConceptScore W2555956761C55493867 @default.
• W2555956761 hasConceptScore W2555956761C68438427 @default.
• W2555956761 hasConceptScore W2555956761C77088390 @default.
• W2555956761 hasConceptScore W2555956761C80444323 @default.
• W2555956761 hasLocation W25559567611 @default.
• W2555956761 hasOpenAccess W2555956761 @default.
• W2555956761 hasPrimaryLocation W25559567611 @default.
• W2555956761 hasRelatedWork W115986058 @default.
• W2555956761 hasRelatedWork W1605548288 @default.
• W2555956761 hasRelatedWork W1934543060 @default.
• W2555956761 hasRelatedWork W2012776105 @default.
• W2555956761 hasRelatedWork W2012980297 @default.
• W2555956761 hasRelatedWork W2027164554 @default.
• W2555956761 hasRelatedWork W2134763283 @default.
• W2555956761 hasRelatedWork W2141239751 @default.
• W2555956761 hasRelatedWork W2235537547 @default.
• W2555956761 hasRelatedWork W2349189858 @default.
• W2555956761 hasRelatedWork W2383891205 @default.
• W2555956761 hasRelatedWork W2386642893 @default.
• W2555956761 hasRelatedWork W2387586002 @default.
• W2555956761 hasRelatedWork W2398883456 @default.
• W2555956761 hasRelatedWork W2567537371 @default.
• W2555956761 hasRelatedWork W2733096513 @default.
• W2555956761 hasRelatedWork W2795130378 @default.
• W2555956761 hasRelatedWork W2811451761 @default.

• next