FRINK Linked Data Fragments server

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

• W2105191851 endingPage "244" @default.
• W2105191851 startingPage "223" @default.
• W2105191851 abstract "For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, Web services are distributed processes that dynamically discover properties of other Web services. Since the overall system may not be available statically and since each business process is supposed to be relatively simple, we propose to use runtime monitoring of conversations between partners as a means of checking behavioral correctness of the entire Web service system. Specifically, we identify a subset of UML 2.0 Sequence Diagrams as a property specification language and show that it is sufficiently expressive for capturing safety and liveness properties. By transforming these diagrams to automata, we enable conformance checking of finite execution traces against the specification. We show how our language can be used to specify the Specification Property System (SPS) [1]. We describe an implementation of our approach as part of an industrial system. Finally, we discuss our experience of specifying and monitoring a number of properties from three existing applications." @default.
• W2105191851 created "2016-06-24" @default.
• W2105191851 creator A5034068070 @default.
• W2105191851 creator A5035748271 @default.
• W2105191851 creator A5052339829 @default.
• W2105191851 creator A5053774088 @default.
• W2105191851 creator A5062835771 @default.
• W2105191851 creator A5074393374 @default.
• W2105191851 creator A5079431306 @default.
• W2105191851 date "2009-07-01" @default.
• W2105191851 modified "2023-10-10" @default.
• W2105191851 title "Runtime Monitoring of Web Service Conversations" @default.
• W2105191851 cites W1490252010 @default.
• W2105191851 cites W1515520584 @default.
• W2105191851 cites W1570265525 @default.
• W2105191851 cites W1592055490 @default.
• W2105191851 cites W1852523103 @default.
• W2105191851 cites W1935984762 @default.
• W2105191851 cites W1974242432 @default.
• W2105191851 cites W1984936841 @default.
• W2105191851 cites W1986117326 @default.
• W2105191851 cites W1996832037 @default.
• W2105191851 cites W2009379862 @default.
• W2105191851 cites W2018118431 @default.
• W2105191851 cites W2021042308 @default.
• W2105191851 cites W2030145186 @default.
• W2105191851 cites W2054620608 @default.
• W2105191851 cites W2080265580 @default.
• W2105191851 cites W2100716485 @default.
• W2105191851 cites W2101417106 @default.
• W2105191851 cites W2108483893 @default.
• W2105191851 cites W2108966348 @default.
• W2105191851 cites W2123986639 @default.
• W2105191851 cites W2125249627 @default.
• W2105191851 cites W2128433357 @default.
• W2105191851 cites W2130169947 @default.
• W2105191851 cites W2147472153 @default.
• W2105191851 cites W2152999942 @default.
• W2105191851 cites W2158774469 @default.
• W2105191851 cites W2481726056 @default.
• W2105191851 cites W2544611060 @default.
• W2105191851 cites W3003620414 @default.
• W2105191851 cites W3152200862 @default.
• W2105191851 cites W4250971828 @default.
• W2105191851 doi "https://doi.org/10.1109/tsc.2009.16" @default.
• W2105191851 hasPublicationYear "2009" @default.
• W2105191851 type Work @default.
• W2105191851 sameAs 2105191851 @default.
• W2105191851 citedByCount "70" @default.
• W2105191851 countsByYear W21051918512012 @default.
• W2105191851 countsByYear W21051918512013 @default.
• W2105191851 countsByYear W21051918512014 @default.
• W2105191851 countsByYear W21051918512015 @default.
• W2105191851 countsByYear W21051918512016 @default.
• W2105191851 countsByYear W21051918512017 @default.
• W2105191851 countsByYear W21051918512018 @default.
• W2105191851 countsByYear W21051918512019 @default.
• W2105191851 countsByYear W21051918512021 @default.
• W2105191851 countsByYear W21051918512023 @default.
• W2105191851 crossrefType "journal-article" @default.
• W2105191851 hasAuthorship W2105191851A5034068070 @default.
• W2105191851 hasAuthorship W2105191851A5035748271 @default.
• W2105191851 hasAuthorship W2105191851A5052339829 @default.
• W2105191851 hasAuthorship W2105191851A5053774088 @default.
• W2105191851 hasAuthorship W2105191851A5062835771 @default.
• W2105191851 hasAuthorship W2105191851A5074393374 @default.
• W2105191851 hasAuthorship W2105191851A5079431306 @default.
• W2105191851 hasBestOaLocation W21051918512 @default.
• W2105191851 hasConcept C110251889 @default.
• W2105191851 hasConcept C112505250 @default.
• W2105191851 hasConcept C115903868 @default.
• W2105191851 hasConcept C116253237 @default.
• W2105191851 hasConcept C120314980 @default.
• W2105191851 hasConcept C144133560 @default.
• W2105191851 hasConcept C145644426 @default.
• W2105191851 hasConcept C153185123 @default.
• W2105191851 hasConcept C15569618 @default.
• W2105191851 hasConcept C162853370 @default.
• W2105191851 hasConcept C174998907 @default.
• W2105191851 hasConcept C199360897 @default.
• W2105191851 hasConcept C201677973 @default.
• W2105191851 hasConcept C2777904410 @default.
• W2105191851 hasConcept C35578498 @default.
• W2105191851 hasConcept C38677869 @default.
• W2105191851 hasConcept C41008148 @default.
• W2105191851 hasConcept C4927394 @default.
• W2105191851 hasConcept C55439883 @default.
• W2105191851 hasConcept C57041688 @default.
• W2105191851 hasConcept C80444323 @default.
• W2105191851 hasConcept C85345410 @default.
• W2105191851 hasConceptScore W2105191851C110251889 @default.
• W2105191851 hasConceptScore W2105191851C112505250 @default.
• W2105191851 hasConceptScore W2105191851C115903868 @default.
• W2105191851 hasConceptScore W2105191851C116253237 @default.
• W2105191851 hasConceptScore W2105191851C120314980 @default.
• W2105191851 hasConceptScore W2105191851C144133560 @default.
• W2105191851 hasConceptScore W2105191851C145644426 @default.
• W2105191851 hasConceptScore W2105191851C153185123 @default.

• next