Time Management for Web Service Composition

Fan, Fuwei; Liu, Ying; Deng, Shuiguang

doi:10.1109/cscwd.2007.4281495

Cited by 2 publications

(2 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Non-functional properties of services such as time attribute acquire more and more attention with the development of service composition [4,5], this paper mainly considers the time-attribute in Web service composition verification, as the dispersibility and autonomy of Web service composition, Web service providers limit the start time and end time on available service. It is uncertain for actual implementation time of service.…”

Section: Introductionsmentioning

confidence: 99%

“…LuoNan et al transformed the composition factors in OWL-S specification into the corresponding CP-nets model, verified the functional error through the formal analysis of service composition [3]. However, the work in the verification field mainly focused on the functional correctness, little attention has been paid to non-functional property description and verification relatively.Non-functional properties of services such as time attribute acquire more and more attention with the development of service composition [4,5], this paper mainly considers the time-attribute in Web service composition verification, as the dispersibility and autonomy of Web service composition, Web service providers limit the start time and end time on available service. It is uncertain for actual implementation time of service.…”

mentioning

confidence: 99%

See 1 more Smart Citation

Verification of Time Constraints Consistency on Web Service Composition Based on ETPN

Chen

Geng

2011

AMM

View full text Add to dashboard Cite

The work of Web Service verification mainly concentrated in testing service functional correctness, the non-functioning attribute description and verification is relatively rare. For the lack of non-functioning attribute service verification, the available time phrase of Web Service is added into the OWL-S model to describe time-attribute, establish the mapping rules and transformation method from OWL-S process model to ETPN, and the available time relation matrix is proposed to verify time constraints consistency based on the ETPN theory, it can help to remove the plan of service composition has time conflict and avoid the waste of Web Service resource.

show abstract

Section: Introductionsmentioning

confidence: 99%

mentioning

confidence: 99%

Verification of Time Constraints Consistency on Web Service Composition Based on ETPN

Chen

Geng

2011

AMM

View full text Add to dashboard Cite

show abstract

Modeling and Analyzing Time Constrains for Service Composition

Fan

et al. 2008

2008 the 9th International Conference for Young Computer Scientists

View full text Add to dashboard Cite

As a way to compose independent services together to fulfill a function, service composition is widely applied in different applications. One key issue is how to model and analyze time-related properties in service composition so that it can satisfy user's deadline requirements. A model called service composition time-constrained Petri net (SCTNet) is introduced in the paper, which is capable of capturing time behavior of services accurately. The basic relationships, priority and preemption constraints between service are also characterized based on SCT-Net. In order to reduce the state space of model, we propose four simplification schemas which can maintain structural feature and time delay of SCT-Net. We advance the concept of greatest concurrent set, and a heuristic algorithm for schedule computation is given. Finally, two specific experiments demonstrate the feasibility and practicability of our method.

show abstract

Time Management for Web Service Composition

Cited by 2 publications

References 3 publications

Verification of Time Constraints Consistency on Web Service Composition Based on ETPN

Verification of Time Constraints Consistency on Web Service Composition Based on ETPN

Modeling and Analyzing Time Constrains for Service Composition

Contact Info

Product

Resources

About