CACTES: a formal framework for CompositionAL Conformance TEsting of Service compositions


Grant Data
Project Title
CACTES: a formal framework for CompositionAL Conformance TEsting of Service compositions
Principal Investigator
Professor Tse, Tsun Him   (Principal investigator)
Co-Investigator(s)
Dr Chan Wing Kwong   (Co-Investigator)
Professor Chen Tsong Yueh   (Co-Investigator)
Duration
36
Start Date
2008-09-01
Completion Date
2011-08-31
Amount
491906
Conference Title
Presentation Title
Keywords
CompositionAL Conformance, Service compositions
Discipline
Software
Panel
Engineering (E)
Sponsor
RGC General Research Fund (GRF)
HKU Project Code
HKU 717308E
Grant Type
General Research Fund (GRF)
Funding Year
2008/2009
Status
Completed