Dynamic behavior specification of web component based on logic programming

被引：0
|
作者：
Fei, Yukui [1 ]
机构：
[1] Shandong Agr Univ, Coll Informat Sci & Engn, Tai An 271018, Peoples R China
来源：
FIRST INTERNATIONAL MULTI-SYMPOSIUMS ON COMPUTER AND COMPUTATIONAL SCIENCES (IMSCCS 2006), PROCEEDINGS, VOL 2 | 2006年
关键词：
D O I：
10.1109/IMSCCS.2006.216
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：480 / 482
页数：3
相关论文
共 50 条
  • [1] LOGIC-PROGRAMMING SPECIFICATION AND EXECUTION OF DYNAMIC-PROGRAMMING PROBLEMS
    CLOCKSIN, WF
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1992, 12 (04): : 325 - 333
  • [2] SPECIFICATION OF MECHANICAL COMPONENT TOLERANCES FOR MINIMUM COST BY DYNAMIC PROGRAMMING
    OSTWALD, PF
    [J]. AACE BULLETIN, 1969, 11 (01): : 17 - &
  • [3] THE RELATION BETWEEN LOGIC PROGRAMMING AND LOGIC SPECIFICATION
    KOWALSKI, R
    [J]. PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 1984, 312 (1522): : 345 - 361
  • [4] Maude:: Specification and programming in rewriting logic
    Clavel, M
    Durán, F
    Eker, S
    Lincoln, P
    Martí-Oliet, N
    Meseguer, J
    Quesada, JF
    [J]. THEORETICAL COMPUTER SCIENCE, 2002, 285 (02) : 187 - 243
  • [5] Component-based software development and logic programming
    Lau, KK
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 103 - 108
  • [6] Probabilistic logic programming on the web
    Riguzzi, Fabrizio
    Bellodi, Elena
    Lamma, Evelina
    Zese, Riccardo
    Cota, Giuseppe
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2016, 46 (10): : 1381 - 1396
  • [7] Component specification model for the web services
    Kim, Haeng-Kon
    Park, Eun-Ju
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2006, PT 4, 2006, 3983 : 927 - 936
  • [8] A temporal logic approach to the specification of reconfigurable component-based systems
    Aguirre, N
    Maibaum, T
    [J]. ASE 2002: 17TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, 2002, : 271 - 274
  • [9] A web-based approach to the specification and programming of home automation systems
    Nunes, RJC
    [J]. MELECON 2004: PROCEEDINGS OF THE 12TH IEEE MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1-3, 2004, : 693 - 696
  • [10] Behavior-Based Manipulator Programming Based on Extensible Agent Behavior Specification Language
    Lin, Hsien-I
    Cheng, Chia-Hsien
    [J]. 2014 14TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND SYSTEMS (ICCAS 2014), 2014, : 808 - 813
12345