FRINK Linked Data Fragments server

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

• W2032130135 endingPage "54" @default.
• W2032130135 startingPage "41" @default.
• W2032130135 abstract "A web service composition is considered as a real revolution in SOA (Service Oriented Architecture). It is based on assembling independent and loosely coupled services to build a composed web service. This composition can be described from both a local or a global perspective by respective orchestration or choreography. The validation of web service orchestrations is the main topic of this work. It is based on the verification of two classes of properties: generic and specific properties. The former can be checked for any invoked web services whereas the specific properties are different interdependence relationships between activities within an orchestration process. These properties cannot be directly verified on the orchestration process, so, the authors have to use formal techniques. In this paper, they propose a formal approach for the validation of web service orchestrations. This work adopts WS-BPEL 2.0 as the language to describe the web service orchestration and uses the SPIN model-checker for the verification engine. The WS-BPEL specification is translated into Promela code which is the input language for the SPIN model-checker, in order to check generic and specific properties expressed with LTL (Linear Temporal Logic)." @default.
• W2032130135 created "2016-06-24" @default.
• W2032130135 creator A5007622152 @default.
• W2032130135 creator A5063228263 @default.
• W2032130135 creator A5090103288 @default.
• W2032130135 date "2013-01-01" @default.
• W2032130135 modified "2023-09-27" @default.
• W2032130135 title "A Formal Approach for the Validation of Web Service Orchestrations" @default.
• W2032130135 cites W1578197436 @default.
• W2032130135 cites W1784263511 @default.
• W2032130135 cites W1995730330 @default.
• W2032130135 cites W2018318486 @default.
• W2032130135 cites W2031344396 @default.
• W2032130135 cites W2036149010 @default.
• W2032130135 cites W2039076756 @default.
• W2032130135 cites W2053279894 @default.
• W2032130135 cites W2053322049 @default.
• W2032130135 cites W2061853602 @default.
• W2032130135 cites W2095320786 @default.
• W2032130135 cites W2097565277 @default.
• W2032130135 cites W2101887357 @default.
• W2032130135 cites W2106183615 @default.
• W2032130135 cites W2118639317 @default.
• W2032130135 cites W2127094324 @default.
• W2032130135 cites W2156320716 @default.
• W2032130135 cites W2157418168 @default.
• W2032130135 cites W2165413257 @default.
• W2032130135 doi "https://doi.org/10.4018/jwp.2013010104" @default.
• W2032130135 hasPublicationYear "2013" @default.
• W2032130135 type Work @default.
• W2032130135 sameAs 2032130135 @default.
• W2032130135 citedByCount "6" @default.
• W2032130135 countsByYear W20321301352014 @default.
• W2032130135 countsByYear W20321301352015 @default.
• W2032130135 countsByYear W20321301352018 @default.
• W2032130135 countsByYear W20321301352020 @default.
• W2032130135 crossrefType "journal-article" @default.
• W2032130135 hasAuthorship W2032130135A5007622152 @default.
• W2032130135 hasAuthorship W2032130135A5063228263 @default.
• W2032130135 hasAuthorship W2032130135A5090103288 @default.
• W2032130135 hasConcept C110251889 @default.
• W2032130135 hasConcept C111498074 @default.
• W2032130135 hasConcept C115903868 @default.
• W2032130135 hasConcept C124952713 @default.
• W2032130135 hasConcept C136264566 @default.
• W2032130135 hasConcept C136764020 @default.
• W2032130135 hasConcept C142362112 @default.
• W2032130135 hasConcept C147446459 @default.
• W2032130135 hasConcept C153349607 @default.
• W2032130135 hasConcept C162324750 @default.
• W2032130135 hasConcept C183920142 @default.
• W2032130135 hasConcept C199168358 @default.
• W2032130135 hasConcept C199360897 @default.
• W2032130135 hasConcept C2776329536 @default.
• W2032130135 hasConcept C2780378061 @default.
• W2032130135 hasConcept C35578498 @default.
• W2032130135 hasConcept C41008148 @default.
• W2032130135 hasConcept C4927394 @default.
• W2032130135 hasConcept C558565934 @default.
• W2032130135 hasConcept C57041688 @default.
• W2032130135 hasConceptScore W2032130135C110251889 @default.
• W2032130135 hasConceptScore W2032130135C111498074 @default.
• W2032130135 hasConceptScore W2032130135C115903868 @default.
• W2032130135 hasConceptScore W2032130135C124952713 @default.
• W2032130135 hasConceptScore W2032130135C136264566 @default.
• W2032130135 hasConceptScore W2032130135C136764020 @default.
• W2032130135 hasConceptScore W2032130135C142362112 @default.
• W2032130135 hasConceptScore W2032130135C147446459 @default.
• W2032130135 hasConceptScore W2032130135C153349607 @default.
• W2032130135 hasConceptScore W2032130135C162324750 @default.
• W2032130135 hasConceptScore W2032130135C183920142 @default.
• W2032130135 hasConceptScore W2032130135C199168358 @default.
• W2032130135 hasConceptScore W2032130135C199360897 @default.
• W2032130135 hasConceptScore W2032130135C2776329536 @default.
• W2032130135 hasConceptScore W2032130135C2780378061 @default.
• W2032130135 hasConceptScore W2032130135C35578498 @default.
• W2032130135 hasConceptScore W2032130135C41008148 @default.
• W2032130135 hasConceptScore W2032130135C4927394 @default.
• W2032130135 hasConceptScore W2032130135C558565934 @default.
• W2032130135 hasConceptScore W2032130135C57041688 @default.
• W2032130135 hasIssue "1" @default.
• W2032130135 hasLocation W20321301351 @default.
• W2032130135 hasOpenAccess W2032130135 @default.
• W2032130135 hasPrimaryLocation W20321301351 @default.
• W2032130135 hasRelatedWork W1558792461 @default.
• W2032130135 hasRelatedWork W1613187755 @default.
• W2032130135 hasRelatedWork W2018318486 @default.
• W2032130135 hasRelatedWork W2032130135 @default.
• W2032130135 hasRelatedWork W2101887357 @default.
• W2032130135 hasRelatedWork W2118503825 @default.
• W2032130135 hasRelatedWork W2165413257 @default.
• W2032130135 hasRelatedWork W2295834120 @default.
• W2032130135 hasRelatedWork W2795633176 @default.
• W2032130135 hasRelatedWork W2901708176 @default.
• W2032130135 hasVolume "5" @default.
• W2032130135 isParatext "false" @default.
• W2032130135 isRetracted "false" @default.
• W2032130135 magId "2032130135" @default.

• next