Dynamic Behavior Specification of Web Component Based on Logic Programming

As a new paradigm, Web component, which is a services-oriented intelligent software unit with explicit goal-directed and contractually specified interfaces based on Internet, aims at providing support to service-oriented development. Dynamic behavior plays an important role in Web component. It provides a foundation to study the mechanisms of discover, matching, orchestration and choreographies of Web component. In this paper, we present a way to specify dynamic behavior of Web component. First, the role dynamic behavior plays in Web component is analyzed. Then a framework to specify dynamic behavior with logic programming is explored