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 条
  • [21] Probabilistic Inductive Logic Programming on the Web
    Riguzzi, Fabrizio
    Zese, Riccardo
    Cota, Giuseppe
    [J]. KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, 2017, 10180 : 172 - 175
  • [22] THE INTRACTABILITY OF VALIDITY IN LOGIC PROGRAMMING AND DYNAMIC LOGIC
    BLAIR, HA
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 164 : 57 - 67
  • [23] Combining dynamic deontic logic and temporal logic for the specification of deadlines
    Dignum, F
    Kuiper, R
    [J]. THIRTIETH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL 5: ADVANCED TECHNOLOGY, 1997, : 336 - 346
  • [24] Specification, implementation, and verification of domain specific languages: A logic programming-based approach
    Gupta, G
    Pontelli, E
    [J]. COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2407 : 211 - 239
  • [25] Knowledge-based security testing of web applications by logic programming
    Zech, Philipp
    Felderer, Michael
    Breu, Ruth
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019, 21 (02) : 221 - 246
  • [26] Knowledge-based security testing of web applications by logic programming
    Philipp Zech
    Michael Felderer
    Ruth Breu
    [J]. International Journal on Software Tools for Technology Transfer, 2019, 21 : 221 - 246
  • [27] LoIDE: A Web-Based IDE for Logic Programming Preliminary Report
    Germano, Stefano
    Calimeri, Francesco
    Palermiti, Eliana
    [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES (PADL 2018), 2018, 10702 : 152 - 160
  • [28] Reducing component systems' behavior specification
    Holub, Viliam
    Plasil, Frantisek
    [J]. SCCC 2007: XXVI INTERNATIONAL CONFERENCE OF THE CHILEAN SOCIETY OF COMPUTER SCIENCE, PROCEEDINGS, 2007, : 63 - +
  • [29] Semantics for dynamic logic programming: A principle-based approach
    Alferes, JJ
    Banti, F
    Brogi, A
    Leite, JA
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2004, 2923 : 8 - 20
  • [30] A Dynamic Logic Programming based system for agents with declarative goals
    Nigam, Vivek
    Leite, Joao
    [J]. DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES IV, 2006, 4237 : 174 - +
12345