A Knowledge-Based Specification Technique for Protocol Development

被引：0
|
作者：
张尧学
史美林
Norio Shiratori
机构：
[1] Japan
[2] Research Institute of Electrical Comm.
[3] Department of Computer Science Tsinghua University
[4] Beijing 100084.
[5] Tohoku University
来源：
Journal of Computer Science & Technology | 1993年 / 02期
基金：
中国国家自然科学基金;
关键词：
Network; protocol; specification; knowledge engineering; finite state machine;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
This paper proposes a knowledge-based specification technique(KST)for protocol development.This technique semi-automatically translates a protocol described in an informal description(naturallanguages or graphs)into one described in formal specifications(Estelle and SDL).The translationprocesses are supported by knowledge stored in the knowledge base.This paper discusses the concept,the specification control mechanism of KST and the rules and algorithms for production of FSM’s whichis the basis of Estelle and SDL.
引用
收藏
页码：188 / 192
页数：5
相关论文
共 50 条
  • [31] Development of knowledge-based systems - a review
    Rowan, RM
    [J]. INFUSION THERAPY AND TRANSFUSION MEDICINE-INFUSIONSTHERAPIE UND TRANSFUSIONSMEDIZIN, 2001, 28 (05): : 280 - 284
  • [32] Knowledge-based interaction in software development
    Panagiotou, Dimitris
    Paraskevopoulos, Fotis
    Mentzas, Gregoris
    [J]. INTELLIGENT DECISION TECHNOLOGIES-NETHERLANDS, 2011, 5 (02): : 163 - 175
  • [33] Development of a distributed knowledge-based system
    Wong, KCP
    Nolle, L
    Hopgood, AA
    [J]. IC-AI'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, 2001, : 1219 - 1224
  • [34] Personal development in the knowledge-based economy
    Pirnau, C.
    Ghiculescu, L. D.
    Marinescu, N. I.
    [J]. INNOVATIVE MANUFACTURING ENGINEERING AND ENERGY (IMANEE 2019) - 50 YEARS OF HIGHER TECHNICAL EDUCATION AT THE UNIVERSITY OF PITESTI, 2019, 564
  • [35] Knowledge-based assistance for the development of drugs
    Frank, J
    Rupprecht, B
    Schmelmer, V
    [J]. IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1997, 12 (01): : 40 - 48
  • [36] Knowledge-based Integrated Product Development
    Marthinusen, Ivar
    Kalavrytinos, Christos
    Sivertsen, Ole Ivar
    [J]. 2014 INTERNATIONAL ICE CONFERENCE ON ENGINEERING, TECHNOLOGY AND INNOVATION (ICE), 2014,
  • [37] KNOWLEDGE-BASED DEVELOPMENT AS ECONOMIC CULTURE
    Carrillo, Francisco Javier
    [J]. PROCEEDINGS OF THE 7TH KNOWLEDGE CITIES WORLD SUMMIT: KNOWLEDGE-BASED SERVICES (KCWS 2014), 2014, : 157 - 164
  • [38] A NEGOTIATION PROTOCOL FOR 3 SIMPLE KNOWLEDGE-BASED SYSTEMS
    WEBER, E
    KOTSCHENREUTHER, W
    MERTENS, P
    [J]. WIRTSCHAFTSINFORMATIK, 1990, 32 (01): : 59 - 70
  • [39] Knowledge Economy Factors and the Development of Knowledge-based Economy
    Sundac, Dragomir
    Krmpotic, Irena Fatur
    [J]. CROATIAN ECONOMIC SURVEY, 2011, (13) : 105 - 141
  • [40] The performance specification of transmission line protection using a knowledge-based approach
    El-Arroudi, K
    Joós, G
    McGillis, DT
    Brearley, R
    [J]. IEEE TRANSACTIONS ON POWER DELIVERY, 2004, 19 (03) : 1049 - 1056
12345