Matches in SemOpenAlex for { <https://semopenalex.org/work/W2395186302> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2395186302 abstract "A main challenge in software development process is to bring error detection to first phases of the software life cycle. The Verification and Validation (V&V) of UML diagrams is of interest in a number of applications such as detecting flaws at the design phase for software security, where it is crucial to detect security flaws before they can be exploited. In this paper, we propose an approach using a transformation tool to create a PROMELA code based model from UML interactions expressed in sequence diagram to use in SPIN model checker to simulate the execution and to verify properties written in Linear Temporal Logic (LTL). Graph transformation is used as an approach of model transformation to propose a graph grammar for the translation using AToM3 tool." @default.
- W2395186302 created "2016-06-24" @default.
- W2395186302 creator A5008500534 @default.
- W2395186302 creator A5008684685 @default.
- W2395186302 creator A5026778859 @default.
- W2395186302 creator A5062110382 @default.
- W2395186302 date "2011-01-01" @default.
- W2395186302 modified "2023-09-28" @default.
- W2395186302 title "From UML 2.0 Sequence Diagrams to PROMELA code by Graph Transformation using AToM3." @default.
- W2395186302 cites W1573226501 @default.
- W2395186302 cites W1977237988 @default.
- W2395186302 cites W2028905856 @default.
- W2395186302 cites W2104877841 @default.
- W2395186302 cites W2132877703 @default.
- W2395186302 cites W2165020474 @default.
- W2395186302 hasPublicationYear "2011" @default.
- W2395186302 type Work @default.
- W2395186302 sameAs 2395186302 @default.
- W2395186302 citedByCount "4" @default.
- W2395186302 countsByYear W23951863022014 @default.
- W2395186302 countsByYear W23951863022016 @default.
- W2395186302 countsByYear W23951863022017 @default.
- W2395186302 crossrefType "journal-article" @default.
- W2395186302 hasAuthorship W2395186302A5008500534 @default.
- W2395186302 hasAuthorship W2395186302A5008684685 @default.
- W2395186302 hasAuthorship W2395186302A5026778859 @default.
- W2395186302 hasAuthorship W2395186302A5062110382 @default.
- W2395186302 hasConcept C104317684 @default.
- W2395186302 hasConcept C110251889 @default.
- W2395186302 hasConcept C132525143 @default.
- W2395186302 hasConcept C145644426 @default.
- W2395186302 hasConcept C146939238 @default.
- W2395186302 hasConcept C153185123 @default.
- W2395186302 hasConcept C154945302 @default.
- W2395186302 hasConcept C185592680 @default.
- W2395186302 hasConcept C199360897 @default.
- W2395186302 hasConcept C204241405 @default.
- W2395186302 hasConcept C2776329536 @default.
- W2395186302 hasConcept C2776436953 @default.
- W2395186302 hasConcept C2777904410 @default.
- W2395186302 hasConcept C2779791154 @default.
- W2395186302 hasConcept C41008148 @default.
- W2395186302 hasConcept C55493867 @default.
- W2395186302 hasConcept C558772884 @default.
- W2395186302 hasConcept C80444323 @default.
- W2395186302 hasConceptScore W2395186302C104317684 @default.
- W2395186302 hasConceptScore W2395186302C110251889 @default.
- W2395186302 hasConceptScore W2395186302C132525143 @default.
- W2395186302 hasConceptScore W2395186302C145644426 @default.
- W2395186302 hasConceptScore W2395186302C146939238 @default.
- W2395186302 hasConceptScore W2395186302C153185123 @default.
- W2395186302 hasConceptScore W2395186302C154945302 @default.
- W2395186302 hasConceptScore W2395186302C185592680 @default.
- W2395186302 hasConceptScore W2395186302C199360897 @default.
- W2395186302 hasConceptScore W2395186302C204241405 @default.
- W2395186302 hasConceptScore W2395186302C2776329536 @default.
- W2395186302 hasConceptScore W2395186302C2776436953 @default.
- W2395186302 hasConceptScore W2395186302C2777904410 @default.
- W2395186302 hasConceptScore W2395186302C2779791154 @default.
- W2395186302 hasConceptScore W2395186302C41008148 @default.
- W2395186302 hasConceptScore W2395186302C55493867 @default.
- W2395186302 hasConceptScore W2395186302C558772884 @default.
- W2395186302 hasConceptScore W2395186302C80444323 @default.
- W2395186302 hasLocation W23951863021 @default.
- W2395186302 hasOpenAccess W2395186302 @default.
- W2395186302 hasPrimaryLocation W23951863021 @default.
- W2395186302 hasRelatedWork W1011738667 @default.
- W2395186302 hasRelatedWork W1992724059 @default.
- W2395186302 hasRelatedWork W2007218229 @default.
- W2395186302 hasRelatedWork W2028905856 @default.
- W2395186302 hasRelatedWork W2032259550 @default.
- W2395186302 hasRelatedWork W2073063876 @default.
- W2395186302 hasRelatedWork W2088401966 @default.
- W2395186302 hasRelatedWork W2091650560 @default.
- W2395186302 hasRelatedWork W2091666950 @default.
- W2395186302 hasRelatedWork W2106909618 @default.
- W2395186302 hasRelatedWork W2134763283 @default.
- W2395186302 hasRelatedWork W2156035419 @default.
- W2395186302 hasRelatedWork W2290208485 @default.
- W2395186302 hasRelatedWork W2334518932 @default.
- W2395186302 hasRelatedWork W2349357106 @default.
- W2395186302 hasRelatedWork W2900329824 @default.
- W2395186302 hasRelatedWork W3049076594 @default.
- W2395186302 hasRelatedWork W2519101978 @default.
- W2395186302 hasRelatedWork W2831928441 @default.
- W2395186302 hasRelatedWork W2927601000 @default.
- W2395186302 isParatext "false" @default.
- W2395186302 isRetracted "false" @default.
- W2395186302 magId "2395186302" @default.
- W2395186302 workType "article" @default.