Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385489163> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W4385489163 abstract "The Unified Modeling Language (UML) is the industrial de-facto standard for designing systems. It has been used widely in many industrial applications. However, the lack of formal semantics for UML makes it unsuitable for formal verification. As such, UML is limited when it comes to the design of safety/security critical systems where faults can cause damages to people, properties, or the environment. This paper proposes an attempt to define a formal semantics for the UML activity diagrams. An algorithm is proposed that translates an activity diagram into a process in a Calculus of Context-aware Ambients (CCA). This process can then be formally analysed using the tool support for CCA. Hence, errors can be detected and fixed early during the system development life-cycle. The pragmatics of the proposed approach is demonstrated using a case study in e-commerce." @default.
- W4385489163 created "2023-08-03" @default.
- W4385489163 creator A5078121026 @default.
- W4385489163 date "2023-06-01" @default.
- W4385489163 modified "2023-09-26" @default.
- W4385489163 title "Towards the Formal Analysis of UML Activity Diagrams in a Calculus of Context-aware Ambients" @default.
- W4385489163 cites W2045202627 @default.
- W4385489163 cites W2156950199 @default.
- W4385489163 doi "https://doi.org/10.1109/compsac57700.2023.00261" @default.
- W4385489163 hasPublicationYear "2023" @default.
- W4385489163 type Work @default.
- W4385489163 citedByCount "0" @default.
- W4385489163 crossrefType "proceedings-article" @default.
- W4385489163 hasAuthorship W4385489163A5078121026 @default.
- W4385489163 hasConcept C111498074 @default.
- W4385489163 hasConcept C115903868 @default.
- W4385489163 hasConcept C145644426 @default.
- W4385489163 hasConcept C146499914 @default.
- W4385489163 hasConcept C146939238 @default.
- W4385489163 hasConcept C151730666 @default.
- W4385489163 hasConcept C161771561 @default.
- W4385489163 hasConcept C184337299 @default.
- W4385489163 hasConcept C199360897 @default.
- W4385489163 hasConcept C202446494 @default.
- W4385489163 hasConcept C2777904410 @default.
- W4385489163 hasConcept C2779343474 @default.
- W4385489163 hasConcept C41008148 @default.
- W4385489163 hasConcept C41298492 @default.
- W4385489163 hasConcept C64219723 @default.
- W4385489163 hasConcept C75606506 @default.
- W4385489163 hasConcept C86803240 @default.
- W4385489163 hasConceptScore W4385489163C111498074 @default.
- W4385489163 hasConceptScore W4385489163C115903868 @default.
- W4385489163 hasConceptScore W4385489163C145644426 @default.
- W4385489163 hasConceptScore W4385489163C146499914 @default.
- W4385489163 hasConceptScore W4385489163C146939238 @default.
- W4385489163 hasConceptScore W4385489163C151730666 @default.
- W4385489163 hasConceptScore W4385489163C161771561 @default.
- W4385489163 hasConceptScore W4385489163C184337299 @default.
- W4385489163 hasConceptScore W4385489163C199360897 @default.
- W4385489163 hasConceptScore W4385489163C202446494 @default.
- W4385489163 hasConceptScore W4385489163C2777904410 @default.
- W4385489163 hasConceptScore W4385489163C2779343474 @default.
- W4385489163 hasConceptScore W4385489163C41008148 @default.
- W4385489163 hasConceptScore W4385489163C41298492 @default.
- W4385489163 hasConceptScore W4385489163C64219723 @default.
- W4385489163 hasConceptScore W4385489163C75606506 @default.
- W4385489163 hasConceptScore W4385489163C86803240 @default.
- W4385489163 hasLocation W43854891631 @default.
- W4385489163 hasOpenAccess W4385489163 @default.
- W4385489163 hasPrimaryLocation W43854891631 @default.
- W4385489163 hasRelatedWork W1510078815 @default.
- W4385489163 hasRelatedWork W2003153650 @default.
- W4385489163 hasRelatedWork W2152717371 @default.
- W4385489163 hasRelatedWork W2376426232 @default.
- W4385489163 hasRelatedWork W2379674920 @default.
- W4385489163 hasRelatedWork W2391415470 @default.
- W4385489163 hasRelatedWork W2491379280 @default.
- W4385489163 hasRelatedWork W287990975 @default.
- W4385489163 hasRelatedWork W2980660034 @default.
- W4385489163 hasRelatedWork W4385489163 @default.
- W4385489163 isParatext "false" @default.
- W4385489163 isRetracted "false" @default.
- W4385489163 workType "article" @default.