Matches in SemOpenAlex for { <https://semopenalex.org/work/W1011738667> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1011738667 endingPage "617" @default.
- W1011738667 startingPage "612" @default.
- W1011738667 abstract "Abstract The most important advantage of Model Driven Engineering (MDE) is making available tools, concepts and languages to create and transform models. In this paper, we propose a framework to transform automatically UML activity diagram 2.0 (informal notation) to Petri Nets (formal notation) for the analysis purpose using INA analyzer tool. This transformation helps the software designers to analyze and verify properties. For realizing this transformation, we have proposed a meta-model for UML-AD and another one for PN. Based on these meta-models, we define a graph grammar that performs the transformation process. AToM3 is used as a tool for meta-modeling and graph transformation. We verify the resulting Petri nets with model checker INA. We illustrate our contribution with a detailed example." @default.
- W1011738667 created "2016-06-24" @default.
- W1011738667 creator A5045871695 @default.
- W1011738667 creator A5081176546 @default.
- W1011738667 creator A5082473579 @default.
- W1011738667 date "2015-01-01" @default.
- W1011738667 modified "2023-09-25" @default.
- W1011738667 title "A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation" @default.
- W1011738667 cites W1996109622 @default.
- W1011738667 cites W2009334408 @default.
- W1011738667 doi "https://doi.org/10.1016/j.procs.2015.07.261" @default.
- W1011738667 hasPublicationYear "2015" @default.
- W1011738667 type Work @default.
- W1011738667 sameAs 1011738667 @default.
- W1011738667 citedByCount "12" @default.
- W1011738667 countsByYear W10117386672016 @default.
- W1011738667 countsByYear W10117386672017 @default.
- W1011738667 countsByYear W10117386672020 @default.
- W1011738667 countsByYear W10117386672021 @default.
- W1011738667 countsByYear W10117386672022 @default.
- W1011738667 countsByYear W10117386672023 @default.
- W1011738667 crossrefType "journal-article" @default.
- W1011738667 hasAuthorship W1011738667A5045871695 @default.
- W1011738667 hasAuthorship W1011738667A5081176546 @default.
- W1011738667 hasAuthorship W1011738667A5082473579 @default.
- W1011738667 hasBestOaLocation W10117386671 @default.
- W1011738667 hasConcept C104317684 @default.
- W1011738667 hasConcept C115903868 @default.
- W1011738667 hasConcept C132525143 @default.
- W1011738667 hasConcept C145644426 @default.
- W1011738667 hasConcept C154945302 @default.
- W1011738667 hasConcept C185592680 @default.
- W1011738667 hasConcept C199360897 @default.
- W1011738667 hasConcept C202446494 @default.
- W1011738667 hasConcept C204241405 @default.
- W1011738667 hasConcept C2776436953 @default.
- W1011738667 hasConcept C2777904410 @default.
- W1011738667 hasConcept C2779791154 @default.
- W1011738667 hasConcept C41008148 @default.
- W1011738667 hasConcept C41298492 @default.
- W1011738667 hasConcept C55493867 @default.
- W1011738667 hasConcept C558772884 @default.
- W1011738667 hasConcept C64219723 @default.
- W1011738667 hasConcept C80444323 @default.
- W1011738667 hasConceptScore W1011738667C104317684 @default.
- W1011738667 hasConceptScore W1011738667C115903868 @default.
- W1011738667 hasConceptScore W1011738667C132525143 @default.
- W1011738667 hasConceptScore W1011738667C145644426 @default.
- W1011738667 hasConceptScore W1011738667C154945302 @default.
- W1011738667 hasConceptScore W1011738667C185592680 @default.
- W1011738667 hasConceptScore W1011738667C199360897 @default.
- W1011738667 hasConceptScore W1011738667C202446494 @default.
- W1011738667 hasConceptScore W1011738667C204241405 @default.
- W1011738667 hasConceptScore W1011738667C2776436953 @default.
- W1011738667 hasConceptScore W1011738667C2777904410 @default.
- W1011738667 hasConceptScore W1011738667C2779791154 @default.
- W1011738667 hasConceptScore W1011738667C41008148 @default.
- W1011738667 hasConceptScore W1011738667C41298492 @default.
- W1011738667 hasConceptScore W1011738667C55493867 @default.
- W1011738667 hasConceptScore W1011738667C558772884 @default.
- W1011738667 hasConceptScore W1011738667C64219723 @default.
- W1011738667 hasConceptScore W1011738667C80444323 @default.
- W1011738667 hasLocation W10117386671 @default.
- W1011738667 hasOpenAccess W1011738667 @default.
- W1011738667 hasPrimaryLocation W10117386671 @default.
- W1011738667 hasRelatedWork W1994586252 @default.
- W1011738667 hasRelatedWork W2050394306 @default.
- W1011738667 hasRelatedWork W2073411873 @default.
- W1011738667 hasRelatedWork W2076417795 @default.
- W1011738667 hasRelatedWork W2094749242 @default.
- W1011738667 hasRelatedWork W2285601813 @default.
- W1011738667 hasRelatedWork W2333127748 @default.
- W1011738667 hasRelatedWork W2411584915 @default.
- W1011738667 hasRelatedWork W4912569 @default.
- W1011738667 hasRelatedWork W2573377245 @default.
- W1011738667 hasVolume "56" @default.
- W1011738667 isParatext "false" @default.
- W1011738667 isRetracted "false" @default.
- W1011738667 magId "1011738667" @default.
- W1011738667 workType "article" @default.