A new framework for the verification of service trust behaviors
作者： Jumana El-Qurna , Hamdi Yahyaoui , Mohamed Almulla
DOI: 10.1016/J.KNOSYS.2017.01.011
关键词:
摘要: We propose in this paper a model checking framework for service trust behaviors. devise new behavior model, which is deterministic PushDown Automaton (PDA) based model. This built on the observations' sequences, are derived from interactions with services. Furthermore, we express regular and non-regular properties using Fixed point Logic Chop (FLC). The of behaviors respect to performed symbolic FLC algorithm. Finally, present some experiments assess efficiency proposed
sci-hub.se 参考文章(67)
Fu Song, Tayssir Touili, Efficient CTL Model-Checking for Pushdown Systems CONCUR 2011 – Concurrency Theory. pp. 434- 449 ,(2011) , 10.1007/978-3-642-23217-6_29
Elizabeth A. Peck, Douglas C. Montgomery, G. Geoffrey Vining, Introduction to Linear Regression Analysis, Solutions Manual (Wiley Series in Probability and Statistics) Wiley-Interscience. ,(2007)
Arto Salomaa, Grzegorz Rozenberg, Handbook of formal languages, vol. 3: beyond words Springer-Verlag New York, Inc.. ,(1997)
Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jun Pang, Xiaohong Li, Verification of Functional and Non-functional Requirements of Web Service Composition international conference on formal engineering methods. pp. 313- 328 ,(2013) , 10.1007/978-3-642-41202-8_21
Luke Ong, Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking language and automata theory and applications. pp. 13- 41 ,(2013) , 10.1007/978-3-642-37064-9_3
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier, Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic international workshop on reachability problems. pp. 85- 97 ,(2014) , 10.1007/978-3-319-11439-2_7
Stephan Kreutzer, Martin Lange, Non-regular fixed-point logics and games. Logic and Automata. pp. 423- 456 ,(2008)
Maxime Crochemore, Christophe Hancart, Automata for matching patterns Handbook of formal languages, vol. 2. pp. 399- 462 ,(1997) , 10.1007/978-3-662-07675-0_9
Hongyu Sun, None, Automata-Based Verification of Non-Functional Requirements in Web Service Composition ,(2009)