Matches in SemOpenAlex for { <https://semopenalex.org/work/W2039919170> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2039919170 endingPage "293" @default.
- W2039919170 startingPage "276" @default.
- W2039919170 abstract "Weak sequencing is the implicit composition operator for interactions defined by the OMG specification. Accordingly, most semantics retain this operator to compose a CombinedFragment with the rest of the interactions. But all of them use only formalisms based on trace or interleaving semantics. True-concurrency-based formalisms ignore the standard interpretation and introduce synchronization on entering and exiting fragments. In this paper, we propose to revise the formal semantics of the CombinedFragments using a formalism that offers a high expressivity power to describe execution traces with regard to true concurrency as well as interleaving. We define an appropriate semantics, which is in accordance with the UML 2.4 specification regarding the event ordering over the operands and the constraints evaluation. For this purpose, we propose an approach to translate the CombinedFragments into Colored Petri Nets , or CPNs. The derived specification is value-oriented, composed of identified objects and events, thus allowing a more precise analysis of the model behavior. It is verified by model checking . A case study is given to illustrate the approach throughout the paper." @default.
- W2039919170 created "2016-06-24" @default.
- W2039919170 creator A5013035858 @default.
- W2039919170 creator A5030453923 @default.
- W2039919170 date "2013-05-01" @default.
- W2039919170 modified "2023-09-27" @default.
- W2039919170 title "An interleaving semantics for UML 2 interactions using Petri nets" @default.
- W2039919170 cites W1508831365 @default.
- W2039919170 cites W1592055490 @default.
- W2039919170 cites W1965307110 @default.
- W2039919170 cites W1974181258 @default.
- W2039919170 cites W1986117326 @default.
- W2039919170 cites W1994814240 @default.
- W2039919170 cites W2003048392 @default.
- W2039919170 cites W2016861322 @default.
- W2039919170 cites W2036364764 @default.
- W2039919170 cites W2080549072 @default.
- W2039919170 cites W2108678312 @default.
- W2039919170 cites W2148664104 @default.
- W2039919170 cites W2151271773 @default.
- W2039919170 cites W2488465601 @default.
- W2039919170 cites W2896471304 @default.
- W2039919170 cites W2913280239 @default.
- W2039919170 doi "https://doi.org/10.1016/j.ins.2012.12.024" @default.
- W2039919170 hasPublicationYear "2013" @default.
- W2039919170 type Work @default.
- W2039919170 sameAs 2039919170 @default.
- W2039919170 citedByCount "7" @default.
- W2039919170 countsByYear W20399191702014 @default.
- W2039919170 countsByYear W20399191702015 @default.
- W2039919170 countsByYear W20399191702016 @default.
- W2039919170 countsByYear W20399191702018 @default.
- W2039919170 crossrefType "journal-article" @default.
- W2039919170 hasAuthorship W2039919170A5013035858 @default.
- W2039919170 hasAuthorship W2039919170A5030453923 @default.
- W2039919170 hasConcept C111919701 @default.
- W2039919170 hasConcept C156325763 @default.
- W2039919170 hasConcept C171018156 @default.
- W2039919170 hasConcept C184337299 @default.
- W2039919170 hasConcept C193702766 @default.
- W2039919170 hasConcept C199360897 @default.
- W2039919170 hasConcept C207648694 @default.
- W2039919170 hasConcept C2524010 @default.
- W2039919170 hasConcept C28034677 @default.
- W2039919170 hasConcept C33923547 @default.
- W2039919170 hasConcept C38677869 @default.
- W2039919170 hasConcept C41008148 @default.
- W2039919170 hasConcept C80444323 @default.
- W2039919170 hasConceptScore W2039919170C111919701 @default.
- W2039919170 hasConceptScore W2039919170C156325763 @default.
- W2039919170 hasConceptScore W2039919170C171018156 @default.
- W2039919170 hasConceptScore W2039919170C184337299 @default.
- W2039919170 hasConceptScore W2039919170C193702766 @default.
- W2039919170 hasConceptScore W2039919170C199360897 @default.
- W2039919170 hasConceptScore W2039919170C207648694 @default.
- W2039919170 hasConceptScore W2039919170C2524010 @default.
- W2039919170 hasConceptScore W2039919170C28034677 @default.
- W2039919170 hasConceptScore W2039919170C33923547 @default.
- W2039919170 hasConceptScore W2039919170C38677869 @default.
- W2039919170 hasConceptScore W2039919170C41008148 @default.
- W2039919170 hasConceptScore W2039919170C80444323 @default.
- W2039919170 hasLocation W20399191701 @default.
- W2039919170 hasOpenAccess W2039919170 @default.
- W2039919170 hasPrimaryLocation W20399191701 @default.
- W2039919170 hasRelatedWork W1481549060 @default.
- W2039919170 hasRelatedWork W1515229775 @default.
- W2039919170 hasRelatedWork W1759888694 @default.
- W2039919170 hasRelatedWork W1948419321 @default.
- W2039919170 hasRelatedWork W2097828479 @default.
- W2039919170 hasRelatedWork W2148160518 @default.
- W2039919170 hasRelatedWork W2475115995 @default.
- W2039919170 hasRelatedWork W29068956 @default.
- W2039919170 hasRelatedWork W3105090503 @default.
- W2039919170 hasRelatedWork W2346464967 @default.
- W2039919170 hasVolume "232" @default.
- W2039919170 isParatext "false" @default.
- W2039919170 isRetracted "false" @default.
- W2039919170 magId "2039919170" @default.
- W2039919170 workType "article" @default.