Dynamic Behavior Specification of Web Component Based on Logic Programming

Author

Fei, Yukui

Author_Institution

Coll. of Inf. Sci. & Eng., Shandong Agric. Univ., Taian

Volume

2

fYear

2006

fDate

20-24 June 2006

Firstpage

480

Lastpage

482

Abstract

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

Keywords

Internet; formal specification; logic programming; object-oriented programming; Internet; Web component dynamic behavior specification; goal-directed interfaces; logic programming; services-oriented intelligent software unit; Agricultural engineering; Application software; Dynamic programming; Educational institutions; Information science; Logic programming; Simple object access protocol; Software systems; Web and internet services; Web services;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer and Computational Sciences, 2006. IMSCCS '06. First International Multi-Symposiums on

Conference_Location

Hanzhou, Zhejiang

Print_ISBN

0-7695-2581-4

Type

conf

DOI

10.1109/IMSCCS.2006.216

Filename

4673752