Matches in SemOpenAlex for { <https://semopenalex.org/work/W2137090265> ?p ?o ?g. }
- W2137090265 endingPage "213" @default.
- W2137090265 startingPage "213" @default.
- W2137090265 abstract "Dynamic nature of Service-Oriented Systems (SOSs) has made conventional verification techniques such as testing, model checking and theorem proving ineffective. As a result, many studies have been dedicated to verification of SOS. In this survey, we first discuss why the conventional verification techniques are not effectively applicable to SOSs and then stress the necessity of the runtime verification as a dynamic approach that formally checks the system behaviour at runtime. To provide a deep comparison between existing studies and to draw a clear road map for the future studies, we introduce the salient characteristics of the runtime verification in SOSs. In addition, we survey a significant number of various studies in the literature by categorising them in five broad categories: logic and calculus oriented approaches, workflow monitoring, state-based conformity assessment, aspectoriented verification, and SLA-driven compliance. Then, we deal with the comparison between the defined categories and finally discuss open problems." @default.
- W2137090265 created "2016-06-24" @default.
- W2137090265 creator A5032967106 @default.
- W2137090265 creator A5057153138 @default.
- W2137090265 date "2013-01-01" @default.
- W2137090265 modified "2023-09-26" @default.
- W2137090265 title "Runtime verification of service-oriented systems: a well-rounded survey" @default.
- W2137090265 cites W1224289729 @default.
- W2137090265 cites W1482708121 @default.
- W2137090265 cites W1485833866 @default.
- W2137090265 cites W1491745514 @default.
- W2137090265 cites W1504232578 @default.
- W2137090265 cites W1513064386 @default.
- W2137090265 cites W1531506472 @default.
- W2137090265 cites W1534612339 @default.
- W2137090265 cites W1535629208 @default.
- W2137090265 cites W1536000625 @default.
- W2137090265 cites W1539797561 @default.
- W2137090265 cites W154747181 @default.
- W2137090265 cites W1551472808 @default.
- W2137090265 cites W1552054144 @default.
- W2137090265 cites W1559189591 @default.
- W2137090265 cites W1564133867 @default.
- W2137090265 cites W1572660965 @default.
- W2137090265 cites W1580893043 @default.
- W2137090265 cites W1588620918 @default.
- W2137090265 cites W1590686765 @default.
- W2137090265 cites W1593957641 @default.
- W2137090265 cites W1597173694 @default.
- W2137090265 cites W1600135714 @default.
- W2137090265 cites W1617452136 @default.
- W2137090265 cites W1792234409 @default.
- W2137090265 cites W1794367791 @default.
- W2137090265 cites W179947084 @default.
- W2137090265 cites W1821563272 @default.
- W2137090265 cites W1841356523 @default.
- W2137090265 cites W1848921964 @default.
- W2137090265 cites W1852523103 @default.
- W2137090265 cites W1882343875 @default.
- W2137090265 cites W1883797946 @default.
- W2137090265 cites W1889387977 @default.
- W2137090265 cites W1968928304 @default.
- W2137090265 cites W1970462831 @default.
- W2137090265 cites W1976044259 @default.
- W2137090265 cites W1980581849 @default.
- W2137090265 cites W1981808971 @default.
- W2137090265 cites W1996832037 @default.
- W2137090265 cites W2001291669 @default.
- W2137090265 cites W2002558930 @default.
- W2137090265 cites W2002850385 @default.
- W2137090265 cites W2004131893 @default.
- W2137090265 cites W2007058242 @default.
- W2137090265 cites W2007146960 @default.
- W2137090265 cites W2009379862 @default.
- W2137090265 cites W2010954771 @default.
- W2137090265 cites W2012959900 @default.
- W2137090265 cites W2017739343 @default.
- W2137090265 cites W2020063716 @default.
- W2137090265 cites W2030145186 @default.
- W2137090265 cites W2033357226 @default.
- W2137090265 cites W2033406822 @default.
- W2137090265 cites W2045159786 @default.
- W2137090265 cites W2054620608 @default.
- W2137090265 cites W2058304026 @default.
- W2137090265 cites W2060347522 @default.
- W2137090265 cites W2060944709 @default.
- W2137090265 cites W2067639729 @default.
- W2137090265 cites W2089812122 @default.
- W2137090265 cites W2094160561 @default.
- W2137090265 cites W2094987542 @default.
- W2137090265 cites W2096099954 @default.
- W2137090265 cites W2097739043 @default.
- W2137090265 cites W2098524281 @default.
- W2137090265 cites W2101417106 @default.
- W2137090265 cites W2101508170 @default.
- W2137090265 cites W2101623441 @default.
- W2137090265 cites W2105191851 @default.
- W2137090265 cites W2107389085 @default.
- W2137090265 cites W2109136852 @default.
- W2137090265 cites W2111070529 @default.
- W2137090265 cites W2113174335 @default.
- W2137090265 cites W2113560220 @default.
- W2137090265 cites W2114576730 @default.
- W2137090265 cites W2116312276 @default.
- W2137090265 cites W2117818414 @default.
- W2137090265 cites W2120853077 @default.
- W2137090265 cites W2122633358 @default.
- W2137090265 cites W2124405605 @default.
- W2137090265 cites W2127097429 @default.
- W2137090265 cites W2130633327 @default.
- W2137090265 cites W2131994984 @default.
- W2137090265 cites W2137187816 @default.
- W2137090265 cites W2139626896 @default.
- W2137090265 cites W2140729587 @default.
- W2137090265 cites W2144428650 @default.
- W2137090265 cites W2147994985 @default.
- W2137090265 cites W2150189917 @default.
- W2137090265 cites W2154072124 @default.