FORMAL ANALYSIS OF WEB SERVICE COMPOSITION

FORMAL ANALYSIS OF WEB SERVICE COMPOSITION

Ph.D

Saved in:

書目詳細資料
主要作者:	CHEN MANMAN
其他作者:	COMPUTER SCIENCE
格式:	Theses and Dissertations
語言:	English
出版:	2015
主題:	Web Service, Web Service Composition, Model Checking, Formal Verification
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/121355
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Verification and Analysis of Web Service Composition
由: TAN TIAN HUAT
出版: (2013)

Automated synthesis of local time requirement for service composition
由: ANDRÉ, Étienne, et al.
出版: (2020)

Automated synthesis of local time requirement for service composition
由: ANDRÉ, Étienne, et al.
出版: (2020)

Web Services and Formal Methods
由: Marlon Dumas, Reiko Heckel.
出版: (2017)

Translating PDDL into CSP# - The PAT Approach
由: Li, Y., et al.
出版: (2013)

Verification of functional and non-functional requirements of web service composition
由: CHEN, Manman, et al.
出版: (2013)

Reasoning about ORA-SS data models using the semantic web
由: Li, Y.F., et al.
出版: (2013)

Cell : A compositional verification framework
由: JI KUN
出版: (2013)

AND/OR Graph and Search Algorithm for Discovering Composite Web Services
由: LIANG, Qianhui (Althea), et al.
出版: (2005)

Automated runtime recovery for QoS-based service composition
由: TAN, Tian Huat, et al.
出版: (2014)

Semantic Web Services Challenge
由: 'Ramesh Jain, Amit Sheth, Charles Petrie, Tiziana Margaria, Holger Lausen, Michal Zaremba
出版: (2017)

Formal analysis for stateflow diagrams
由: Chen, C.
出版: (2013)

Semantic web services discovery using structural and rule-based behavioural service profiles
由: Natenapa Sriharee
出版: (2008)

Validating semistructured data using OWL
由: Li, Y.F., et al.
出版: (2013)

Clustering Web Services for Automatic Categorization
由: LIANG, Qianhui (Althea), et al.
出版: (2009)

Automated synthesis of local time requirement for service composition
由: André, Étienne, et al.
出版: (2021)

An agent composition framework for the J-Park simulator - a knowledge graph for the process industry
由: Zhou, Xiaochi, et al.
出版: (2021)

Formal analysis of pervasive computing systems
由: Liu, Y., et al.
出版: (2013)

iSSE - An intelligent engine for user-oriented web service selection
由: FENG YUAN
出版: (2010)

The semantic web: real-world application from industry
由: Jorge Cardoso, Martin Hepp, Miltiadis D. Lytras.
出版: (2017)

Web Engineering: Modelling and Implementing Web Applications
由: Gustavo Rossi, Oscar Pastor, Daniel Schwabe, Luis Olsina.
出版: (2017)

Transformations between CSP# and C#
由: ZHU HUIQUAN
出版: (2014)

Model checking with fairness assumptions using PAT
由: Si, Y., et al.
出版: (2014)

Model checking approach to automated planning
由: Li, Y., et al.
出版: (2014)

Model checking software architecture design
由: Zhang, J., et al.
出版: (2013)

Formalizing and verifying software architectures
由: ZHANG JIEXIN
出版: (2012)

Web service for automatic speech recognition
由: LIEW SHIANG CHEN
出版: (2010)

Towards formal modeling and verification of cloud architectures: A case study on hadoop
由: Reddy, G.S., et al.
出版: (2014)

Ontology-Based Compatibility Checking for Web Service Configuration Management
由: LIANG, Qianhui (Althea), et al.
出版: (2008)

VISUALISASI LINK SEBAGAI ALAT BANTU NAVIGASI WEB
由: PRADANA, ADITYA
出版: (2012)

A flexible approach for exception monitoring and handling in web services
由: Chen, Y., et al.
出版: (2014)

Model checking concurrent and real-time systems : the PAT approach
由: LIU YANG
出版: (2010)

PrILiMaS: Personalize web explorer
由: Chua, Dexter, et al.
出版: (1999)

Integrating web server and network QoS to provide end-to-end service differentiation
由: Tham, C.-K., et al.
出版: (2014)

TCOZ approach to semantic web services design
由: Dong, J.S., et al.
出版: (2013)

PrILiMaS web agent (PWA): User's manual
由: Chan, Zacheus O., et al.
出版: (1999)

Interpolation guided compositional verification
由: LIN, Shang-Wei, et al.
出版: (2015)

Translating PDDL into CSP# - The PAT approach
由: LI, Yi, et al.
出版: (2012)

Visualizing and simulating semantic web services ontologies
由: Sun, J., et al.
出版: (2013)

Web services and service-oriented application provisioning: An analytical study of application service strategies
由: Cheng, H.K., et al.
出版: (2013)