Papers by 20_Thùy Linh Đinh Phạm
Lecture Notes in Computer Science, 2008
In a service composition, it is necessary to ensure that the behaviour of a constituent service i... more In a service composition, it is necessary to ensure that the behaviour of a constituent service is consistent with the requirements of the composition. In an adaptive service composition those behavioural requirements may be continually changing. This paper shows how the behavioural requirements in abstract service definitions (roles) can be dynamically and incrementally defined using constraints. These constraints are then used to generate finite state automata, which are used to check the compatibility of candidate services that have their behaviour expressed in static interface descriptions such as OWLS .
Uploads
Papers by 20_Thùy Linh Đinh Phạm