Matches in SemOpenAlex for { <https://semopenalex.org/work/W2146378315> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2146378315 endingPage "262" @default.
- W2146378315 startingPage "262" @default.
- W2146378315 abstract "BPEL4WS (BPEL) is a web service composition language for service-oriented computing. Service orchestration can be specified by executable processes in BPEL. However, it lacks of a formal foundation for specification and verification of service-oriented systems. This paper presents an improved protocol interface for web services. Compared to the existing interface theory, the presented interface can describe some more advanced features of long running transaction such as nested transaction. An interface theory-based formalisation is presented for service orchestration in BPEL. The transformational approach is proposed for translating BPEL processes to protocol interfaces. With the formalisation, a formal technique is presented for model checking of BPEL program with respect to the protocol properties. A set of case studies are demonstrated to illustrate our approach." @default.
- W2146378315 created "2016-06-24" @default.
- W2146378315 creator A5015216706 @default.
- W2146378315 creator A5024920190 @default.
- W2146378315 creator A5026050825 @default.
- W2146378315 creator A5046184004 @default.
- W2146378315 date "2007-01-01" @default.
- W2146378315 modified "2023-09-23" @default.
- W2146378315 title "Interface theory-based formalisation and verification of orchestration in BPEL4WS" @default.
- W2146378315 cites W1239375374 @default.
- W2146378315 cites W1503503719 @default.
- W2146378315 cites W1555143792 @default.
- W2146378315 cites W1962632332 @default.
- W2146378315 cites W1974168649 @default.
- W2146378315 cites W1986348008 @default.
- W2146378315 cites W1988421192 @default.
- W2146378315 cites W2028722689 @default.
- W2146378315 cites W2030221027 @default.
- W2146378315 cites W2095511627 @default.
- W2146378315 cites W2128433357 @default.
- W2146378315 cites W2130769739 @default.
- W2146378315 cites W2293287097 @default.
- W2146378315 cites W2535713407 @default.
- W2146378315 doi "https://doi.org/10.1504/ijbpim.2007.017752" @default.
- W2146378315 hasPublicationYear "2007" @default.
- W2146378315 type Work @default.
- W2146378315 sameAs 2146378315 @default.
- W2146378315 citedByCount "1" @default.
- W2146378315 crossrefType "journal-article" @default.
- W2146378315 hasAuthorship W2146378315A5015216706 @default.
- W2146378315 hasAuthorship W2146378315A5024920190 @default.
- W2146378315 hasAuthorship W2146378315A5026050825 @default.
- W2146378315 hasAuthorship W2146378315A5046184004 @default.
- W2146378315 hasConcept C111919701 @default.
- W2146378315 hasConcept C113843644 @default.
- W2146378315 hasConcept C115903868 @default.
- W2146378315 hasConcept C120314980 @default.
- W2146378315 hasConcept C129307140 @default.
- W2146378315 hasConcept C142362112 @default.
- W2146378315 hasConcept C153349607 @default.
- W2146378315 hasConcept C157915830 @default.
- W2146378315 hasConcept C160145156 @default.
- W2146378315 hasConcept C199168358 @default.
- W2146378315 hasConcept C199360897 @default.
- W2146378315 hasConcept C35578498 @default.
- W2146378315 hasConcept C41008148 @default.
- W2146378315 hasConcept C4927394 @default.
- W2146378315 hasConcept C558565934 @default.
- W2146378315 hasConcept C57041688 @default.
- W2146378315 hasConcept C77088390 @default.
- W2146378315 hasConceptScore W2146378315C111919701 @default.
- W2146378315 hasConceptScore W2146378315C113843644 @default.
- W2146378315 hasConceptScore W2146378315C115903868 @default.
- W2146378315 hasConceptScore W2146378315C120314980 @default.
- W2146378315 hasConceptScore W2146378315C129307140 @default.
- W2146378315 hasConceptScore W2146378315C142362112 @default.
- W2146378315 hasConceptScore W2146378315C153349607 @default.
- W2146378315 hasConceptScore W2146378315C157915830 @default.
- W2146378315 hasConceptScore W2146378315C160145156 @default.
- W2146378315 hasConceptScore W2146378315C199168358 @default.
- W2146378315 hasConceptScore W2146378315C199360897 @default.
- W2146378315 hasConceptScore W2146378315C35578498 @default.
- W2146378315 hasConceptScore W2146378315C41008148 @default.
- W2146378315 hasConceptScore W2146378315C4927394 @default.
- W2146378315 hasConceptScore W2146378315C558565934 @default.
- W2146378315 hasConceptScore W2146378315C57041688 @default.
- W2146378315 hasConceptScore W2146378315C77088390 @default.
- W2146378315 hasIssue "4" @default.
- W2146378315 hasLocation W21463783151 @default.
- W2146378315 hasOpenAccess W2146378315 @default.
- W2146378315 hasPrimaryLocation W21463783151 @default.
- W2146378315 hasRelatedWork W1488358824 @default.
- W2146378315 hasRelatedWork W1801944252 @default.
- W2146378315 hasRelatedWork W1992217950 @default.
- W2146378315 hasRelatedWork W2102641895 @default.
- W2146378315 hasRelatedWork W2121031145 @default.
- W2146378315 hasRelatedWork W2147938979 @default.
- W2146378315 hasRelatedWork W2208347154 @default.
- W2146378315 hasRelatedWork W2407446031 @default.
- W2146378315 hasRelatedWork W2512986540 @default.
- W2146378315 hasRelatedWork W2520316606 @default.
- W2146378315 hasVolume "2" @default.
- W2146378315 isParatext "false" @default.
- W2146378315 isRetracted "false" @default.
- W2146378315 magId "2146378315" @default.
- W2146378315 workType "article" @default.