Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108596467> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2108596467 abstract "UML 2 sequence diagrams are a well-known graphical language and are widely used to specify the dynamic behaviors of transaction-oriented systems. However, sequence diagrams are expressed in a semi-formal modeling language and need a well-defined formal semantic base for their notations. This formalization enables analysis and verification tasks. Many efforts have been made to transform sequence diagrams into formal representations including Petri Nets. Petri Nets are a mathematical tool allowing formal specification of the system dynamics and they are commonly used in Model Checking. In this paper, we present a transformation approach that consists of a source metamodel for UML 2 sequence diagrams, a target metamodel for Petri Nets and transformation rules. This approach has been implemented using Atlas Transformation Language (ATL). A Cellular Phone System is considered, as a case study. Keywords UML 2, Sequence diagrams, Petri Nets, Model checking, Model transformation, Metamodeling, Transformation rules, ATL" @default.
- W2108596467 created "2016-06-24" @default.
- W2108596467 creator A5025671885 @default.
- W2108596467 date "2014-01-09" @default.
- W2108596467 modified "2023-09-24" @default.
- W2108596467 title "Design of ATL Rules for Transforming UML 2 Sequence Diagrams into Petri Nets" @default.
- W2108596467 cites W1607508884 @default.
- W2108596467 cites W179792259 @default.
- W2108596467 cites W1996109622 @default.
- W2108596467 cites W1998356535 @default.
- W2108596467 cites W2107803277 @default.
- W2108596467 cites W2113355185 @default.
- W2108596467 cites W2133640866 @default.
- W2108596467 cites W2169954581 @default.
- W2108596467 cites W2395186302 @default.
- W2108596467 cites W2585899516 @default.
- W2108596467 cites W2615300779 @default.
- W2108596467 cites W46772962 @default.
- W2108596467 cites W76241139 @default.
- W2108596467 hasPublicationYear "2014" @default.
- W2108596467 type Work @default.
- W2108596467 sameAs 2108596467 @default.
- W2108596467 citedByCount "1" @default.
- W2108596467 countsByYear W21085964672017 @default.
- W2108596467 crossrefType "journal-article" @default.
- W2108596467 hasAuthorship W2108596467A5025671885 @default.
- W2108596467 hasConcept C136155141 @default.
- W2108596467 hasConcept C145644426 @default.
- W2108596467 hasConcept C153185123 @default.
- W2108596467 hasConcept C154945302 @default.
- W2108596467 hasConcept C199360897 @default.
- W2108596467 hasConcept C2776436953 @default.
- W2108596467 hasConcept C2777904410 @default.
- W2108596467 hasConcept C2779791154 @default.
- W2108596467 hasConcept C38677869 @default.
- W2108596467 hasConcept C41008148 @default.
- W2108596467 hasConcept C41298492 @default.
- W2108596467 hasConcept C64219723 @default.
- W2108596467 hasConcept C80444323 @default.
- W2108596467 hasConcept C86610423 @default.
- W2108596467 hasConceptScore W2108596467C136155141 @default.
- W2108596467 hasConceptScore W2108596467C145644426 @default.
- W2108596467 hasConceptScore W2108596467C153185123 @default.
- W2108596467 hasConceptScore W2108596467C154945302 @default.
- W2108596467 hasConceptScore W2108596467C199360897 @default.
- W2108596467 hasConceptScore W2108596467C2776436953 @default.
- W2108596467 hasConceptScore W2108596467C2777904410 @default.
- W2108596467 hasConceptScore W2108596467C2779791154 @default.
- W2108596467 hasConceptScore W2108596467C38677869 @default.
- W2108596467 hasConceptScore W2108596467C41008148 @default.
- W2108596467 hasConceptScore W2108596467C41298492 @default.
- W2108596467 hasConceptScore W2108596467C64219723 @default.
- W2108596467 hasConceptScore W2108596467C80444323 @default.
- W2108596467 hasConceptScore W2108596467C86610423 @default.
- W2108596467 hasIssue "1" @default.
- W2108596467 hasLocation W21085964671 @default.
- W2108596467 hasOpenAccess W2108596467 @default.
- W2108596467 hasPrimaryLocation W21085964671 @default.
- W2108596467 hasRelatedWork W1499276942 @default.
- W2108596467 hasRelatedWork W1518166846 @default.
- W2108596467 hasRelatedWork W1522784421 @default.
- W2108596467 hasRelatedWork W1740217579 @default.
- W2108596467 hasRelatedWork W2018827876 @default.
- W2108596467 hasRelatedWork W2069866564 @default.
- W2108596467 hasRelatedWork W2093056009 @default.
- W2108596467 hasRelatedWork W2098098345 @default.
- W2108596467 hasRelatedWork W2122606059 @default.
- W2108596467 hasRelatedWork W2140207680 @default.
- W2108596467 hasRelatedWork W2148347297 @default.
- W2108596467 hasRelatedWork W2384376039 @default.
- W2108596467 hasRelatedWork W2769090014 @default.
- W2108596467 hasRelatedWork W2886109573 @default.
- W2108596467 hasRelatedWork W2944564375 @default.
- W2108596467 hasRelatedWork W2972878993 @default.
- W2108596467 hasRelatedWork W2982477562 @default.
- W2108596467 hasRelatedWork W977147100 @default.
- W2108596467 hasRelatedWork W1030622973 @default.
- W2108596467 hasRelatedWork W2460563004 @default.
- W2108596467 hasVolume "8" @default.
- W2108596467 isParatext "false" @default.
- W2108596467 isRetracted "false" @default.
- W2108596467 magId "2108596467" @default.
- W2108596467 workType "article" @default.