Pattern Based Property Specification and Verification for Service Composition

Web Information Systems – WISE 2006 - Lecture Notes in Computer Science ◽

10.1007/11912873_18 ◽

2006 ◽

pp. 156-168 ◽

Author(s):

Jian Yu ◽

Tan Phan Manh ◽

Jun Han ◽

Yan Jin ◽

Yanbo Han ◽

...

Keyword(s):

Service Composition ◽

Property Specification ◽

Specification And Verification

Download Full-text

A mechanism for grid service composition behavior specification and verification

Future Generation Computer Systems ◽

10.1016/j.future.2008.02.013 ◽

2009 ◽

Vol 25 (3) ◽

pp. 378-383 ◽

Author(s):

Jing Zhou ◽

Guosun Zeng

Keyword(s):

Service Composition ◽

Grid Service ◽

Behavior Specification ◽

Specification And Verification

Download Full-text

Formal Specification and Verification of Transactional Service Composition

2011 IEEE World Congress on Services ◽

10.1109/services.2011.36 ◽

2011 ◽

Author(s):

Iman Saleh ◽

Gregory Kulczycki ◽

M. Brian Blake

Keyword(s):

Service Composition ◽

Formal Specification ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Specification and Verification of Data and Time in Web Service Composition

Web Information Systems and Mining - Lecture Notes in Computer Science ◽

10.1007/978-3-642-23982-3_53 ◽

2011 ◽

pp. 436-443 ◽

Author(s):

Guangquan Zhang ◽

Haojun Di ◽

Mei Rong ◽

Huijuan Shi

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Specification And Verification

Download Full-text

Formal Specification and Verification of Data-Centric Service Composition

2010 IEEE International Conference on Web Services ◽

10.1109/icws.2010.80 ◽

2010 ◽

Author(s):

Iman Saleh ◽

Gregory Kulczycki ◽

M. Brian Blake

Keyword(s):

Service Composition ◽

Formal Specification ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Towards near-real time data property specification and verification for Arctic hyperspectral sensor data

2011 Annual Meeting of the North American Fuzzy Information Processing Society ◽

10.1109/nafips.2011.5752047 ◽

2011 ◽

Author(s):

Irbis Gallegos ◽

Santonu Goswani ◽

Ann Q. Gates ◽

Craig E. Tweedie ◽

John Gamon

Keyword(s):

Real Time ◽

Sensor Data ◽

Time Data ◽

Real Time Data ◽

Property Specification ◽

Specification And Verification ◽

Hyperspectral Sensor

Download Full-text

Enhanced Property Specification and Verification in BLAST

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00593-0_32 ◽

2009 ◽

pp. 456-469 ◽

Author(s):

Ondřej Šerý

Keyword(s):

Property Specification ◽

Specification And Verification

Download Full-text

Generic Contract-Regulated Web Service Composition Specification and Verification

Lecture Notes in Electrical Engineering - Proceedings of the 2012 International Conference on Information Technology and Software Engineering ◽

10.1007/978-3-642-34531-9_15 ◽

2012 ◽

pp. 137-145

Author(s):

Jie Zhai ◽

Zhiqing Shao ◽

Yi Guo ◽

Haiteng Zhang

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Specification And Verification

Download Full-text

Structured Approach to Property Specification and Verification of HW IP

18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP '07) ◽

10.1109/rsp.2007.36 ◽

2007 ◽

Author(s):

Lyes Benalycherif ◽

Anthony McIsaac ◽

Neil Dunlop

Keyword(s):

Property Specification ◽

Specification And Verification ◽

Structured Approach

Download Full-text

Specification and Verification of Transactional Web Service Composition

Web-Scale Workflow and Analytics - Formalizing Data-Centric Web Services ◽

10.1007/978-3-319-24678-9_6 ◽

2015 ◽

pp. 39-55 ◽

Author(s):

Iman Saleh

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Specification And Verification

Download Full-text

Modeling and Algorithms for QoS-Aware Service Composition in Virtualization-Based Cloud Computing

IEICE Transactions on Communications ◽

10.1587/transcom.e96.b.10 ◽

2013 ◽

Vol E96.B (1) ◽

pp. 10-19 ◽

Author(s):

Jun HUANG ◽

Yanbing LIU ◽

Ruozhou YU ◽

Qiang DUAN ◽

Yoshiaki TANAKA

Keyword(s):

Cloud Computing ◽

Service Composition

Download Full-text