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.
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 callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
