Matches in SemOpenAlex for { <https://semopenalex.org/work/W2529573328> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2529573328 abstract "This paper proposes a Model Driven Engineering automatic translation approach based on the integration of rewriting logic formal specification and UML semi-formal models. This integration is a contribution in formalizing UML models since it lacks for formal semantics. It aims at providing UML with the capabilities of rewriting logic and its Maude language to control and detect incoherencies in their diagrams. Rewriting logic Maude language allows simulation and verification of system's properties using its LTL model-checker. This automatic translation approach is based on meta-modeling and graph transformation since UML diagrams are graphs. More precisely, the authors have proposed five meta-models and three triple graph grammars to perform the translation process. The authors have used Eclipse Generative Modeling tools: Eclipse Modeling Framework (EMF) for meta-modeling, Graphical Modeling Framework (GMF) for generating visual modeling tools and TGG Interpreter for proposing triple graph grammars. The approach is illustrated through an example." @default.
- W2529573328 created "2016-10-14" @default.
- W2529573328 creator A5008826401 @default.
- W2529573328 creator A5027920299 @default.
- W2529573328 creator A5082473579 @default.
- W2529573328 date "2015-04-01" @default.
- W2529573328 modified "2023-09-24" @default.
- W2529573328 title "Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars" @default.
- W2529573328 cites W1976195354 @default.
- W2529573328 cites W1995440360 @default.
- W2529573328 cites W1998649124 @default.
- W2529573328 cites W2009334408 @default.
- W2529573328 cites W2073063876 @default.
- W2529573328 cites W2097974511 @default.
- W2529573328 cites W2110642232 @default.
- W2529573328 cites W2121047523 @default.
- W2529573328 cites W2121661006 @default.
- W2529573328 doi "https://doi.org/10.4018/ijertcs.2015040103" @default.
- W2529573328 hasPublicationYear "2015" @default.
- W2529573328 type Work @default.
- W2529573328 sameAs 2529573328 @default.
- W2529573328 citedByCount "3" @default.
- W2529573328 countsByYear W25295733282017 @default.
- W2529573328 countsByYear W25295733282018 @default.
- W2529573328 countsByYear W25295733282019 @default.
- W2529573328 crossrefType "journal-article" @default.
- W2529573328 hasAuthorship W2529573328A5008826401 @default.
- W2529573328 hasAuthorship W2529573328A5027920299 @default.
- W2529573328 hasAuthorship W2529573328A5082473579 @default.
- W2529573328 hasConcept C132525143 @default.
- W2529573328 hasConcept C199360897 @default.
- W2529573328 hasConcept C204321447 @default.
- W2529573328 hasConcept C41008148 @default.
- W2529573328 hasConcept C53893814 @default.
- W2529573328 hasConcept C80444323 @default.
- W2529573328 hasConceptScore W2529573328C132525143 @default.
- W2529573328 hasConceptScore W2529573328C199360897 @default.
- W2529573328 hasConceptScore W2529573328C204321447 @default.
- W2529573328 hasConceptScore W2529573328C41008148 @default.
- W2529573328 hasConceptScore W2529573328C53893814 @default.
- W2529573328 hasConceptScore W2529573328C80444323 @default.
- W2529573328 hasLocation W25295733281 @default.
- W2529573328 hasOpenAccess W2529573328 @default.
- W2529573328 hasPrimaryLocation W25295733281 @default.
- W2529573328 hasRelatedWork W111171364 @default.
- W2529573328 hasRelatedWork W1481413998 @default.
- W2529573328 hasRelatedWork W1481536764 @default.
- W2529573328 hasRelatedWork W1489113884 @default.
- W2529573328 hasRelatedWork W1496629129 @default.
- W2529573328 hasRelatedWork W1515218753 @default.
- W2529573328 hasRelatedWork W1525953945 @default.
- W2529573328 hasRelatedWork W1535095256 @default.
- W2529573328 hasRelatedWork W1573647137 @default.
- W2529573328 hasRelatedWork W1940885894 @default.
- W2529573328 hasRelatedWork W1966082459 @default.
- W2529573328 hasRelatedWork W1989383032 @default.
- W2529573328 hasRelatedWork W1989949873 @default.
- W2529573328 hasRelatedWork W2012244714 @default.
- W2529573328 hasRelatedWork W2027996257 @default.
- W2529573328 hasRelatedWork W2083842529 @default.
- W2529573328 hasRelatedWork W2150013594 @default.
- W2529573328 hasRelatedWork W2404531572 @default.
- W2529573328 hasRelatedWork W45191611 @default.
- W2529573328 hasRelatedWork W1596860787 @default.
- W2529573328 isParatext "false" @default.
- W2529573328 isRetracted "false" @default.
- W2529573328 magId "2529573328" @default.
- W2529573328 workType "article" @default.