In order to describe the temporal aspect of workflow model and verify the temporal consistency, a method based on temporal logic and model checking for modeling and verifying time constraint workflows is presented. By this method, the first order logic is used to model workflow including its basic temporal information, temporal logic is used to model the time constraints, and model checking is used to analyze and verify the temporal consistency. The method can be used to verify any time constraints that can be described by temporal logic. Also the method can offer a counterexample of workflow instance to the time constraint which can not pass the verification. Finally, the method is validated through a case study.
Based on the idea of trust evaluation, this paper proposes an Internetware software architecture oriented trust-driven mechanism for selecting services to solve the problem from the aspect of service selection: Firstly, a general, machine-readable description mechanism is proposed to express user requirements and trust evolution policies; secondly, a feed-back trust formation and decision mechanism is introduced and a trust-driven algorithm for selecting services is given; finally, an Internetware software architecture oriented trust-driven service selection framework is proposed for the development of trustable Internetwares. Some development examples indicate that this mechanism can support the development of the trustable Internetwares effectively.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.