Matches in SemOpenAlex for { <https://semopenalex.org/work/W2483754430> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2483754430 abstract "Publisher Summary This chapter presents an executable model for collaborations and interactions of the Unified Modeling Language as a rewriting logic theory in CafeOBJ. The Unified Modeling Language comprises a notion of interaction modeling, called collaborations, and simultaneously features a sound abstract syntax and a rich and detailed, though informal, semantics for this concept. However, the transfer of known simulation results is limited by some semantical deviations and the integration of new characteristics. In an UML model, collaborations specify how an operation or a use case of the model is realized by a cooperation of several instances of model elements. Therefore this chapter proposes an executable formal model for UML collaborations that is directly based on UML's abstract syntax and provably correct with respect to the temporal logic semantics of interactions, thus yielding simulation capabilities for UML's specific notion of interaction modeling. The chapter uses rewriting logic dimension of the algebraic specification language CafeOBJ, as a semantic framework that allows for a unified treatment of object-orientation and concurrency. Moreover, it summarizes UML collaboration's concrete and abstract syntax and the formal semantics of UML interactions in temporal logic. This chapter also describes the generation of a CafeOBJ specification from UML collaboration along with the correctness proof for the generated rewrite theory with respect to the temporal logic specification of the collaboration's interaction. The chapter concludes conclude with an outlook to possible refinements and extensions." @default.
- W2483754430 created "2016-08-23" @default.
- W2483754430 creator A5006245504 @default.
- W2483754430 date "2000-01-01" @default.
- W2483754430 modified "2023-09-27" @default.
- W2483754430 title "Generating Rewrite Theories from UML Collaborations" @default.
- W2483754430 cites W1518566442 @default.
- W2483754430 cites W1577421310 @default.
- W2483754430 cites W2115773332 @default.
- W2483754430 cites W74571819 @default.
- W2483754430 doi "https://doi.org/10.1016/b978-044450556-9/50065-4" @default.
- W2483754430 hasPublicationYear "2000" @default.
- W2483754430 type Work @default.
- W2483754430 sameAs 2483754430 @default.
- W2483754430 citedByCount "4" @default.
- W2483754430 countsByYear W24837544302012 @default.
- W2483754430 countsByYear W24837544302014 @default.
- W2483754430 crossrefType "book-chapter" @default.
- W2483754430 hasAuthorship W2483754430A5006245504 @default.
- W2483754430 hasConcept C145644426 @default.
- W2483754430 hasConcept C146499914 @default.
- W2483754430 hasConcept C146939238 @default.
- W2483754430 hasConcept C154690210 @default.
- W2483754430 hasConcept C154945302 @default.
- W2483754430 hasConcept C160145156 @default.
- W2483754430 hasConcept C184337299 @default.
- W2483754430 hasConcept C199360897 @default.
- W2483754430 hasConcept C2777904410 @default.
- W2483754430 hasConcept C41008148 @default.
- W2483754430 hasConcept C41298492 @default.
- W2483754430 hasConcept C55439883 @default.
- W2483754430 hasConcept C60048249 @default.
- W2483754430 hasConcept C80444323 @default.
- W2483754430 hasConceptScore W2483754430C145644426 @default.
- W2483754430 hasConceptScore W2483754430C146499914 @default.
- W2483754430 hasConceptScore W2483754430C146939238 @default.
- W2483754430 hasConceptScore W2483754430C154690210 @default.
- W2483754430 hasConceptScore W2483754430C154945302 @default.
- W2483754430 hasConceptScore W2483754430C160145156 @default.
- W2483754430 hasConceptScore W2483754430C184337299 @default.
- W2483754430 hasConceptScore W2483754430C199360897 @default.
- W2483754430 hasConceptScore W2483754430C2777904410 @default.
- W2483754430 hasConceptScore W2483754430C41008148 @default.
- W2483754430 hasConceptScore W2483754430C41298492 @default.
- W2483754430 hasConceptScore W2483754430C55439883 @default.
- W2483754430 hasConceptScore W2483754430C60048249 @default.
- W2483754430 hasConceptScore W2483754430C80444323 @default.
- W2483754430 hasLocation W24837544301 @default.
- W2483754430 hasOpenAccess W2483754430 @default.
- W2483754430 hasPrimaryLocation W24837544301 @default.
- W2483754430 hasRelatedWork W1489045083 @default.
- W2483754430 hasRelatedWork W1517797129 @default.
- W2483754430 hasRelatedWork W1607436658 @default.
- W2483754430 hasRelatedWork W1922627211 @default.
- W2483754430 hasRelatedWork W1976195354 @default.
- W2483754430 hasRelatedWork W2008122778 @default.
- W2483754430 hasRelatedWork W2014864044 @default.
- W2483754430 hasRelatedWork W2024047464 @default.
- W2483754430 hasRelatedWork W2025196861 @default.
- W2483754430 hasRelatedWork W2067573892 @default.
- W2483754430 hasRelatedWork W2117084781 @default.
- W2483754430 hasRelatedWork W2145422426 @default.
- W2483754430 hasRelatedWork W2145488306 @default.
- W2483754430 hasRelatedWork W2158402267 @default.
- W2483754430 hasRelatedWork W2159597605 @default.
- W2483754430 hasRelatedWork W2543293958 @default.
- W2483754430 hasRelatedWork W2593536957 @default.
- W2483754430 hasRelatedWork W649136448 @default.
- W2483754430 hasRelatedWork W69851487 @default.
- W2483754430 hasRelatedWork W99640918 @default.
- W2483754430 isParatext "false" @default.
- W2483754430 isRetracted "false" @default.
- W2483754430 magId "2483754430" @default.
- W2483754430 workType "book-chapter" @default.