FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1488342419> ?p ?o ?g. }

• W1488342419 abstract "Service composition is fundamental in the SOA paradigm. It is oriented to build complex applications from smaller components. The design of composing service-based applications is mainly carried out throughout two composition techniques namely choreography and orchestration. Although these two composition models are different in nature, they are complementary. Choreography presents an abstract description of protocols. It offers a top view of the management rules which govern the interactions between the services involved in a decentralized application. On the other hand, orchestration provides details of the executable process at single peers which are necessary for the implementation of choreography. In this context, one open research problem, is the correct transformation of choreography specifications to orchestration specifications since orchestration provides more details to choreography specification. The choreography transformation has been the subject of several research works. Nevertheless, the existing works have considered that the choreography, on which their transformations are based, is correct by default. So, they have not sought to verify whether it is free of any error or not. Actually, due to the message passing nature of web services interaction, many subtle errors can occur. So, it is crucial to implement a checking process oriented to identify eventual incompatibilities that may arise. For this purpose, we present a formal verification approach based on the SPIN model-checker. The approach automatically transforms WS-CDL choreography specifications to Promela code for verification purposes. We verify non-functional properties that are expressed with linear temporal logic." @default.
• W1488342419 created "2016-06-24" @default.
• W1488342419 creator A5009347219 @default.
• W1488342419 creator A5037054916 @default.
• W1488342419 creator A5039288435 @default.
• W1488342419 creator A5063228263 @default.
• W1488342419 creator A5090103288 @default.
• W1488342419 date "2015-06-01" @default.
• W1488342419 modified "2023-09-28" @default.
• W1488342419 title "A service-oriented architecture (SOA) framework for choreography verification" @default.
• W1488342419 cites W1413375386 @default.
• W1488342419 cites W1488556964 @default.
• W1488342419 cites W1495802909 @default.
• W1488342419 cites W1498609558 @default.
• W1488342419 cites W1592363676 @default.
• W1488342419 cites W2032130135 @default.
• W1488342419 cites W2034672160 @default.
• W1488342419 cites W2052164735 @default.
• W1488342419 cites W2070813196 @default.
• W1488342419 cites W2093555697 @default.
• W1488342419 cites W2153423952 @default.
• W1488342419 cites W2161918670 @default.
• W1488342419 cites W2164216788 @default.
• W1488342419 cites W2165413257 @default.
• W1488342419 cites W3083040039 @default.
• W1488342419 cites W85326815 @default.
• W1488342419 doi "https://doi.org/10.1109/icis.2015.7166671" @default.
• W1488342419 hasPublicationYear "2015" @default.
• W1488342419 type Work @default.
• W1488342419 sameAs 1488342419 @default.
• W1488342419 citedByCount "2" @default.
• W1488342419 countsByYear W14883424192018 @default.
• W1488342419 countsByYear W14883424192021 @default.
• W1488342419 crossrefType "proceedings-article" @default.
• W1488342419 hasAuthorship W1488342419A5009347219 @default.
• W1488342419 hasAuthorship W1488342419A5037054916 @default.
• W1488342419 hasAuthorship W1488342419A5039288435 @default.
• W1488342419 hasAuthorship W1488342419A5063228263 @default.
• W1488342419 hasAuthorship W1488342419A5090103288 @default.
• W1488342419 hasConcept C110251889 @default.
• W1488342419 hasConcept C115903868 @default.
• W1488342419 hasConcept C120314980 @default.
• W1488342419 hasConcept C124952713 @default.
• W1488342419 hasConcept C136264566 @default.
• W1488342419 hasConcept C142362112 @default.
• W1488342419 hasConcept C147446459 @default.
• W1488342419 hasConcept C151730666 @default.
• W1488342419 hasConcept C153349607 @default.
• W1488342419 hasConcept C160145156 @default.
• W1488342419 hasConcept C162324750 @default.
• W1488342419 hasConcept C183920142 @default.
• W1488342419 hasConcept C199168358 @default.
• W1488342419 hasConcept C199360897 @default.
• W1488342419 hasConcept C2776329536 @default.
• W1488342419 hasConcept C2779343474 @default.
• W1488342419 hasConcept C2780378061 @default.
• W1488342419 hasConcept C35578498 @default.
• W1488342419 hasConcept C41008148 @default.
• W1488342419 hasConcept C4927394 @default.
• W1488342419 hasConcept C558565934 @default.
• W1488342419 hasConcept C57041688 @default.
• W1488342419 hasConcept C86803240 @default.
• W1488342419 hasConcept C98045186 @default.
• W1488342419 hasConceptScore W1488342419C110251889 @default.
• W1488342419 hasConceptScore W1488342419C115903868 @default.
• W1488342419 hasConceptScore W1488342419C120314980 @default.
• W1488342419 hasConceptScore W1488342419C124952713 @default.
• W1488342419 hasConceptScore W1488342419C136264566 @default.
• W1488342419 hasConceptScore W1488342419C142362112 @default.
• W1488342419 hasConceptScore W1488342419C147446459 @default.
• W1488342419 hasConceptScore W1488342419C151730666 @default.
• W1488342419 hasConceptScore W1488342419C153349607 @default.
• W1488342419 hasConceptScore W1488342419C160145156 @default.
• W1488342419 hasConceptScore W1488342419C162324750 @default.
• W1488342419 hasConceptScore W1488342419C183920142 @default.
• W1488342419 hasConceptScore W1488342419C199168358 @default.
• W1488342419 hasConceptScore W1488342419C199360897 @default.
• W1488342419 hasConceptScore W1488342419C2776329536 @default.
• W1488342419 hasConceptScore W1488342419C2779343474 @default.
• W1488342419 hasConceptScore W1488342419C2780378061 @default.
• W1488342419 hasConceptScore W1488342419C35578498 @default.
• W1488342419 hasConceptScore W1488342419C41008148 @default.
• W1488342419 hasConceptScore W1488342419C4927394 @default.
• W1488342419 hasConceptScore W1488342419C558565934 @default.
• W1488342419 hasConceptScore W1488342419C57041688 @default.
• W1488342419 hasConceptScore W1488342419C86803240 @default.
• W1488342419 hasConceptScore W1488342419C98045186 @default.
• W1488342419 hasLocation W14883424191 @default.
• W1488342419 hasOpenAccess W1488342419 @default.
• W1488342419 hasPrimaryLocation W14883424191 @default.
• W1488342419 hasRelatedWork W1492628152 @default.
• W1488342419 hasRelatedWork W1512371038 @default.
• W1488342419 hasRelatedWork W1598352985 @default.
• W1488342419 hasRelatedWork W2003521185 @default.
• W1488342419 hasRelatedWork W2031834768 @default.
• W1488342419 hasRelatedWork W2032130135 @default.
• W1488342419 hasRelatedWork W2085752404 @default.
• W1488342419 hasRelatedWork W2086283825 @default.
• W1488342419 hasRelatedWork W2106183615 @default.
• W1488342419 hasRelatedWork W2283460595 @default.

• next