Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024171470> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2024171470 abstract "Web systems are self-descriptive software components which can automatically be discovered and engaged, together with other web components, to complete tasks over the Internet. Unified Modeling Language (UML), a widely accepted object-oriented system modeling and design language, and adapted for software architecture descriptions for several years, has been used for the web system description recently. However, it is hard to detect the system problems, such as correctness, consistency etc., of the integration of Web services without a formal semantics of web services architecture. In this paper, we proposed an approach to solving this issue by translating the UML web service architecture description into a formal modeling language - SO-SAM, and verify the correctness of the web system design using model checking techniques. We presented this approach through an imaging processing scenario in the distributed web application." @default.
- W2024171470 created "2016-06-24" @default.
- W2024171470 creator A5009723525 @default.
- W2024171470 creator A5047231419 @default.
- W2024171470 creator A5055246406 @default.
- W2024171470 date "2006-01-01" @default.
- W2024171470 modified "2023-09-23" @default.
- W2024171470 title "Formalizing and validating UML architecture description of web systems" @default.
- W2024171470 cites W1239375374 @default.
- W2024171470 cites W1506588809 @default.
- W2024171470 cites W1511357411 @default.
- W2024171470 cites W1561319075 @default.
- W2024171470 cites W1568997950 @default.
- W2024171470 cites W1593992420 @default.
- W2024171470 cites W1600979142 @default.
- W2024171470 cites W1603788080 @default.
- W2024171470 cites W174471988 @default.
- W2024171470 cites W1758496109 @default.
- W2024171470 cites W1834813218 @default.
- W2024171470 cites W187486543 @default.
- W2024171470 cites W1965171366 @default.
- W2024171470 cites W1976615287 @default.
- W2024171470 cites W1980654796 @default.
- W2024171470 cites W1994887528 @default.
- W2024171470 cites W2022759223 @default.
- W2024171470 cites W2038476425 @default.
- W2024171470 cites W2058284014 @default.
- W2024171470 cites W2077318760 @default.
- W2024171470 cites W2099958466 @default.
- W2024171470 cites W2119810999 @default.
- W2024171470 cites W2134287022 @default.
- W2024171470 cites W2162366870 @default.
- W2024171470 cites W39788928 @default.
- W2024171470 cites W1488181451 @default.
- W2024171470 cites W151904734 @default.
- W2024171470 doi "https://doi.org/10.1145/1149993.1150002" @default.
- W2024171470 hasPublicationYear "2006" @default.
- W2024171470 type Work @default.
- W2024171470 sameAs 2024171470 @default.
- W2024171470 citedByCount "11" @default.
- W2024171470 countsByYear W20241714702012 @default.
- W2024171470 crossrefType "proceedings-article" @default.
- W2024171470 hasAuthorship W2024171470A5009723525 @default.
- W2024171470 hasAuthorship W2024171470A5047231419 @default.
- W2024171470 hasAuthorship W2024171470A5055246406 @default.
- W2024171470 hasBestOaLocation W20241714702 @default.
- W2024171470 hasConcept C115903868 @default.
- W2024171470 hasConcept C130436687 @default.
- W2024171470 hasConcept C136764020 @default.
- W2024171470 hasConcept C145644426 @default.
- W2024171470 hasConcept C146939238 @default.
- W2024171470 hasConcept C162005631 @default.
- W2024171470 hasConcept C199360897 @default.
- W2024171470 hasConcept C2777904410 @default.
- W2024171470 hasConcept C35578498 @default.
- W2024171470 hasConcept C41008148 @default.
- W2024171470 hasConcept C41298492 @default.
- W2024171470 hasConcept C55439883 @default.
- W2024171470 hasConceptScore W2024171470C115903868 @default.
- W2024171470 hasConceptScore W2024171470C130436687 @default.
- W2024171470 hasConceptScore W2024171470C136764020 @default.
- W2024171470 hasConceptScore W2024171470C145644426 @default.
- W2024171470 hasConceptScore W2024171470C146939238 @default.
- W2024171470 hasConceptScore W2024171470C162005631 @default.
- W2024171470 hasConceptScore W2024171470C199360897 @default.
- W2024171470 hasConceptScore W2024171470C2777904410 @default.
- W2024171470 hasConceptScore W2024171470C35578498 @default.
- W2024171470 hasConceptScore W2024171470C41008148 @default.
- W2024171470 hasConceptScore W2024171470C41298492 @default.
- W2024171470 hasConceptScore W2024171470C55439883 @default.
- W2024171470 hasLocation W20241714701 @default.
- W2024171470 hasLocation W20241714702 @default.
- W2024171470 hasOpenAccess W2024171470 @default.
- W2024171470 hasPrimaryLocation W20241714701 @default.
- W2024171470 hasRelatedWork W1482020760 @default.
- W2024171470 hasRelatedWork W1483591234 @default.
- W2024171470 hasRelatedWork W1510755437 @default.
- W2024171470 hasRelatedWork W1522249062 @default.
- W2024171470 hasRelatedWork W1583953854 @default.
- W2024171470 hasRelatedWork W1975371109 @default.
- W2024171470 hasRelatedWork W2057508299 @default.
- W2024171470 hasRelatedWork W2111941696 @default.
- W2024171470 hasRelatedWork W2112428532 @default.
- W2024171470 hasRelatedWork W2116391632 @default.
- W2024171470 hasRelatedWork W2123773562 @default.
- W2024171470 hasRelatedWork W2142949842 @default.
- W2024171470 hasRelatedWork W2148164596 @default.
- W2024171470 hasRelatedWork W2150489029 @default.
- W2024171470 hasRelatedWork W2153473270 @default.
- W2024171470 hasRelatedWork W2376834601 @default.
- W2024171470 hasRelatedWork W2581274914 @default.
- W2024171470 hasRelatedWork W3143804285 @default.
- W2024171470 hasRelatedWork W771492004 @default.
- W2024171470 hasRelatedWork W1500066768 @default.
- W2024171470 isParatext "false" @default.
- W2024171470 isRetracted "false" @default.
- W2024171470 magId "2024171470" @default.
- W2024171470 workType "article" @default.