Matches in SemOpenAlex for { <https://semopenalex.org/work/W1530380798> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1530380798 endingPage "40" @default.
- W1530380798 startingPage "26" @default.
- W1530380798 abstract "Service compositions leverage remote services to deliver added-value distributed applications. Since services are administered and run by independent parties, the governance of service compositions is intrinsically decentralized and services may evolve independently over time. In this context, pre-deployment verification can only provide limited guarantees, while continuous run-time verification is needed to probe and guarantee the correctness of compositions at run time. This paper addresses the issue of efficiency in the run-time verification of service compositions described in BPEL. It considers an existing monitoring approach based on ALBERT, which is a temporal logic language suitable for asserting both functional and non-functional properties, and shows how to obtain the efficient run-time verification of ALBERT formulae. The paper introduces an operational semantics for ALBERT through an extension of alternating automata, and explains how to optimize it to produce smarter, and thus more efficient, encodings of defined formulae. The optimized operational semantics can then be the basis for an efficient implementation of the run-time verification framework." @default.
- W1530380798 created "2016-06-24" @default.
- W1530380798 creator A5014757365 @default.
- W1530380798 creator A5038017715 @default.
- W1530380798 creator A5057896873 @default.
- W1530380798 creator A5063590018 @default.
- W1530380798 date "2009-01-01" @default.
- W1530380798 modified "2023-10-16" @default.
- W1530380798 title "Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions" @default.
- W1530380798 cites W1485743409 @default.
- W1530380798 cites W1512310098 @default.
- W1530380798 cites W1530380798 @default.
- W1530380798 cites W1535889317 @default.
- W1530380798 cites W1973291434 @default.
- W1530380798 cites W2080560821 @default.
- W1530380798 cites W2122633358 @default.
- W1530380798 cites W2155267411 @default.
- W1530380798 cites W4241108585 @default.
- W1530380798 doi "https://doi.org/10.1007/978-3-642-02138-1_2" @default.
- W1530380798 hasPublicationYear "2009" @default.
- W1530380798 type Work @default.
- W1530380798 sameAs 1530380798 @default.
- W1530380798 citedByCount "13" @default.
- W1530380798 countsByYear W15303807982012 @default.
- W1530380798 countsByYear W15303807982013 @default.
- W1530380798 countsByYear W15303807982015 @default.
- W1530380798 countsByYear W15303807982016 @default.
- W1530380798 crossrefType "book-chapter" @default.
- W1530380798 hasAuthorship W1530380798A5014757365 @default.
- W1530380798 hasAuthorship W1530380798A5038017715 @default.
- W1530380798 hasAuthorship W1530380798A5057896873 @default.
- W1530380798 hasAuthorship W1530380798A5063590018 @default.
- W1530380798 hasBestOaLocation W15303807981 @default.
- W1530380798 hasConcept C105339364 @default.
- W1530380798 hasConcept C110251889 @default.
- W1530380798 hasConcept C111498074 @default.
- W1530380798 hasConcept C112505250 @default.
- W1530380798 hasConcept C115903868 @default.
- W1530380798 hasConcept C119857082 @default.
- W1530380798 hasConcept C120314980 @default.
- W1530380798 hasConcept C136264566 @default.
- W1530380798 hasConcept C153083717 @default.
- W1530380798 hasConcept C156325763 @default.
- W1530380798 hasConcept C162324750 @default.
- W1530380798 hasConcept C184337299 @default.
- W1530380798 hasConcept C199360897 @default.
- W1530380798 hasConcept C202973057 @default.
- W1530380798 hasConcept C25016198 @default.
- W1530380798 hasConcept C2780378061 @default.
- W1530380798 hasConcept C35578498 @default.
- W1530380798 hasConcept C41008148 @default.
- W1530380798 hasConcept C4927394 @default.
- W1530380798 hasConcept C55439883 @default.
- W1530380798 hasConcept C57041688 @default.
- W1530380798 hasConcept C80444323 @default.
- W1530380798 hasConceptScore W1530380798C105339364 @default.
- W1530380798 hasConceptScore W1530380798C110251889 @default.
- W1530380798 hasConceptScore W1530380798C111498074 @default.
- W1530380798 hasConceptScore W1530380798C112505250 @default.
- W1530380798 hasConceptScore W1530380798C115903868 @default.
- W1530380798 hasConceptScore W1530380798C119857082 @default.
- W1530380798 hasConceptScore W1530380798C120314980 @default.
- W1530380798 hasConceptScore W1530380798C136264566 @default.
- W1530380798 hasConceptScore W1530380798C153083717 @default.
- W1530380798 hasConceptScore W1530380798C156325763 @default.
- W1530380798 hasConceptScore W1530380798C162324750 @default.
- W1530380798 hasConceptScore W1530380798C184337299 @default.
- W1530380798 hasConceptScore W1530380798C199360897 @default.
- W1530380798 hasConceptScore W1530380798C202973057 @default.
- W1530380798 hasConceptScore W1530380798C25016198 @default.
- W1530380798 hasConceptScore W1530380798C2780378061 @default.
- W1530380798 hasConceptScore W1530380798C35578498 @default.
- W1530380798 hasConceptScore W1530380798C41008148 @default.
- W1530380798 hasConceptScore W1530380798C4927394 @default.
- W1530380798 hasConceptScore W1530380798C55439883 @default.
- W1530380798 hasConceptScore W1530380798C57041688 @default.
- W1530380798 hasConceptScore W1530380798C80444323 @default.
- W1530380798 hasLocation W15303807981 @default.
- W1530380798 hasOpenAccess W1530380798 @default.
- W1530380798 hasPrimaryLocation W15303807981 @default.
- W1530380798 hasRelatedWork W150634083 @default.
- W1530380798 hasRelatedWork W1563456403 @default.
- W1530380798 hasRelatedWork W1989217955 @default.
- W1530380798 hasRelatedWork W2006962382 @default.
- W1530380798 hasRelatedWork W2406499533 @default.
- W1530380798 hasRelatedWork W2617181502 @default.
- W1530380798 hasRelatedWork W2809618173 @default.
- W1530380798 hasRelatedWork W2950360254 @default.
- W1530380798 hasRelatedWork W3036403349 @default.
- W1530380798 hasRelatedWork W4383898361 @default.
- W1530380798 isParatext "false" @default.
- W1530380798 isRetracted "false" @default.
- W1530380798 magId "1530380798" @default.
- W1530380798 workType "book-chapter" @default.