Abstract
Concerning the problem that Ontology Web Language for Services(OWL-S) process model lacks capacity for dynamic interaction and timing characteristics,a formalization method based on temporal description logic for process model was proposed.It described the atomic processes and composite processes of the OWL-S process model,and then the dynamic semantic of OWL-S process model was obtained.Finally,the formal modeling of OWL-S process model was realized.The experimental results show that the proposed method is feasible,and it provides the foundation for the analysis and validation.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
